Casual Man and Help
irreal.org·3h
🪟Awesome windows command-line
Ippei Tsujio’s Fresh Batch of Wrapping Paper Transforms Gifts Into Perfectly Baked Loaves
thisiscolossal.com·1d
📕Bookbinding
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·2d
🌳Archive Merkle Trees
Daily briefing: How to make America healthy — the real problems and how to fix them
nature.com·9h
🌡️Preservation Physics
Show HN: Spectre – Cursor for Google Docs
saratogawriter.com·1d·
Discuss: Hacker News
📄Document Streaming
Cactus Language • Syntax 12
inquiryintoinquiry.com·4h
📝Concrete Syntax
Double Maths First Thing: Issue 2A
aperiodical.com·12h
👑Isabelle
Music copyright, how many sucks of the sav?
aardvark.co.nz·4h
🏴‍☠️Piracy
JupyterLab-PKM 0.1.12
electricarchaeology.ca·1h
🌀Brotli Internals
How I Write So Much as an Overthinker
thealgorithmicbridge.com·1h
📡RSS Readers
Your Guide to the Python print() Function
realpython.com·6h
📝Concrete Syntax
Counting with Categories (Part 2)
golem.ph.utexas.edu·2d
🔀Category Theory
Syllabus Sage📜: Runner H’s Ultimate Study Guide🤖🤗✨
dev.to·1d·
Discuss: DEV
⚡Proof Automation
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·5h·
Discuss: Substack
🦀Rust Macros
A Group of Students Are Revolutionizing the Way You Discover What to Watch, Read, and Listen
hackernoon.com·1d
🎯Recommendation Metrics
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
New: Improve Apache Iceberg query performance in Amazon S3 with sort and z-order compaction
aws.amazon.com·23h
🔄Burrows-Wheeler
Things that AI cannot do
mcsweeneys.net·59m·
Discuss: Hacker News
🔲Cellular Automata
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·11h·
Discuss: Hacker News
🌀Brotli Internals
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures