~hush's gemlog
tilde.town·1d
🔲Proof Irrelevance
Flag this post
consult + org-db-v3: Approximate search of my sketches using text, and a multi-source consult command for approximately searching sketches and blog posts
sachachua.com·2d
📄PostScript
Flag this post
My Must-Have Apps Since Switching to Linux
reddit.com·22h·
Discuss: r/linux
🕸️WASM Archives
Flag this post
Per-request isolation in TinyKVM explained
fwsgonzo.medium.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
Show HN: Trimless for Gmail V3 – Auto-Expand Clipped Messages (Manifest V3)
news.ycombinator.com·3h·
Discuss: Hacker News
🚀Indie Hacking
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
Borrow checker says “No”! An error that scares me every single time!
polymonster.co.uk·1d
🦀Rust Borrowing
Flag this post
GHC: From Bug to Merge
neilmitchell.blogspot.com·2d·
Discuss: Hacker News
🔤Type Theory
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
🧮Algebraic Archives
Flag this post
CharlotteOS – An Experimental Modern Operating System
github.com·6h·
Discuss: Hacker News
🍎XNU Internals
Flag this post
Show HN: A Clean, Minimal Crossword Game You Can Play in the Browser
crosswordpuzzle.fun·3h·
Discuss: Hacker News
🔤Morris-Pratt
Flag this post
OwlAI Assistant for Small Business
owlai.cc·31m·
Discuss: Hacker News
🤖Archive Automation
Flag this post
A Requiem for My Dignity, Sacrificed at the Altar of AI
sightlessscribbles.com·6h·
Discuss: Hacker News
🚀Indie Hacking
Flag this post
What's new in Swift: October 2025 Edition
swift.org·1d·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
De Bruijn Numerals
text.marvinborner.de·2d·
Discuss: Hacker News
λLambda Encodings
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·5h·
Discuss: Substack
🌊Stream Processing
Flag this post
The Python Coding Stack: And Now You Know Your ABC
thepythoncodingstack.com·6h
⚡Effectful Programming
Flag this post
A portable picokernel for async I/O
ryansepassi.com·16h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Annotated Disassembly of NES Super Contra ROM
old.reddit.com·3h·
Discuss: r/retrogamedev
📼Retro Games
Flag this post