Mike Driscoll: An Intro to ty – The Extremely Fast Python type checker
blog.pythonlibrary.org·6h
🎯Gradual Typing
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·12h
⬆️Lambda Lifting
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·12h·
Discuss: DEV
λLambda Formalization
If Your Kernel Development is a Little Rusty
hackaday.com·4d
🦀Embedded Rust
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·1d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros
Rust: A language that grows with you, your career and your projects
kerkour.com·13h·
Discuss: Hacker News
🦀Rust Macros
🦀 Understanding Lifetimes, Traits, Enums, and Pattern Matching in Rust
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Why does the Rust compiler use TokenTree instead of flat token streams?
reddit.com·1d·
Discuss: r/rust
🔒Linear Types
Field Sensitive Escape Analysis in Golang?
reddit.com·14h·
Discuss: r/golang
🧠Lisp Dialects
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
How to Structure a Rust Project Idiomatically
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Memory Safety in Web Rust System Zero Cost Secure（1750671065382000）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·18h·
Discuss: Hacker News
🦀Rust Macros
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·18h·
Discuss: DEV
🌊Stream Processing
Threaded Code
muforth.dev·8h·
Discuss: Hacker News
🦀Rust Macros
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·13h
📝Concrete Syntax
Memory Safety in Web Rust System Zero Cost Secure（1750644757028200）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
How Traits Enable Dependency Injection in Rust
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
Deciding Termination of Simple Randomized Loops
arxiv.org·1d
🌳Persistent Data Structures