Sign in

ELLIOTTCABLE

@ell.io
24 followers 14 following 177 posts

Queery {PL,Q}T; my gender is carbohydrates & the colour pink. 💝 I write a lot of #OCaml :ocaml: for the #JavaScript ecosystem! :ocaml_hug: DMs open […] [bridged from functional.cafe/@ELLIOTTCABLE on the fediverse by fed.brid.gy ]

PostsRepliesMedia
ELLIOTTCABLE @ell.io · 16/09/2026
someone on reddit pointed out that this study only allowed the models access to tools (i.e. actually calling the compiler, for instance) around ~40% of tasks. That's *also* fascinating, and now I want to see the study repeated along both axes: how much of the uplift comes from […]
functional.cafe
Original post on functional.cafe
000
ELLIOTTCABLE @ell.io · 16/09/2026
(A potential counterargument to my theory, though: Java and Kotlin doing relatively poorly is very surprising: both have *massive* presence in the wild; and the latter in particular has a strong, well-loved type-system. They seem to have roughly equivalent results - I can see slight improvement […]
functional.cafe
Original post on functional.cafe
100
ELLIOTTCABLE @ell.io · 16/09/2026
I want to see somebody re-normalize this graph against *popularity*, btw. I'm absolutely sure that a language with more training-data in the wild will produce more agentic success. Similarly, I'd love to then see a breakdown by *typesystem-feature*, normalized by popularity - are there any […]
functional.cafe
Original post on functional.cafe
100
ELLIOTTCABLE @ell.io · 16/09/2026
Okay, the breakdown *by-language* of Artificial Analysis's "Omniscience" hallucination/capability benchmark is absolutely fascinating. I feel like this is some of the first concrete evidence I've seen of my longtime lean: that the *correctness* tooling we […] [Original post on functional.cafe]
a graph of software-engineering-benchmark competence and hallucinations, by LLM model, against programming-language. There are visible 'green bands' for the rows of some languages; they are strongly correlated with the languages that provide strong, high-quality typing guarantees, strictness, and compiler guardrails. e.g. Rust and Swift carry a significant visible lead against e.g. Java and Julia.
111
ELLIOTTCABLE @ell.io · 28/08/2026
(I mean that's also an intentionally trivial example, I'm mucking around with transport more than the engine rn - the engine's pretty robust; nearly arbitrary CFGs, constant propagation and loop-folding, and can host arbitrary Must/May lattices for a variety of properties I need to track. the […]
functional.cafe
Original post on functional.cafe
000
ELLIOTTCABLE @ell.io · 28/08/2026
yes that's trivial lol but it's a very [black-triangle](https://rampantgames.com/blog/?p=7745) moment. not a complete enumeration but, to achieve that, I had to: - determined the oracle-function to be pure/non-mutative (at least out to the edges of an authorship contract); - decided `cp` was […]
functional.cafe
Original post on functional.cafe
100
ELLIOTTCABLE @ell.io · 28/08/2026
$ cat my-oracle.sh; cat a-book.sh cp__is_converged() { return 0; } cp /etc/os-release /config/os-release-copy $ dorc plan a-book.sh --pre-source=my-oracle.sh --host linuxserver.io@172.28.0.1:2222 --ssh-config ~/.cache/dorc/temp-ssh-config >plan.sh dorc: run `dorc why` for the per-site […]
functional.cafe
Original post on functional.cafe
100
ELLIOTTCABLE @ell.io · 28/08/2026
y'all. ahhhhh it works. for extremely janky values of 'it' and 'works'
100
ELLIOTTCABLE @ell.io · 27/08/2026
anyway bye time to disappear into my manic hole for another 3 months (care-packages, in the form of photos of pets, may be addressed to elliottcable at functional dot cafe)
010
ELLIOTTCABLE @ell.io · 27/08/2026
- static analysis of POSIX sh and/or a compiler, depending on how you look at it - careful juggling of a bajillion devops-universe ecosystems - a lot of orchestrator-adjacent things (security/distsys) ... but mostly, trying to build something that's *first-class* gradually-enhanced. which is […]
functional.cafe
Original post on functional.cafe
100
ELLIOTTCABLE @ell.io · 27/08/2026
i've been heads-down for like, three months straight. basically all day every day. send help.
100
ELLIOTTCABLE @ell.io · 27/08/2026
man, I chose the most fucking insane project and I. I can't tell if i have regrets.
100
ELLIOTTCABLE @ell.io · 27/08/2026
@manpacket hey! (omg so nice to find a Mastodon link on a maintainer's profile) I see from a few comments on issues that you've got substantial almost-landed work on a bpaf v0.10 rewrite w/ a Visitor API? I'm wondering if you could push that, even if it's not ready to tag and release yet; I […]
functional.cafe
Original post on functional.cafe
000
ELLIOTTCABLE @ell.io · 24/08/2026
OH: "I'm thinking about NMR. Y'know, as I often do."
000
ELLIOTTCABLE @ell.io · 01/08/2026
(inspired today by coming across github.com/nikomatsakis/nll-rfc/blo…, from github.com/rust-lang/rfcs/pull/2094, and being Very Annoyed and/or Very Relieved at all the work it just caused-me-and-or-saved-me-depending-on-how-you-look-at-it […]
functional.cafe
Original post on functional.cafe
100
ELLIOTTCABLE @ell.io · 01/08/2026
A really weird side-effect of working on what is, effectively, an optimization engine, is that so, so many algorithmic/analytic/PLT things become .... easy? (or gradual?) I get to ... say. no. No matter what, I basically always have the option of *failing*: the engine can always fall back to […]
functional.cafe
Original post on functional.cafe
110
ELLIOTTCABLE @ell.io · 27/07/2026
is this a compliment, or an insult, i can't tell
000
ELLIOTTCABLE @ell.io · 16/05/2026
@glenn_mcdonald @everynoise is Curio also dead right now? The 'Login' button seemed to have no effect on any browser/computer I tried; was really excited to try a new GM project, haha )=
010
ELLIOTTCABLE @ell.io · 12/05/2026
nerds.png
000
ELLIOTTCABLE @ell.io · 09/05/2026
toyota corollary
100
ELLIOTTCABLE @ell.io · 08/05/2026
OH: “That’s like the ‘food science’ of data! You could call it ‘data science!’l
000
ELLIOTTCABLE @ell.io · 22/04/2026
such a showerthought but you ever think about how unproductive shouting “hear, hear!” inherently is? some other person (you nominally agree with!) is making some point, and ostensibly to help them make it, you shout *over* them to literally say to other people ‘listen to what this person is […]
functional.cafe
Original post on functional.cafe
000
ELLIOTTCABLE @ell.io · 13/04/2026
Дай мне a stator, and i can power the world
001
ELLIOTTCABLE @ell.io · 13/04/2026
@evan the real question is how one properly represents a centaur tower under ActivityPub.
000
ELLIOTTCABLE @ell.io · 08/04/2026
“It speaks seventeen languages, badly; and is subject to gout!”
000
ELLIOTTCABLE @ell.io · 20/02/2026
keyboard thief
000
ELLIOTTCABLE @ell.io · 15/02/2026
a yellow flag, bearing a stylized black line-drawing of the teen from the previous text. the flag bears the lowercase word “okay” below the teen.
000
ELLIOTTCABLE @ell.io · 15/02/2026
@bovine3dom he may not be the hero we deserve, but he is nonetheless the hero we need
000
ELLIOTTCABLE @ell.io · 15/02/2026
a cryptic image of a mildly-overweight teen in a brown hoodie; the teen is blurry, as he’s in the middle of pulling his arm back to throw a punch at the camera
200
ELLIOTTCABLE @ell.io · 08/02/2026
Spent the day figuring out how to create macOS "web apps" from the command line (like old-school Fluid site-specific browsers, SSBs - accessed via the "Add to Dock" button in Safari.) Here, have my shat-out half-AI-written script for this, since I couldn't find anybody else having done this […]
functional.cafe
Original post on functional.cafe
000
ELLIOTTCABLE @ell.io · 29/01/2026
Also, here, have some Dog.
000
ELLIOTTCABLE @ell.io · 29/01/2026
Okay, it's a few years old now; but this is *such* a fantastic deep-dive into reng on macOS - I'm shocked how deep @alinpanaitiu went, but more importantly, shocked how thoroughly he documented the process. What a classy fuckin' dude. Excellent read […]
functional.cafe
Original post on functional.cafe
001
ELLIOTTCABLE @ell.io · 17/01/2026
dog
000
ELLIOTTCABLE @ell.io · 27/12/2025
So, this summer, I moved back down into the city proper. Anybody in #Chicago know any good #LoganSquare accounts to follow? (also if you're around the area, poke me and let's get coffee! I need new local friends!)
001
ELLIOTTCABLE @ell.io · 27/12/2025
@bram hey there; just sent you an e-mail about Notion.cafe, when you've got a sec. Unsure if it fell through the cracks or something!
000
ELLIOTTCABLE @ell.io · 16/12/2025
@brie holy crap I thought *I* had a lot of random domains and fractured web-presence. my condolences! O_O found you via brie.dev/ok-reader, originally looking to ask: A. are you still using KOreader, and in particular, did Hardcover sufficiently […] [Original post on functional.cafe]
screenshot of a large number of tabs open to websites created by this one person
010
ELLIOTTCABLE @ell.io · 11/11/2025
@ivory also, just reiterating my two *biggest* issues, for whatever it's worth - I think I've reached out about both before, but just incase I haven't: 1. multi/quick-compose, *whatever* the workflow may be. (Right now, posting replies to my own toots requires … waiting, repeatedly refreshing […]
functional.cafe
Original post on functional.cafe
000
ELLIOTTCABLE @ell.io · 11/11/2025
@ivory one for the feature-requests: I'd love to see a 'jump to' hotkey with fuzzy-search, ala ⌘P in VScode / Notion, ⌘K in Discord / Beeper / Spotify / Slack, Pictured: (annoyingly) ⌘F in my beloved @things; one of the slicker/simpler implementations of the quick-picker/command-search that […]
functional.cafe
Original post on functional.cafe
110
ELLIOTTCABLE @ell.io · 05/11/2025
Also, feel free to poke me w/ any games I should add, here on Masto. I'm happy to add anybody who games on a custom layout to the group, if you want to be able to help me add notes for games that are types I don't personally play. <3
000
ELLIOTTCABLE @ell.io · 05/11/2025
Unsure if I've even mentioned this anywhere before, but I've maintain a "Steam Curator" page for the last few years, keeping a log of how well games handle custom keyboard layouts - feel free to follow it if you want to see a note on Steam Store pages telling you whether a game's keybind […]
functional.cafe
Original post on functional.cafe
111
ELLIOTTCABLE @ell.io · 27/10/2025
monad dot mp4
033
ELLIOTTCABLE @ell.io · 26/10/2025
one of my stupider pet-peeves: "what's the meta" not all strategy is *meta-game* strategy. "the meta" is only *possible* in a multiplayer game, where the balance of the characters is being continuously tweaked by upstream developers. Choosing a tool just because it's known to be strong […]
functional.cafe
Original post on functional.cafe
010
ELLIOTTCABLE @ell.io · 24/10/2025
@SwooshyCueb "lumbar puncture" always sounded so low-key horny to me, somehow
000
ELLIOTTCABLE @ell.io · 23/10/2025
update: i have been scammed. this is not in fact a dog, it is a fox. rude. it is okay, it is a very good fox tho #dogsofmastodon
021
ELLIOTTCABLE @ell.io · 23/10/2025
just saw this while scrolling thru my own feed looking for something and now i'm cackling AGAIN. уу папочка 👉👈
000
ELLIOTTCABLE @ell.io · 23/10/2025
@williampietri my deepest soul cries out _painfully_ at the inclusion of 'fission' in that list nuclear power is good! nuclear power *is* world-changing! nuclear power has enabled so, so many things in our world and society and wellbeing. )= in fact, maybe one of the *only good things* about […]
functional.cafe
Original post on functional.cafe
100
ELLIOTTCABLE @ell.io · 21/10/2025
regarding AWS' outages yesterady
stylized oriental greeting-card with the haiku:

it's not DNS
there's no way it's DNS
it was DNS.
010
ELLIOTTCABLE @ell.io · 19/10/2025
@andrewnez me too! adopted these tiny heartdrives a couple of weeks ago and ugh i’m over the moon they’re so gooooood
100
ELLIOTTCABLE @ell.io · 19/10/2025
hallo everyone. how is everyone this fine sunday. click reply. tell me a small thing about your life. it will make me happy. i will reward u with Dog Photo.
100