Saleae Analyzer for the BDM protocol
zetier.com·2d
🔬Binary Analysis
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·1d
🧮SMT Solvers
A Conjure Piglet Client
lambdaisland.com·3d
🦀Rust Macros
Codeminer42 Dev Weekly #75
blog.codeminer42.com·19h
📏Code Metrics
What it took to make a multi-agent trading simulation durable and observable
union.ai·2d·
Discuss: Hacker News
⚡Proof Automation
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·19h
🔗Tailscale
FFmpeg 8.0 Released
ffmpeg.org·9h·
Discuss: Hacker News
🎬AV1 Encoding
Qimem: Open-Source Rust Crypto Toolkit. Help Us Build It
github.com·40m·
Discuss: Hacker News
🦀Rust Macros
Show HN: Using Common Lisp from Inside the Browser
turtleware.eu·2d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Making the Case for One Language Tree Across Monorepos
hackernoon.com·2d
🔄Migration Tools
The long season of langdev
blog.fogus.me·3d
🔄Language Evolution
Show HN: Novel GPT-2 sampling and memory architecture
github.com·3h·
Discuss: Hacker News
💎Information Crystallography
the core of rust
jyn.dev·2d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
A primer on code generation in Cranelift by Benjamin Bouvier
bouvier.cc·4d
🦀Rust Macros
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·3d·
Discuss: Hacker News
🔩Systems Programming
Pgschema: Postgres Declarative Schema Migration, Like Terraform
pgschema.com·19h·
Discuss: Hacker News
🚚Data Migration
Beyond Bézier
beyondbezier.ch·3h·
Discuss: Hacker News
📖Nordic Typography
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·21h·
Discuss: Hacker News
⚡Proof Automation
Data Science Path: Automatic Subclass Registration & Python Encryption Algorithms with LabEx
dev.to·19h·
Discuss: DEV
🔐Cryptographic Archaeology
There Has Never Been a Better Time to Be a Junior Dev – It Won't Last Forever
aaronstannard.com·10h·
Discuss: Hacker News
📏Code Metrics