N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·1d·
Discuss: Hacker News
🌊Stream Processing
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·2d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code
Rust vs C, C++, Java & Python — 5 Everyday Programs Compared
dev.to·2d·
Discuss: DEV
🦀Rust Macros
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Show HN: I built a LSP with its own parser to learn Rust
github.com·1h·
Discuss: Hacker News
⚡Dependent Rust
CVE-2024-36401 - GeoServer - tailoring a public PoC to enable at-scale high-confidence detection
bitsight.com·1d
🧪CBOR Fuzzing
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
Running new applications on old glibc
lightofdawn.org·1d·
Discuss: Hacker News
🔗Static Linking
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.io·13h·
Discuss: Lobsters, Hacker News
🔓Open Source Software
Slip – A Lisp System in JavaScript
lisperator.net·15h·
Discuss: Hacker News
🔗Lisp
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·15h·
Discuss: Hacker News
🌐Protocol Synthesis
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·7h·
Discuss: DEV
⚙️Proof Engineering
Next steps for BPF support in the GNU toolchain
lwn.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Monads
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·1d
⚙️Compression Benchmarking
Replacing the Type Checker for the Swift Compiler
forums.swift.org·2d·
Discuss: Hacker News
💧Liquid Types
Vexing Exceptions
ericlippert.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
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·9h·
Discuss: r/programming
🛡️Byzantine Fault Tolerance
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·3d
🧮Compute Optimization