Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·9h
📞Session Types
daily quizzz
dev.to·5h·
Discuss: DEV
λLambda Encodings
SUTRA: Decoupling Concept & Language for Multilingual LLM Excellence
hackernoon.com·2h
💻Local LLMs
Threaded Code
muforth.dev·7h·
Discuss: Hacker News
🦀Rust Macros
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·22h·
Discuss: DEV
🔗Concatenative Programming
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·6h·
Discuss: Hacker News
🔗Constraint Handling
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·11h·
Discuss: DEV
λLambda Formalization
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·9h·
Discuss: Hacker News
🌀Brotli Internals
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·10h·
Discuss: Hacker News
🧩WASM Modules
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·22h·
Discuss: Hacker News
🕸️WebP Analysis
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
Self-referential structs that can actually move in Rust
reddit.com·2d·
Discuss: r/rust
🦀Rust Borrowing
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·14h
🧠Intelligence Compression
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·1h
🔒Linear Types
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·4h·
Discuss: Hacker News
📋DFDL
Program Synthesis is Interesting and Open
stephendiehl.com·3d·
Discuss: Hacker News
💻Programming languages
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·10h·
Discuss: DEV
⚡Performance Tools
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs