Experimenting with ACL2 and Claude Code
mikedodds.org·16h·
Discuss: Hacker News
💬Language Servers
Show HN: Realization Jsmn on a Pure Zig
github.com·19h·
Discuss: Hacker News
☁️Serverless Rust
GoMem is a high-performance memory allocator library for Go
github.com·1d
🔧Database Engines
Python 3.12.12, 3.11.14, 3.10.19 and 3.9.24 are now available!
pythoninsider.blogspot.com·1d
☁️Serverless Rust
JVM stack is about to be massively modernized
medium.com·11h·
Discuss: Hacker News
🧩WebAssembly
Walrus, A 1M ops/sec, 1 GB/s Write Ahead Log in Rust
nubskr.com·3d·
Discuss: Lobsters, Hacker News
🔌Embedded Rust
Rust-Written Redox OS Enables Multi-Threading By Default
phoronix.com·4d
🌐Rust Networking
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
λFunctional Programming
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
λFunctional Programming
Building Resilient AI Agents on Serverless | Restate
restate.dev·1d·
Discuss: Hacker News, r/programming
☁️Serverless Rust
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·21h·
Discuss: r/golang
⚡Tokio
Did you know that there is an HTML tables API?
christianheilmann.com·1d·
Discuss: Hacker News
🔌SQLite Extensions
AppCUI-Rs – Powerful and Easy TUI Framework Written in Rust
github.com·2d·
Discuss: Hacker News
🦋Tauri
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
λFunctional Programming
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·5d·
Discuss: Hacker News
☁️Serverless Rust
The Rust Advantage: Building Bulletproof Systems When AI Writes Half Your Code
dev.to·4d·
Discuss: DEV
🔌Embedded Rust
C++ Reflection and Qt MOC
wiki.qt.io·2d·
Discuss: Hacker News
🧩WebAssembly
Why it took 4 years to get a lock files specification
snarky.ca·1h·
Discuss: Hacker News
☁️Serverless Rust
Printing Petscii Faster
retrogamecoders.com·6h·
Discuss: Hacker News
📝editors
Keeping my Nix inputs fresh
jimmyff.co.uk·1d·
Discuss: Hacker News, r/programming
❄️Nix