Leo 🏴‍☠️

typed actor maxxing since 2018 ·

[Leo 🏴‍☠️ @leostera]

i forgot to post this here didn't i

[Leo 🏴‍☠️ @leostera]

super exciting news! kudos to @josevalim and the team 👏

[José Valim @josevalim]

Elixir v1.20 released! Now officially a gradually typed language: Elixir type checks every single line of code, finding bugs and dead code, without developer overhead (no typing signatures) and extremely low false positives rate. Plus a faster compiler! Links and reports below.

[Leo 🏴‍☠️ @leostera]

how come https://t.co/nswgYyOpjR has context overflow detection and autocompaction, but codex just b0rks the session

[Shriram Krishnamurthi (primary: Bluesky) @ShriramKMurthi]

Startled to find out that there are young people who haven't read James Iry's magnificent "A Brief, Incomplete, and Mostly Wrong History of Programming Languages". Please drop what you're doing and head over.
https://t.co/bnzifwQ2p9

[Leo 🏴‍☠️ @leostera]

@emil_priver @dillon_mulroy hopefully my joke now makes sense

[Leo 🏴‍☠️ @leostera]

@emil_priver @dillon_mulroy jai is notoriously not open source / easily available

[Leo 🏴‍☠️ @leostera]

@neogoose_btw blowtorch it

[Leo 🏴‍☠️ @leostera]

@iamsahaj_xyz and i'm adding https://t.co/pczsSeZ1se to this stack

[Leo 🏴‍☠️ @leostera]

@iamsahaj_xyz pi-autoresearch to let it try stuff out and optimize something

pi-ralph for brute force prototyping stuff

pi-fff for searching things quick

that’s the stack

[Leo 🏴‍☠️ @leostera]

@JoshuaRowe11 ah my bad! best place would be https://t.co/H6cLKNtxQN

[Leo 🏴‍☠️ @leostera]

in Riot, one of the things i wanted to change from how OCaml does package management was the registry: https://t.co/ykU8yAGPzf

so https://t.co/ykU8yAGPzf was born as a little registry service. you login with github, you create a publishing token, it tracks package, riot, and ocaml install metrics, etc. you can go to https://t.co/fAYfHUFJ6Z and see some of the metrics being collected there

you can also see all the publishing activity in https://t.co/KRasuSsyIi

and ofc, since it collects data,there's https://t.co/Ag7c65K2Yd! don't worry, we only collect a handful of things that are useful insights for package authors ;)

[Leo 🏴‍☠️ @leostera]

These last 6 months i've been building a tech demo showcasing what I believe OCaml, its ecosystem and its DX could grow into.

I started with the Riot ecosystem I had been building a few years back (scheduler, tui, web framework, etc), and then I added one tool, and another, and then it got out of hand.

The end result was a complete platform that I genuinely enjoyed using daily to build all sorts of tools, almost all of it AI-assisted! It's a pretty great way of building with OCaml, even if its just a tech demo :)

https://t.co/MLRjlRmOZB and https://t.co/DTeCU20XIi

No camels or dunes were hurt during the development of this tech demo, this isn't official OCaml stuff, use at your own risk, etc.

Sources on https://t.co/8VGhk5XtNQ <- go to drop a star! 🌟

[Alvaro Videla - 🇺🇾🇨🇳🇨🇭🇮🇹 @old_sound]

The book is finally out: The Apple Neural Engine Inference Book

A practitioner's guide, complete with converters, Swift runtimes, and validated model manifests.

Every model in this repo runs 100% on the Neural Engine (verified with MLComputePlan). No GPU fallback. No CPU matmuls.

Link in comments

[Leo 🏴‍☠️ @leostera]

slow is smooth and smooth is fast ⚡️

[Danni Friedland @DanniFriedland]

Used the LLM as a guide today, not a ghostwriter.
It felt exactly the same speed as agentic coding.
Just now i can reason about the system.

[Leo 🏴‍☠️ @leostera]

@plannotator if i could get code-navigation in plannotator there'd be no good reason to ever review any code anywhere else

[Leo 🏴‍☠️ @leostera]

i have become @plannotator pilled.

[Leo 🏴‍☠️ @leostera]

hey @badlogicgames how do i prevent pi from using python/node for editing files?

[Leo 🏴‍☠️ @leostera]

@EdCossy @all_viper

[Leo 🏴‍☠️ @leostera]

its always funny meeting someone and telling them i'm from Argentina because they assume I'm from Buenos Aires (I'm not).

and then they get very confused when I explain that Tucuman (hometown) is closer to Chile, Bolivia, Paraguay, Brazil, and Uruguay, than to Buenos Aires

Argentina is pretty big folks

[Dillon Mulroy @dillon_mulroy]

&gt; But the machine cannot be responsible, whoever is wielding it is. If it drops your database it was not at fault, you were.

🎯

[Leo 🏴‍☠️ @leostera]

@threepointone wait it does resumable thinking? one might call it a… thunk?

😬

[Leo 🏴‍☠️ @leostera]

@Ulissesmtor

[Leo 🏴‍☠️ @leostera]

@ryanwinchester @Shreyassanthu77 looks inside

it was process-based

[Leo 🏴‍☠️ @leostera]

@itayad @rachpradhan only if they own the domains! xD