strongly-typed

8 ms·

1.
by strongly-typed 2mo ago
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.
2.
by strongly-typed 3mo ago
Lean is such a wonderful language. So hyped by these releases.
3.
by strongly-typed 3mo ago
Lean is such a wonderful language. So hyped by these releases.
4.
by strongly-typed 5mo ago
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 research and data analysis. Looking for senior backend /
5.
by strongly-typed 5mo ago
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 you include in the prompt can and will be ignored. Yes, I agre
6.
by strongly-typed 5mo ago
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 of where it is, something should know to include it in the
7.
by strongly-typed 5mo ago
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 could realistically expect 100% accuracy, bu
8.
by strongly-typed 5mo ago
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. My sense is that there was a failure to verify the agent&#x
9.
by strongly-typed 6mo ago
Doesn’t matter if the recruiter doesn’t call you back because you’re not a 1000x engineer.
10.
by strongly-typed 6mo ago
Feels like we're living in parallel universes. You're building Hale, and I'm building Abs XD : https://github.com/rdavison/abs
11.
by strongly-typed 6mo ago
Wait, what does NFTs have to do with RAG?
12.
by strongly-typed 6mo ago
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 rust. You could at least in theory use Lean as an orchestrato
13.
by strongly-typed 7mo ago
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 the agents don't complain about the bullshit re
14.
by strongly-typed 7mo ago
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 reqs M3+). https://github.com/rdavison&#
15.
by strongly-typed 8mo ago
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 because I wanted to have more control over the UI, so I&#x2
16.
by strongly-typed 10mo ago
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 referring to _values_ and `backtic
17.
by strongly-typed 10mo ago
Imagine inheriting a project that was a joy for someone to work on instead of a slog.
18.
by strongly-typed 1y ago
my nemesis
19.
by strongly-typed 2y ago
This is really cool. I’ve been itching to try building this exact kind of thing as part of my bucket list.
20.
by strongly-typed 2y ago
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_ being handled correctly. As a relative newbie to
21.
by strongly-typed 2y ago
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 type of situation, the error handling is not necessary
22.
by strongly-typed 2y ago
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.youtube.com/watch?v
23.
by strongly-typed 2y ago
Have you tried the ray traced version? In my opinion it's the best way to play it. https://github.com/BredaUniversityGames/DXX-Raytracer
24.
by strongly-typed 2y ago
No, it’s ròu
25.
by strongly-typed 2y ago
This post coincides with a sudden major uptick in cancer related video recommendations on my YouTube feed. I wonder if other people are seeing the same thing.
26.
by strongly-typed 2y ago
I had to search for this post to find it after it suddenly disappeared.
27.
by strongly-typed 2y ago
Curious why you say Ubuntu is not the best. What would you consider better?
28.
by strongly-typed 2y ago
Can the keyboard shortcuts be modified? One of my personal pain points with other task managers such as Asana is that I can't remap the keyboard shortcuts. This is very important to me since I use alternative keyboard layouts such as D
29.
by strongly-typed 3y ago
I recognize this comment has little to do with this post, but as a fellow obscure language aficionado, I just wanted to recommend probably most obscure language I’m legitimately interested in called Modern Indo European. It’s a conlang that
30.
by strongly-typed 3y ago
I contributed a few midis to that site back in the day. Chrono Cross band arrangement of Scar of Time, a FFX battle theme, a Secret of Mana “into the thick of it”, and an organ piece from one the Ys games. This site is one of the pillars gr

More ›