A Bitcoin Core Code Analysis
binaryigor.com·6h·
Discuss: Hacker News
🏹Apache Arrow
Fixing my Old OS Assignment with Machine Code Hacks
gridbugs.org·6h·
Discuss: r/programming
📟Terminals
Import AI 426: Playable world models; circuit design AI; and ivory smuggling analysis
jack-clark.net·9h
🆕New AI
RP2040 Assembly Language Mix and Match
hackaday.com·19h
🪄Prompt Engineering
My second compiler! (From 1997.)
github.com·12h
⚙️Language Runtimes
Wavelet-Enhanced PaDiM for Industrial Anomaly Detection
arxiv.org·17h
📊Vector Databases
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·8h·
Discuss: Hacker News
🔧Developer tools
Linux's Floppy Disk Driver Code Sees Some Cleanups In 2025
phoronix.com·1h
📟Terminals
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·7h·
Discuss: Hacker News
🧮SMT Solvers
original ↗
manton.org·21h
👨‍💻Software development practices
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·7h·
Discuss: Hacker News
⚙️Mechanical Sympathy
Quality Precision
lesswrong.com·3h·
Discuss: Hacker News
📋Text Quality
XX-Net 5.16.5
majorgeeks.com·13h
🔐Hardware Security
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·23h·
Discuss: Hacker News
🪄Prompt Engineering
Show HN: DataCompose – Prevent downstream data failures with composite functions
datacompose.io·1h·
Discuss: Hacker News
💾Binary Formats
The MiniPC Revolution
jadarma.github.io·4h·
Discuss: Hacker News
🖥GPUs
Memory optimizations to reduce CPU costs
ayende.com·10h·
Discuss: Hacker News
📝Text Compression
leptos-rs/leptos
github.com·19h
🌐Axum
Half-life of Open source research software projects
shape-of-code.com·23h
🔓Open Source Software
Finding unneeded pragmas
nedbatchelder.com·23h
🛡️AI Security