Rust for Linux – Encoding the trust of data in the type system
lwn.net·23h·
Discuss: Hacker News
🐛Vulnerability Research
I used an AI triage bot to close 85 GitHub issues in a weekend
bagerbach.com·2h·
Discuss: Hacker News
🐛Vulnerability Research
Parameters and binding forms should be mutually recursive
samestep.com·1h·
Discuss: Hacker News
✅Formal Methods
C++'s Greatest Flaw
harshal.is-cool.dev·1d·
Discuss: Hacker News
🐛Vulnerability Research
Definite Rust bugs found by the Miri UB detector
github.com·2d·
Discuss: Hacker News
✅Formal Methods
vLLM with torch.compile: Efficient LLM inference on PyTorch
blog.vllm.ai·21h·
Discuss: Hacker News
⚡CUDA
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz·10h·
Discuss: Hacker News
✅Formal Methods
rv Is a New Rust-Powered Ruby Version Manager Inspired by Python's uv
socket.dev·1h·
Discuss: Hacker News
🐛Vulnerability Research
The repercussions of a typo in C++ & Rust
nablag.com·2d·
Discuss: Hacker News, r/programming
✅Formal Methods
Adding #[derive(From)] to Rust
kobzol.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
✅Formal Methods
Welcoming the Rust Innovation Lab
blog.rust-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Methods
Declarative GUI Toolkit Slint 1.13 released
slint.dev·2d·
Discuss: Lobsters, Hacker News
✅Formal Methods
ReScript's Generalized Algebraic Data Types
rescript-lang.org·5h·
Discuss: Hacker News
✅Formal Methods
Type Checking is a Symptom, Not a Solution
programmingsimplicity.substack.com·11h·
Discuss: Substack
🐛Vulnerability Research
Sphinx Translation Tutorial: Localize Your Docs Like a Pro
documatt.com·7h·
Discuss: Hacker News
✅Formal Methods
Faster Rust builds on Mac
nnethercote.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🐛Vulnerability Research
Debugging Rustler on Illumos
system-illumination.org·3d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
✅Formal Methods
How and why I built an MCP server for Svelte
khromov.se·15h·
Discuss: Hacker News
✅Formal Methods
InvisiCaps: Giving Capabilities to C Pointers
fil-c.org·3h·
Discuss: Hacker News
🐛Vulnerability Research
We built an interpreter for Swift (a compiled language)
bitrig.app·1d·
Discuss: Hacker News, r/programming
✅Formal Methods