Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
λLambda Formalization
Memory Safety in Web Rust System Zero Cost Secure（1750594760521200）
dev.to·8h·
Discuss: DEV
🦀Rust Borrowing
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·20m·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
I'm writing a book!
laplab.me·21h
🗄️Database Internals
remove(42) vs. find(42).remove()
yegor256.com·21h
🔓Reverse engineering
From Risk to Resolution: Building Adaptive Preservation Planning at Cambridge University Libraries
digitalpreservation-blog.lib.cam.ac.uk·2d
💰Preservation Economics
Begin Blog Experiment of No Tags and Only 8 Categories
wisdomandwonder.com·1h
🔗Online Curation
Week 25 – 2025
thisweekin4n6.com·9h
🌐WARC Forensics
A very short book note
logicmatters.net·2d
⚔️Lean Theorem
The Probability of a Hash Collision
kevingal.com·17h·
Discuss: Hacker News
🔐Hash Functions
Real-world performance comparison of ebtree/cebtree/rbtree
wtarreau.blogspot.com·15m·
Discuss: wtarreau.blogspot.com
🌲B-tree Variants
Professional Update
math.columbia.edu·1h
🧮Theoretical Computer Science
Cactus Language • Syntax 10
inquiryintoinquiry.com·5h
📝Concrete Syntax
Archiving databases: Why, what and how?
e-ark-foundation.eu·2d
🏛️OAIS Implementation
I reviewed the Orico Cyberdata Vault CF56 Pro prototype - and it revealed an aggressive entry to the prosumer NAS market
techradar.com·2h
🔌Operating system internals
HashMap in Java
dev.to·2h·
Discuss: DEV
🌳Trie Structures
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·1d
🌐Protocol Synthesis
Cross-Account and Cross-Region Backups with AWS Backup (and Friends)
tylerrussell.dev·1d·
Discuss: Hacker News
💿Backup Strategies
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming