Viewing profile — strongly-typed

A framing from that podcast that helped me better understand the role of Bonsai is that it's really a framework for building incremental distributed state machines.

Lean is such a wonderful language. So hyped by these releases.

Lean is such a wonderful language. So hyped by these releases.

Senior software engineer, ~11 years' experience. Most recently at Lambda (AI inference infra). Before that, ~7 years at Solvuu building a data science platform for genomics researc…

I’m not following. If I run an agent on ollama locally, it’s not in the cloud. I don’t see what cloud has anything to do with the argument. As to your other point about anything yo…

No no, that’s not what I’m saying. The fact that the data is stored in files is incidental. It could be in a database, in a knowledge graph, derived from so other data Regardless o…

That's the million dollar question. Maybe have systems of agents that all validate each other's work? Maybe something needs to be done at the harness level? I don't suppose that we…

To me it sounds like a tooling problem. OP seems to be trying to use probabilistic text systems as if they enforce rules, but rule enforcement should really live outside the model.…

Doesn’t matter if the recruiter doesn’t call you back because you’re not a 1000x engineer.

Feels like we're living in parallel universes. You're building Hale, and I'm building Abs XD : https://github.com/rdavison/abs

Wait, what does NFTs have to do with RAG?

You know you could just define the verified specs in lean and if performance is a problem, use the lean spec to extract an interface and tests for a more performant language like r…

Strong agree. OCaml's compiler is sofa king good at catching and preventing real bugs that the agents accidentally introduce here and there. It's the same as with humans, except th…

It's still in beta but I repackaged Descent Raytracer (a remaster of Descent (1995) made by students at Breda University) to be launchable on macs with Apple Silicon (ray tracing r…

What a weird coincidence. Literally today I started building a fully keyboard driven MIDI sequencer in Rust. I was originally going to build it as a TUI but then decided against it…

Here's my take. It helps you enforce properties about your data. Didn't mean to make this response so long, but alas. (* Quick note on notation: I will use "double quotes" when ref…

Imagine inheriting a project that was a joy for someone to work on instead of a slog.

my nemesis

This is really cool. I’ve been itching to try building this exact kind of thing as part of my bucket list.

I'm not an expert in Go, and my experience is somewhat limited, however, a few years back I fixed a really subtle bug in a project that was related to the fact that errors _weren't…

The way you're describing it sounds to me like you are adding failure handling to handle cases where the programmer is intentionally misusing the thing. I would argue that in this …

The ray traced version is absolutely phenomenal. If you've never seen it or heard of it, check it out here: - https://github.com/BredaUniversityGames/DXX-Raytracer - https://www.yo…

Have you tried the ray traced version? In my opinion it's the best way to play it. https://github.com/BredaUniversityGames/DXX-Raytracer