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·16h·
Discuss: Lobsters, Hacker News
🔄Language Evolution
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·2d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Item Patterns and Struct Await
noratrieb.dev·1d·
Discuss: Hacker News
🦀Rust Macros
Stop Worrying and Love the Bomb
bitbytebit.substack.com·6h·
Discuss: Substack
⚙️Build Archaeology
Let's Prove Leftpad
github.com·4d·
Discuss: Hacker News
📜Proof Carrying Code
I analyzed 70 Data Breaches. Three controls would have stopped 65% of them
securityblueprints.io·2d·
Discuss: Hacker News
🔐Capability Systems
The Automatic Door System: With Statements Explained
dev.to·2d·
Discuss: DEV
🧠Program Logic
Prompt Injection 2.0: The New Frontier of AI Attacks
dev.to·35m·
Discuss: DEV
🎯Threat Hunting
Programmer in Wonderland
binaryigor.com·2d·
Discuss: Hacker News
🔩Systems Programming
Complete Guide to Audio Processing in Python: From Spectrograms to Real-Time Applications
dev.to·7h·
Discuss: DEV
📊Spectral Analysis
Announcing state-machines: Rust Port of Ruby's state_machines Gem
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Show HN: An open-source starter kit for implementing OWASP ASVS 5.0
github.com·1d·
Discuss: Hacker News
🔓Open Source Software
Responsible Vibe Coding
dev.to·5h·
Discuss: DEV
📏Code Metrics
Trying to find an app to overview my homelab
reddit.com·3h·
Discuss: r/homelab
🏠Homelab Archaeology
A Proof of the Riemann Hypothesis
dev.to·2d·
Discuss: DEV
⚔️Lean Theorem
Valid Stopping for LLM Generation via Empirical Dynamic Formal Lift
arxiv.org·2d
💻Programming languages
Loyca.ai – An open-source, local-first AI assistant with contextual awareness
github.com·2h·
Discuss: Hacker News
🌀Brotli Internals
94% of RAG Systems Have No Backup Plan: The $2M Disaster That Proves It
dev.to·4d·
Discuss: DEV
💿Backup Strategies
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·1d·
Discuss: DEV
🔍Concolic Testing