Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·4h·
Discuss: DEV
🦀Rust Borrowing
Ts-Wordle: An implementation of Wordle written in TypeScript types
github.com·1d·
Discuss: Hacker News
λLambda Formalization
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.com·1d·
Discuss: Hacker News
🐛Fuzzing
Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval
arxiv.org·1d
🔓Decompilation
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·19h
📝Concrete Syntax
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·16h·
Discuss: Hacker News
🧩WASM Modules
The Guide to the Foundation Models Framework
azamsharp.com·11h·
Discuss: Hacker News
λLambda Formalization
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·10h·
Discuss: Substack
🦀Rust Macros
Mike Driscoll: An Intro to ty – The Extremely Fast Python type checker
blog.pythonlibrary.org·12h
🦀Rust Verification
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·8h
🔒Linear Types
What The Heck Just Happened?
code.thheller.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·14h·
Discuss: Hacker News, r/programming
🔗Lisp
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·18h·
Discuss: DEV
λLambda Formalization
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/webdev
🦀Rust Macros
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Schema In, Data Out: A Smarter Way to Mock
hackernoon.com·2d
🐛Fuzzing
Lab note #072 A language with affordances for vibe coding
interjectedfuture.com·2d
🔗Concatenative Programming
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding