Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·22h·
Discuss: DEV
🦀Rust Borrowing
Ts-Wordle: An implementation of Wordle written in TypeScript types
github.com·23h·
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·12h
📝Concrete Syntax
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·10h·
Discuss: Hacker News
🧩WASM Modules
The Guide to the Foundation Models Framework
azamsharp.com·4h·
Discuss: Hacker News
λLambda Formalization
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros
Mike Driscoll: An Intro to ty – The Extremely Fast Python type checker
blog.pythonlibrary.org·5h
🦀Rust Verification
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·11h·
Discuss: DEV
λLambda Formalization
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·7h·
Discuss: Hacker News, r/programming
🔗Lisp
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·1d·
Discuss: 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
Lab note #072 A language with affordances for vibe coding
interjectedfuture.com·2d
🔗Concatenative Programming
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·2h
💻Local LLMs
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·6h·
Discuss: Hacker News
🔗Constraint Handling
Threaded Code
muforth.dev·7h·
Discuss: Hacker News
🦀Rust Macros