The Day I Hacked XCTrack
blog.syrac.org·8h·
Discuss: Hacker News
🔐PKI Archaeology
timelinize/timelinize
github.com·21h
⏱️Interval Archives
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
A Manifesto for the Programming Desperado
github.com·6h·
Discuss: Hacker News
💻Programming languages
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Basketball trivia, editing distances, and derangement
leancrew.com·2d
🌳Trie Structures
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·29m·
Discuss: Hacker News
🦀Rust Macros
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·18h
⛪Church Encoding
People rescuing forgotten knowledge trapped on old floppy disks
bbc.com·10h·
Discuss: Hacker News
📼Cassette Archaeology
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·2h·
Discuss: Hacker News
🛡️Error Boundaries
The Rise of the Knowledge Sculptor: A New Archetype for Knowledge Work in the Age of Generative AI
arxiv.org·18h
🗺️Competency Maps
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·1d
📜Manuscript Algebras
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·20h·
Discuss: Hacker News, r/programming
✅Format Verification
Why Self-Host?
romanzipp.com·1d·
Discuss: Hacker News
🏠Personal Archives
Terraform Fileset Function: Filter and Deploy Specific Files
spacelift.io·8h·
Discuss: Hacker News
🧊Arctic Storage
In-Depth Analysis: "Attention Is All You Need"
dev.to·7h·
Discuss: DEV
🧠Intelligence Compression
The artificial complexity of OOXML files (the PPTX case)
blog.documentfoundation.org·5h·
Discuss: Hacker News
📟Terminal Typography
Let's Write a Macro in Rust
hackeryarn.com·6h·
Discuss: Hacker News
🦀Rust Macros
[R] How to retrieve instructions given to annotators - RLHF
reddit.com·13h·
Discuss: r/MachineLearning
📚Documentation Archaeology
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting