Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·1d
⚡Proof Automation
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·3h·
Discuss: DEV
⚙️Proof Engineering
Operable Software
ferd.ca·11h·
Discuss: Hacker News
👁️System Observability
Legend-state: High performance state and local first sync
legendapp.com·14h·
Discuss: Hacker News
🌊Streaming Systems
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.to·15h·
Discuss: DEV
🤖Paleographic AI
Keyboard Holders, Generation 1
cceckman.com·1d·
Discuss: Hacker News
⌨️Mechanical Keyboards
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
1k LEDs Is No Limit
xayax.net·1d·
Discuss: Lobsters, Hacker News
⚡Homebrew CPUs
How to tame a user interface using a spreadsheet
blog.gingerbeardman.com·48m·
Discuss: Hacker News
📟Terminal Physics
Automated Parameter Calibration in Physics-Based Robot Simulation via Bayesian Optimization
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·23h·
Discuss: Hacker News, r/programming
✅Format Verification
Satellite Navigation and Control using Physics-Informed Artificial Potential Field and Sliding Mode Controller
arxiv.org·21h
🎮Game Cartridge Emulation
The Automatic Door System: With Statements Explained
dev.to·1d·
Discuss: DEV
🧠Program Logic
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·3d·
Discuss: Hacker News
🔲Cellular Automata
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.to·22h·
Discuss: DEV
🧩RISC-V
IASC: Interactive Agentic System for ConLangs
arxiv.org·21h
🌳Context free grammars