A Bitcoin Core Code Analysis
binaryigor.com·11h·
Discuss: Hacker News
🏹Apache Arrow
CISA’s 2025 SBOM Guidance Adds Hashes, Licenses, Tool Metadata, and Context
socket.dev·10h
🔧Developer tools
Fixing my Old OS Assignment with Machine Code Hacks
gridbugs.org·11h·
Discuss: r/programming
📟Terminals
Import AI 426: Playable world models; circuit design AI; and ivory smuggling analysis
jack-clark.net·14h
🆕New AI
My second compiler! (From 1997.)
github.com·17h
⚙️Language Runtimes
How I Make Claude Code Work for Me (Aug 2025)
craftingteams.substack.com·53m·
Discuss: Substack
🔀JJ
Wavelet-Enhanced PaDiM for Industrial Anomaly Detection
arxiv.org·22h
📊Vector Databases
Hidden Reasoning in LLMs: A Taxonomy
lesswrong.com·3h
🔤Font Rendering
Debugging the Instant Macropad
hackaday.com·9h
📟Terminals
Finding the low-hanging fruit in tech companies
seangoedecke.com·2h
👨‍💻Software development practices
Linux's Floppy Disk Driver Code Sees Some Cleanups In 2025
phoronix.com·6h·
Discuss: r/linux
📟Terminals
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·12h·
Discuss: Hacker News
🧮SMT Solvers
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·12h·
Discuss: Hacker News
⚙️Mechanical Sympathy
Hashlock Launches Free AI Audit Tool for Smart Contracts
aiaudit.hashlock.com·3h·
Discuss: Hacker News
🛡️AI Security
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·13h·
Discuss: Hacker News
🔧Developer tools
vLLM Performance Tuning: The Ultimate Guide to xPU Inference Configuration
cloud.google.com·10h
📊Model Serving Economics
XX-Net 5.16.5
majorgeeks.com·18h
🔐Hardware Security
Memory optimizations to reduce CPU costs
ayende.com·15h·
Discuss: Hacker News
📝Text Compression
Reverse Engineering ALL the Raspberry Pis
jeffgeerling.com·6h·
Discuss: Hacker News
🔬RaBitQ
Show HN: DataCompose – Prevent downstream data failures with composite functions
datacompose.io·6h·
Discuss: Hacker News
💾Binary Formats