ravenical
Bootstrapping the Verified Software Stack
Re:More on Anthropic's Scion ripping off Mononoke
on Thursday October 15, 2026 @09:20PM (#50112551)
Syllables, not letters. Bonsai -> sai-on -> Scion
Re:Don't Put Tilde In Your Path
on Sunday October 11, 2026 @01:27PM (#50045581)
> hope some typescript-like "typed shell" becomes mainstream someday
Might want to check out nushell (https://www.nushell.sh/)
Safe SIMD in Rust, even on the inside
A Tale of Two Programmers
Re:Sharing AI progress in mathematics
on Tuesday October 06, 2026 @06:27PM (#49985038)
Pre-Emptive Commit Messages
A24 making an SCP movie without anybody from The SCP Foundation involved
Re:Vinix – A modern operating system written in V
on Thursday September 17, 2026 @04:23PM (#49746007)
That's... not Minecraft. That's some weird voxel game attempting, poorly, to clone Minecraft. Doesn't really bode well, imo.
Hook and Squeeze
Fermat's Last Theorem: Anthropic has beaten me to it
Wikimedia Foundation declines to voluntarily recognise the union
Re:Show HN: tale.fyi, we deserve a home for fiction
on Tuesday July 28, 2026 @11:40AM (#49085560)
You want https://hardcover.app/.
The Dispensable Nation
How could Britain look under proportional representation?
Why Aren't There More IMAX 70mm Screens for 'The Odyssey'?
Datepicker
2020s Political Compass Test
Search Less, Browse More
Vale's Higher RAII
Re:Blogger defeats photographer's copyright claim
on Monday June 22, 2026 @04:09PM (#48635411)
Well, it ought to be.
Re:The Rise and (Potential) Fall of Letterboxd
on Wednesday June 17, 2026 @12:19PM (#48572646)
interesting project! Where's the code hosted?
Re:Volkswagen started blocking GrapheneOS users
on Wednesday June 17, 2026 @12:17PM (#48572601)
Celebrating seven years of the Fairphone 3
Re:Typst 0.15.0
on Monday June 15, 2026 @02:55PM (#48545504)
see also: https://typst.app/blog/2026/typst-0.15