Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·3d·
Discuss: Hacker News, r/rust
✅Formal Verification
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·1d·
Discuss: Hacker News
📊Streaming ML
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·8h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Show HN: Farseer, rust rewrite of prophet with some extra goodies
ryanbieber.github.io·1d·
Discuss: Hacker News
🛰️Geospatial
Flag this post
Bedrock, a modular, WAN-replicated database based on SQLite
bedrockdb.com·16h·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Speedrunning an RL Environment
sidb.in·23h·
Discuss: Hacker News
📊Streaming ML
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·16h·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Intervaltree with Rust Back End
github.com·3h·
Discuss: Hacker News
🔺Computational Geometry
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·20h·
Discuss: Substack
📊Streaming ML
Flag this post
Vibecoding my way to a crit on GitHub
furbreeze.github.io·13m·
Discuss: Hacker News
📊Streaming ML
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·2d·
Discuss: Hacker News
✅Formal Verification
Flag this post
20 Years Building for the Web: From PHP's Simple Server Rendering to TypeScript
nikuscs.com·1d·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Debian's APT Will Soon Begin Requiring Rust: Debian Ports Need To Adapt Or Be Sunset
phoronix.com·13h·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Revisiting interface segregation in Go
rednafi.com·1d·
Discuss: Hacker News, r/golang
✅Formal Verification
Flag this post
Smaller Surfaces
nrempel.com·12h·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·20h·
Discuss: Hacker News, r/programming, r/rust
🌐Distributed Systems
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🧬Computational Biology
Flag this post
Show HN: sjl – Simple JSON Logger for Rust
github.com·2d·
Discuss: Hacker News
📊Streaming ML
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·10h·
Discuss: Lobsters, Hacker News
✅Formal Verification
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·2d·
Discuss: Lobsters, Hacker News
🌐Distributed Systems
Flag this post