🔤 New Languages - c13e · Scour

Anodized – catch Rust runtime bugs at compile time ⚡Zig

docs.rs·1d·Hacker News

Claude Mythos Finds Zero-Days—But Rust Quietly Shuts The Door 🧠Local AI

spectrum.ieee.org

·11h

Hexagons, common lisp interface manager graphics and acl2 first order logic automatic proofs in one place 🔵Lisp

lispy-gopher-show.itch.io·6d

I built PII masking and semantic search directly into Polars DataFrames ☎️OTP

omna.dev·1d·Hacker News

A Grounded Conceptual Model for Ownership Types in Rust 🔢Type Theory

dl.acm.org·19h·Lobsters

verus-lang/verus release/rolling/0.2026.04.30.db73538 💧Elixir

·2h

"Parse, don't Validate" through the years with C++ ⚙️Compiler Design

derekrodriguez.dev·4d·Hacker News, r/programming

I shipped a second Rust PR. This time into rust-analyzer. 📐Formal Methods

·2d

Michael Tsai - Blog - Zig’s Anti-AI Contribution Policy ⚡Zig

I'm depressed so I'm writing a rust compiler ⚙️Compiler Design

reddit.com·2d·r/rust

The Zig project's rationale for their firm anti-AI contribution policy ⚡Zig

simonwillison.net·23h·Hacker News

The Rattler Book: Build your own package manager in Rust ⚙️Compiler Design

prefix.dev·6d·Hacker News

Show HN: Platypus – Local meeting transcription, notes, and chat (Tauri, Rust) ⚗️BEAM Ecosystem

platypusnotes.com·1d·Hacker News

Flatbuffer Rust Server Framework 🛡️Memory Safety

youtu.be·12h·r/rust

Vector, the Journal of the British APL Association 🗄️Datalog

web.archive.org·1d·Hacker News

Rust’s Type System as a State Machine, Phantom Types and the Typestate Pattern λFunctional Programming

·3d

Blind Item #13 🧠Active Recall

crazydaysandnights.net·6h·crazydaysandnights.net

I’ve documented my experiments with Godot Engine and Rust in this blog post ⚙️Compiler Design

abczezeze.blogspot.com·2d·r/godot

Contributor Poker and Zig's AI Ban ⚡Zig

notes.billmill.org·12h

What’s New in Rust 1.95.0 ⚙️Compiler Design

·3d

Sign up or log in to see more results

Log in to enable infinite scrolling