Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
λLambda Formalization
Preparing for the Quantum Leap: The Urgency of Post-Quantum Cryptography
dev.to·9h·
Discuss: DEV
🔐Quantum Security
Superimposed codes
blog.sesse.net·9h
💾Binary codes
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·22h·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·12m·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
Making a genetic algorithm to navigate a 2D spacecraft
a-biad.github.io·1d·
Discuss: r/programming
🔲Cellular Automata
Cactus Language • Syntax 10
inquiryintoinquiry.com·5h
📝Concrete Syntax
The Probability of a Hash Collision
kevingal.com·17h·
Discuss: Hacker News
🔐Hash Functions
Creating Domain Types for Safer Code
dev.to·2h·
Discuss: DEV
🔒Linear Types
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·7h·
Discuss: Hacker News
🔗Functional Compilers
A Gentle Introduction to Multi-Head Attention and Grouped-Query Attention
machinelearningmastery.com·3d
🚀SIMD Text Processing
HashMap in Java
dev.to·2h·
Discuss: DEV
🌳Trie Structures
Week 25 – 2025
thisweekin4n6.com·9h
🌐WARC Forensics
Show HN: Extract Tables from Any Website – Images to JSON via OCR
github.com·1h·
Discuss: Hacker News
📄Document Digitization
Algebra 2 Problems of the Day (Algebra 2, January 2025 Part I)
mrburkemath.blogspot.com·4d·
Discuss: www.blogger.com
⚔️Lean Theorem
An unfinished post: "Compressing short Unicode strings with BOCU-1"
evanhahn.com·3d
🔤Character Encoding
Towards Weight Distribution-Aware Polar Codes
arxiv.org·3d
⚽Sphere Packing
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·1d
🌐Protocol Synthesis