SAT problems are kind of cool
blog.karanjanthe.me·3d·
Discuss: Hacker News
🧮SMT Solvers
Why it took 4 years to get a lock files specification
snarky.ca·13h·
Discuss: Lobsters, Hacker News
🔄Language Evolution
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·2d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
I analyzed 70 Data Breaches. Three controls would have stopped 65% of them
securityblueprints.io·1d·
Discuss: Hacker News
🔐Capability Systems
Item Patterns and Struct Await
noratrieb.dev·1d·
Discuss: Hacker News
🦀Rust Macros
Zelos Tech Manages Hundreds of Millions of Files for Autonomous Driving with JuiceFS
dev.to·1d·
Discuss: DEV
💾Proxmox Storage
Operable Software
ferd.ca·1d·
Discuss: Hacker News
👁️System Observability
Is the End of Detection-Based Security Here?
thenewstack.io·1d
🎯Threat Hunting
Stop Worrying and Love the Bomb
bitbytebit.substack.com·2h·
Discuss: Substack
⚙️Build Archaeology
Proposal: Deconfig – Distributed Git Infrastructure with Durable Objects
github.com·1d·
Discuss: Hacker News
📦Git LFS
Effective Web Scraping with Python: Building a Robust Data Pipeline for Price Monitoring
dev.to·1d·
Discuss: DEV
🕵️Feed Discovery
Sorting encrypted data without decryption: a practical trick
dev.to·1d·
Discuss: DEV
🔐Hash Functions
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·1d
📼Cassette Combinators
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
⚡Cache Theory
Let's Prove Leftpad
github.com·4d·
Discuss: Hacker News
📜Proof Carrying Code
Announcing state-machines: Rust Port of Ruby's state_machines Gem
reddit.com·21h·
Discuss: r/rust
🦀Rust Macros
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
Refactoring: A way to write better Code
dev.to·15h·
Discuss: DEV
⚙️Operational Semantics
The Automatic Door System: With Statements Explained
dev.to·2d·
Discuss: DEV
🧠Program Logic
Programmer in Wonderland
binaryigor.com·2d·
Discuss: Hacker News
🔩Systems Programming