⚙️ Rust Internals - gss123 · Scour

Seeing the ML Compiler Stack Live on AMD GPU ⚡SIMD Vectorization

compilersutra.com·2d·DEV

RUSTSEC-2026-0089: wasmtime: Host panic when Winch compiler executes `table.fill` 🦀Rust

rustsec.org·5d

Show HN: Spectre: A systems design-by-contract language, self hosted compiler 🔍Static Analysis

spectrelang.org·53m·Hacker News

MLanguage/mlang: Compiler for the M language, used to compute the income tax of French taxpayers 🧮SMT Solvers

github.com·16h·Hacker News

Everything Should Be Typed: Scalar Types Are Not Enough 🦀Rust

sot.dev·2d·Lobsters, Hacker News, r/programming, r/rust

Embed You a ponyc for Great Good 🔧Linkers

ponylang.io·11h·Lobsters

How we made the Angular Compiler faster using AI 🦀Rust

voidzero.dev·5d·Hacker News, r/javascript

Emulation-Completeness of Programming Languages 📐TLA+

arxiv.org·20h

R.I.P., Tomas Kalibera ⚡Tokio

yihui.org·1d

Zig 0.16.0 released 🐧Linux

lwn.net

·5h

Simple coding projects anyone?? 🔍Static Analysis

programiz.com·6h·r/learnpython

Your LLM is a compiler, not a runtime 📐TLA+

getpocketbot.com·1d·Hacker News

Ownership, borrowing, lifetimes, parallel programming and unnecessary complexity 🗂️Memory Allocators

ziggit.dev·6d

Circuit Transformations, Loop Fusion, and Inductive Proof 🔓Lock-Free Structures

natetyoung.github.io·1d·Hacker News

Rust API and a new plugin system added to Miracle-WM 🔨Build Systems

omgubuntu.co.uk·5d

Beyond Karpathy's LLM-Wiki: The Necessity of Cognitive Governance 🔄Systems Thinking

jonadas.com·1d·Hacker News

A language where you describe the system and the compiler verifies it 📐TLA+

spine-lang.org·4d·Hacker News

#244 Recognizing Hieroglyphs 🐧Linux

thisweek.gnome.org·5d

Go Stack Allocated Variables Can Change Address 🗂️Memory Allocators

bruceediger.com·3d

Structured Concurrency and the Death of CompletableFuture Hell 🔄Concurrency

javacodegeeks.com·5d

Loading more...