Galois field instructions on 2021 CPUs
corsix.org·25m·
Discuss: Hacker News
🔐RISC-V Cryptography
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·1d
📏Code Metrics
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·13h·
Discuss: Hacker News
🔍RegEx Engines
Who Killed class? A Forensic Look at C++’s Forgotten Keyword
hackernoon.com·5h
🧬Functional Programming
Preventing Reentrancy Bugs From Creeping Back In: Linking TLA+ Models to Rust Code
medium.com·1d·
Discuss: Lobsters
🏛️Agda
Understanding FreeBSD's Periodic System
discoverbsd.com·3h
🔌Operating system internals
Unlocking Performance: How C++ Optimization Techniques in Compilers Outperform Python
dev.to·3d·
Discuss: DEV
🧮Compute Optimization
Superimposed codes, take two
blog.sesse.net·1d
🔢Bitwise Algorithms
KL-001-2025-010: Schneider Electric EcoStruxure IT Data Center Expert Privilege Escalation
seclists.org·13h
🛡Cybersecurity
Sandboxes? In my process? It's more likely than you think.
dadrian.io·3d
🔒Type Safety
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·13h·
Discuss: Hacker News
🔬Binary Analysis
Understand CPU Branch Instructions Better
chrisfeilbach.com·3d·
Discuss: Hacker News
🦾ARM Assembly
Herrick Venture #1: Escape (1983)
bluerenga.blog·11h
📟Terminal Physics
Ente web - State of the Union 2025
ente.io·1d
🎯Gradual Typing
Fun with flags: How Compilers Break and Fix Constant-Time Code
arxiv.org·1d·
Discuss: Hacker News, r/programming
🔒Type Safety
Using Gemini and Claude for SQL Analytics
benjaminwootton.com·22h·
Discuss: Hacker News
🧮Datalog
My first verified (imperative) program
markushimmel.de·2d·
Discuss: Lobsters, Hacker News, r/programming
⚔️Lean Tactics
Helpful function to find memory leaks in JavaScript
news.ycombinator.com·6h·
Discuss: Hacker News
🎯Gradual Typing
Maximizing Leverage in Software Systems
bencornia.com·3d
🌊Streaming Systems
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·1d
⚔️Lean Tactics