Pinned Tweet
“A pure functional paradise where OCaml is law, camels roam freely, and every system is total, pure, and beautiful. Technical debt has been abolished. AI is just a helpful sidekick. Everyone reads the code.”
🤖 Made with AI
1
3
81
G$ retweeted
Fun Fact: Once upon a time there was a U.S. congressman named Sean Duffy who voted AGAINST updating air traffic control systems.
G$ retweeted
for anyone just learning of this
have your bot, dot, muse, or duet agent monitor this list - adding every single ai slop poster i see to it so you can easily block them
teapaw.org/i/lists/21166591768940…
G$ retweeted
Linear algebra is used to describe models, calculus is to fit the model to the data, and probability theory is to tie it all together by providing a theoretical framework for making predictions under uncertainty.
What follows is a ~4000 words-long deep dive into all of these, where we’ll walk through the main topics step by step.
If you are interested in the mathematics of machine learning, this is the article you want to read: thepalindrome.org/p/the-road…
G$ retweeted
Do you find your bringing in 3rd party dependency for 1 function and find yourself with dozens of new dependencies to manage?
Can you please share examples?
I have a working prototype of a tool that that uses call graph analysis and related techniques to extract the minimal amount of code functionality from upstream and generates an auditable mini crate that just does your one thing.
This way, scanners are not going to spam you with irrelevant CVEs and will (hopefully!) make the process of addressing relevant ones simpler.
Before releasing it, I am keen to refine it with examples from real life.
Please share 🙏
G$ retweeted
ocaml people — idk if i'll get to speak about this at the next Fun OCaml but I've spent close to 100bn tokens now on riot, including an entirely new toolchain (riot.ml) and package registry (pkgs.ml), std library, parser, etc.
its ofc not even a v0.1, but this is the DX i am bullish could've helped grow ocaml substantially.
PLEASE STEAL IT
github.com/leostera/riot
G$ retweeted
The #Guardians just became the first team in history to strike out 21 batters in a nine inning ballgame. Postseason, regular season—whatever—first ever.
G$ retweeted
There has never been a better time to bet on Cloudflare
The team behind @Deno_Land, including @rough__sea (he knows a bit about Node.js), is joining @Cloudflare.
They’ll help make Workers better for Node.js developers and advance workerd as a core primitive for what comes next. cfl.re/4zlzlSa
G$ retweeted
John Urschel btw
John Urschel just showed that the growth factor for Gaussian elimination with partial pivoting is ~n^{1/2} with high probability, resolving a long-standing conjecture of Nick Trefethen! arxiv.org/abs/2610.06785
I think one of the coolest things I’ve built had been for this @Cloudflare Artifacts contest. Very stoked!
22