🏗️ Language Design - z7bjv6fs · Scour

Tuning LLVM's SLP Vectorizer Cost Model 🦀Rust

blog.kaving.me·6d·Hacker News

Issue 752 🦀Rust

main--iosdevweekly.netlify.app·2d

Understanding traceroute by re-implementing it in Rust 🦀Rust

blog.apnic.net·5d

E-Path: Equality Saturation for Control-Flow Graphs ✅Formal Verification

hieudeptrai196/cave_prompt: Semantic prompt compiler: turn a raw prompt into an optimized execution prompt + machine-readable IR ✅Formal Verification

github.com·10h·r/PromptEngineering, r/SideProject, r/vibecoding

Don't Build Your Own Lisp 🦀Rust

gist.github.com·1d·Hacker News

CLRHack: Tail Recursion 🦀Rust

funcall.blogspot.com·5d·Blogger

SOLID Principles in C# — I Refactored 60 Ugly Lines, One Rule at a Time 🦀Rust

prepstack.co.in·2d·DEV

Back to the Building Blocks’ Building Blocks 🦀Rust

cs.cornell.edu·5d·Lobsters, Hacker News

MIT's MeMo lets teams swap in a better LLM without retraining 🦀Rust

venturebeat.com·1d

Nix on Sailfish X (Sailfish OS for Sony Xperia) 🦀Rust

toast.al·12h·Lobsters

Scanning Vibe-Coded Apps: Why Traditional SAST/DAST Falls Short (part 6) 🛡️Security

simonroses.com·2d

About #32099: remove `@TypeOf` and `anytype`; introduce `|T|` syntax 🦀Rust

Haskell Brain Teasers (Pragmatic Programmers) 🦀Rust

i-programmer.info·3d

Ruminating about mutable value semantics 🦀Rust

scattered-thoughts.net·1d·Hacker News

swift-dependencies is an unacceptable solution for handling dependencies in Swift apps 🦀Rust

adamz.dev·3d·Hacker News

How ref qualifiers let to deducing this ✅Formal Verification

meetingcpp.com·2d

SOLID Design in C#: The Liskov Substitution Principle (LSP) 🦀Rust

blog.ndepend.com·6d

ahinchman1/Kotlin-Compiler-Crash-Course: A repository of helpful sources to figure out what the Kotlin compiler really is 🦀Rust

[Dev Weekly #113] Claude 4.8 Rewrites Agent Systems | Ruby LSP with Prism | Ruby’s Concurrency Finally Explained 🦀Rust

blog.codeminer42.com·1d

Log in to enable infinite scrolling