Announcing <code>rv</code> 0.2
andre.arko.net·1h
🧲RISC-V Preservation
CVE-2024-36401 - GeoServer - tailoring a public PoC to enable at-scale high-confidence detection
bitsight.com·1d
🧪CBOR Fuzzing
Metasploit Wrap Up 10/09/2025
rapid7.com·1d
🛡️eBPF Security
SAT problems are kind of cool
blog.karanjanthe.me·2d·
Discuss: Hacker News
🧮SMT Solvers
Understanding conflict resolution and avoidance in PostgreSQL: a complete guide
pgedge.com·14h·
Discuss: r/programming
🛡️Byzantine Fault Tolerance
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·3d
🧮Compute Optimization
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
The Rust Advantage: Building Bulletproof Systems When AI Writes Half Your Code
dev.to·4d·
Discuss: DEV
🦀Rust Macros
Behind the Scenes of Pingoo: Slashing allocations in Rust with mimalloc and heapless to build the fastest reverse proxy
kerkour.com·3d·
Discuss: Hacker News, r/programming
🔒Linear Types
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·1d
⛪Church Encoding
Operable Software
ferd.ca·20h·
Discuss: Hacker News
👁️System Observability
Memgoose – An In-Memory Mongoose Impersonator
github.com·46m·
Discuss: Hacker News
🔄Sync Engine
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·11h·
Discuss: Hacker News
⚡Proof Automation
Haskell Weekly Issue 493
haskellweekly.news·2d·
Discuss: Hacker News
🧬Functional Programming
A new breed of analyzers
daniel.haxx.se·22h·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
C++26: range support for std:optional
sandordargo.com·2d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Padding
reddit.com·5h·
Discuss: r/golang
🔧KAITAI
Managing Asynchronous Work with Celery and Redis
dev.to·23h·
Discuss: DEV
🌊Apache Kafka
Why it took 4 years to get a lock files specification
snarky.ca·6h·
Discuss: Lobsters, Hacker News
🔄Language Evolution
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
λLambda Encodings