How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·8h·
Discuss: DEV
🎯Gradual Typing
Issue 490
haskellweekly.news·6h
🔗Functional Compilers
Controlling program flow with capabilities in Scala
nrinaudo.github.io·8h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
haskell/mtl
github.com·16h
🔗Functional Compilers
Show HN: Chibi Izumi, staged dependency injection for Python
github.com·20h·
Discuss: Hacker News
🧩WASM Components
What I learned building a programming language with LLM agents
eddmann.com·1h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
Swift 6.2 advances the language meaningfully
victorwynne.com·1d·
Discuss: Hacker News, r/programming
🔗Functional Compilers
Filter the tools from MCP servers
blog.pamelafox.org·51m·
Discuss: www.blogger.com
⚡Proof Automation
Managing dependency graph in a large codebase
tweag.io·18h
📊Dependency Graphs
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·5h·
Discuss: Hacker News
🔗Functional Compilers
Efficient evaluation of expressions specified in the GO runtime
reddit.com·11h·
Discuss: r/golang
🔗Functional Compilers
Advent of Code: Libraries
elly.town·1d
🔒Type Safety
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·2d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Reimagining MCP via gRPC
medium.com·4h·
Discuss: Hacker News, r/golang
⚡gRPC
Cactus Language • Mechanics 1
inquiryintoinquiry.com·9m
📝Concrete Syntax
GWSC Three Factor Authentication RFC (Draft-GWC-27001-3A)
gwsc-3fa.org·1h·
Discuss: Hacker News
🔐Capability Systems
Python 3.14.0rc3 is go!
blogger.com·6h
🌳Incremental Parsing
Reworking Memory Management in CRuby
railsatscale.com·1d·
Discuss: Hacker News
🧠Memory Allocators
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·3d
🏛️Agda