From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·1d·
Discuss: Hacker News
🌊Gradual Typing
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·8h·
Discuss: Hacker News
📡Protocol Stacks
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·10h
🎲Property Testing
Flag this post
🎲 On LLMs
kaukas.mataroa.blog·18h
🎮Language Ergonomics
Flag this post
The top 4 JVM languages and why developers love them
infoworld.com·2d
🔮Clojure
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·1d
📚Stack Allocation
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·5h
⚖️Inference Rules
Flag this post
My Wishlist for PHP in 2026
stitcher.io·1d·
Discuss: Hacker News
📚Forth Compilers
Flag this post
Everything About Transformers
krupadave.com·1d
🔄Subinterpreters
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·18h·
📏Linear Haskell
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·1d·
🔒Rust Borrowing
Flag this post
Language Models are Injective and Hence Invertible - GLADIA Research
arxiv.org·3d
🪜Recursive Descent
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·2d·
Discuss: Substack
🌈Gradual Languages
Flag this post
Nirvana: A Specialized Generalist Model With Task-Aware Memory Mechanism
arxiv.org·23h
🧠Memory Ordering
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1h·
Discuss: Hacker News
🌳B+ Trees
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·23h
🪜Recursive Descent
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·20h
🛡️Error Handling
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.com·17h
💬Smalltalk VMs
Flag this post
Context Engineering: The Foundation for Reliable AI Agents
thenewstack.io·7h
🏛️Elm Architecture
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
dev.to·1d·
Discuss: DEV
🎯Pattern Matching
Flag this post