Experimenting with ACL2 and Claude Code
mikedodds.org·16h·
Discuss: Hacker News
💻Programming languages
Item Patterns and Struct Await
noratrieb.dev·23h·
Discuss: Hacker News
🦀Rust
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·18h
🔬RaBitQ
Understanding conflict resolution and avoidance in PostgreSQL: a complete guide
pgedge.com·8h·
Discuss: r/programming
🔄Eventual Consistency
Introducing modrpc, a modular RPC framework
reddit.com·14h·
Discuss: r/rust
📋MCP
Why Future AIs will Require New Alignment Methods
lesswrong.com·14h
🛡️AI Safety
When Python can't thread: a deep-dive into the GIL's impact
pythonspeed.com·17h·
Discuss: Hacker News
🧵Concurrency
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·6h·
Discuss: Hacker News
🎭Rust Macros
Looking at my Arduino
boswell.bearblog.dev·12h
🖥️Hardware Architecture
Implementing ZADD If Key Exists
rozumem.xyz·23h·
Discuss: Hacker News
🔒Borrow Checker
Three ways formally verified code can go wrong in practice
buttondown.com·11h
💻Programming languages
Building the Reasoning Engine at Axiom
axiommath.ai·9h·
Discuss: Hacker News
💻Programming languages
Operable Software
ferd.ca·15h·
Discuss: Hacker News
🌐Distributed systems
The Parable of the Locksmith and the Merchant
sinicapodcast.com·15h
⏳Tech History
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·12h
✨Code Aesthetics
Designing A Digital Restaurant
alperenkeles.com·4h·
Discuss: r/programming
🌐Distributed systems
My First Week of Vibecoding
underreacted.leaflet.pub·2h·
Discuss: Hacker News
🔤Tokenization
Slip – A Lisp System in JavaScript
lisperator.net·15h·
Discuss: Hacker News
💻Programming languages
Switching to Colemak-DH
vale.rocks·4h
✏️Code Editors
Progress being made in porting AMD OpenSIL Turin PoC to Coreboot in a Gigabyte MZ33-AR1
blog.3mdeb.com·8h·
Discuss: Hacker News, r/hardware
🖥GPUs