Working on @radiant.computer
Previously @radicle.xyz
I've been dissatisfied with the state of personal computing for many years now, so it's time I did something about it.
If you think computers could be so much better than what they are, this is for you.
radiant.computer
llm> ok, I'll fix all the bugs.
... 8 hours later ...
llm> Wait, the issue might be... Actually... blah blah
llm> But wait! Let me just.. blah blah blah
user> I'm going back to bed.
llm> ok, I'll fix all the bugs.
... 8 hours later ...
llm> Wait, the issue might be... Actually... blah blah
llm> But wait! Let me just.. blah blah blah
user> I'm going back to bed.
2. Porting the C compiler in (1) to Radiance ✅
3. Compiling the ported compiler in (2) with the compiler in (1) ✅
4. Compiling the self-hosting Radiance compiler (3) with itself 💥😵💫
2. Porting the C compiler in (1) to Radiance ✅
3. Compiling the ported compiler in (2) with the compiler in (1) ✅
4. Compiling the self-hosting Radiance compiler (3) with itself 💥😵💫
In fact touchscreens are the wrong interface for most things.
ios-countdown.win
In fact touchscreens are the wrong interface for most things.
ios-countdown.win
h/t @lorenz.leutgeb.xyz
www.youtube.com/watch?v=v0Jj...
h/t @lorenz.leutgeb.xyz
www.youtube.com/watch?v=v0Jj...
web.cs.ucdavis.edu/~rogaway/pap...
web.cs.ucdavis.edu/~rogaway/pap...
I had Claude generate this compiler pass from scratch, which resulted in...
I had Claude generate this compiler pass from scratch, which resulted in...
This lets you immediately tell, without reading the code, whether it doesn't account for something (code too short), or it's overcomplicating the solution (code too long).
This lets you immediately tell, without reading the code, whether it doesn't account for something (code too short), or it's overcomplicating the solution (code too long).
This is still a major bottleneck.
This is still a major bottleneck.
This is still a major bottleneck.
Compiled languages have an edge because they created more effective agentic loops.
Languages with optional type-checking probably are the best of both worlds in this respect.
Compiled languages have an edge because they created more effective agentic loops.
Languages with optional type-checking probably are the best of both worlds in this respect.
This doesn't raise any eyebrows because we've become used to software inertia.
@radiant.computer will change this.
michael.stapelberg.ch/posts/2026-0...
This doesn't raise any eyebrows because we've become used to software inertia.
@radiant.computer will change this.
michael.stapelberg.ch/posts/2026-0...
Great read.
chrisloy.dev/post/2025/12...
Great read.
chrisloy.dev/post/2025/12...
1. Writing tests for specific functions or branches
2. Documenting code
3. Finding the bug (regression) that causes a test to fail
4. Refactoring: renaming things, moving code around, changing function signatures, etc.
1. Writing tests for specific functions or branches
2. Documenting code
3. Finding the bug (regression) that causes a test to fail
4. Refactoring: renaming things, moving code around, changing function signatures, etc.
Rust has MIR, Zig has ZIR, Swift has SIL.. I think I should just start simple and see what design falls out of it
Rust has MIR, Zig has ZIR, Swift has SIL.. I think I should just start simple and see what design falls out of it
For example, there is no distinction between sum types and product types; they make it work by allowing field access without destructuring in simple cases. Very cool.
gleam.run
For example, there is no distinction between sum types and product types; they make it work by allowing field access without destructuring in simple cases. Very cool.
gleam.run