~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
Show HN: Trimless for Gmail V3 – Auto-Expand Clipped Messages (Manifest V3)
🚀Indie Hacking
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
🧠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
🔤Type Theory
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
🧮Algebraic Archives
Flag this post
OwlAI Assistant for Small Business
🤖Archive Automation
Flag this post
De Bruijn Numerals
λLambda Encodings
Flag this post
Async/Await is finally back in Zig
🌊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
🔩Systems Programming
Flag this post
Loading...Loading more...