Multi-Core By Default
rfleury.com·22h·
Discuss: Lobsters, Hacker News
🧵Concurrency
Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
💻Programming languages
Item Patterns and Struct Await
noratrieb.dev·17h·
Discuss: Hacker News
🦀Rust
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·13h
🔬RaBitQ
Understanding conflict resolution and avoidance in PostgreSQL: a complete guide
pgedge.com·3h·
Discuss: r/programming
🔄Eventual Consistency
Iterated Development and Study of Schemers (IDSS)
lesswrong.com·9h
🆕New AI
Introducing modrpc, a modular RPC framework
reddit.com·9h·
Discuss: r/rust
📋MCP
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1h·
Discuss: Hacker News
🎭Rust Macros
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·19h
🧠LLM Inference
When Python can't thread: a deep-dive into the GIL's impact
pythonspeed.com·12h·
Discuss: Hacker News
🧵Concurrency
Effects in Rust (and Koka)
aloso.foo·23h·
Discuss: r/rust
🦀Rust
Looking at my Arduino
boswell.bearblog.dev·6h
🖥️Hardware Architecture
GoMem is a high-performance memory allocator library for Go
github.com·21h
🧠Memory Allocators
Implementing ZADD If Key Exists
rozumem.xyz·17h·
Discuss: Hacker News
🔒Borrow Checker
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·23h·
Discuss: Hacker News
🔐Cryptography
Three ways formally verified code can go wrong in practice
buttondown.com·6h
💻Programming languages
Building the Reasoning Engine at Axiom
axiommath.ai·3h·
Discuss: Hacker News
💻Programming languages
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·7h
✨Code Aesthetics
Here’s How Software Makers Can Stay in the Game Even While on the Bench
spin.atomicobject.com·11h
⚡Developer Experience
Proposal: Deconfig – Distributed Git Infrastructure with Durable Objects
github.com·23h·
Discuss: Hacker News
🔀jj