David Justo
banner
davidjustodavid.bsky.social
David Justo
@davidjustodavid.bsky.social
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
This stuff is exhausting
August 5, 2025 at 11:50 PM
Do they have an online store by any chance? This is super cool
July 30, 2025 at 12:52 AM
Holy shit
July 30, 2025 at 12:52 AM
Curious if there's any specific pain points you can share. Would be useful feedback.
July 22, 2025 at 2:49 AM
Thanks for clarifying. Understood, and agreed.
July 21, 2025 at 4:05 PM
Just trying to understand - what does "meaningful language" mean here?
July 21, 2025 at 3:54 PM
From there it's not too hard to see how these billion param models trained on the entire Internet would produce remarkable human like response, despite being, at its core, just an algorithm
July 21, 2025 at 3:49 PM
I think it helps a lot to be familiarized with more rudimentary NLP models (even as simple as "bag of words" models) and see that they perform remarkably well in small datasets.
July 21, 2025 at 3:49 PM
Have you seen their work in the automated reasoning group? It's not lean per se, but it's formal methods work so it's in the same ballpark. I'm a fan.
July 17, 2025 at 1:08 AM
Thank you for all your work!!
July 16, 2025 at 3:41 PM
Seattle fact - Best tsukemen at menya musashi fyi. That spicy curry tsukemen hits like a (good) truck
May 30, 2025 at 12:21 AM