It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·3h·
Discuss: Hacker News
🦀Rusty Databases
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·11h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Meson 1.9 Released With New Rust Features, Adds Swift/C++ Interoperability
phoronix.com·16h
🦀Rust Borrowing
My Current AI Dev Workflow
steipete.me·18h
⚡Proof Automation
How I Make Claude Code Work for Me (Aug 2025)
craftingteams.substack.com·1h·
Discuss: Substack
🔩Systems Programming
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·2d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·9h·
Discuss: Hacker News
🔱Galois Cryptography
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·5h
🎯Performance Proofs
Const Trait Counterexamples
dbeef.dev·5d·
Discuss: Lobsters, Hacker News, r/rust
🔒Type Safety
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·9h·
Discuss: Substack
🔗Topological Sorting
Rspack Introduces Rslint, a TypeScript-First Linter Written in Go
socket.dev·5d·
Discuss: Hacker News
🎯Gradual Typing
Does Rust complexity ever bother you?
reddit.com·3d·
Discuss: r/rust
🦀Rust Borrowing
Optimizing FizzBuzz in Rust
github.com·2d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·17h·
Discuss: DEV
🔗Constraint Handling
Winetricks/winetricks
github.com·1h
🔄Sync Engine
Wayland Compositors – Why and How to Handle Privileged Clients (2014)
mupuf.org·22h·
Discuss: Hacker News
🔓Password Cracking
Lobsters Interview with Matklad
lobste.rs·3d·
Discuss: Lobsters
🦀Rust Macros
A Bitcoin Core Code Analysis
binaryigor.com·12h·
Discuss: Hacker News
🧬Bitstream Evolution
rustc_codegen_gcc: Progress Report #37
blog.antoyo.xyz·4d·
Discuss: r/rust
🦀Rust Macros
Using Derive_more for Errors in Rust
quamserena.com·4d·
Discuss: Hacker News
🦀Rust Borrowing