Cauchy coup
leancrew.com·1d
📐Linear Algebra
Welcome to Teratai888: A New Journey Begins
hackster.io·21h
🖥️Terminal Renaissance
8 Bit Mechanical Computer Built from Knex
hackaday.com·13h
🖥Retro Computing
Bad Apple!! CD+G on a karaoke machine
gashlin.net·4h·
Discuss: Lobsters, Hacker News
🔬Floppy imaging
AI Is the Answer to Everything
banagale.com·4h·
Discuss: Hacker News
🤖AI Translation
Hyperdimensional Connections a Lossless, Queryable Semantic Reasoning Framework
zenodo.org·2d·
Discuss: Hacker News
🗂️Vector Databases
Notes on Image Generation with GPT-4.1
taoofmac.com·8h·
Discuss: Hacker News
📐Mathematical Art
This Number System Beats Binary, But Most Computers Can't Use It
scientificamerican.com·2d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
An Introduction to GPU Profiling and Optimization
bitsand.cloud·21h·
Discuss: Hacker News, r/programming
📊Performance Profiling
The New Bar for Engineers in 2025: AI-Native or Behind
zachwills.net·3h·
Discuss: Hacker News
🔌Interface Evolution
You Are in a Box
jyn.dev·6d·
Discuss: Lobsters, Hacker News
🐚Nordic Shell
Integrating Model Context Protocol with Gemini: The Definitive Guide to Modern Tool Calling (Agentic-AI)
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Vibe Coding - Conversational Software Development - Part 2 In Practice
dev.to·1d·
Discuss: DEV
🔄Language Evolution
🚨 New deep-dive from Policy as Code: “Critical Container Registry Security Flaw: How Multi-Architecture Manifests Create Attack Vectors.”
policyascode.dev·20h
📦Container Security
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·3d·
Discuss: Hacker News
🤝Distributed Consensus
Usage Rules: Leveling the Playing Field for AI-Assisted Development
zachdaniel.dev·2d·
Discuss: Hacker News
⚡Proof Automation
Billions of Tokens Later: Scaling LLM Fuzzing in Practice
gusarich.com·2d·
Discuss: Hacker News
🧪Protocol Fuzzing
Maybe writing speed actually is a bottleneck for programming
buttondown.com·3d·
Discuss: Hacker News
📏Code Metrics
WebAssembly Component Model based REPL /w sandboxed multi-language plugin system
github.com·2d·
Discuss: Hacker News
🌐WASI
A Wide Reduction Trick (2022)
words.filippo.io·4d·
Discuss: Lobsters, Hacker News, r/programming
🌳Archive Merkle Trees