Generics and Variance with Java
dev.to·12h·
Discuss: DEV
🗂️Type Indexing
Show HN: GitType – A typing game that turns GitHub repos into challenges
news.ycombinator.com·19h·
Discuss: Hacker News
💬Interactive REPLs
Simple Dependent Types in Python
sobolevn.me·2d·
Discuss: Hacker News
🌊Gradual Typing
Polymorphism for Beginners
roscidus.com·20h·
Discuss: Hacker News
🎭Polymorphic Variants
UK Postcode Binary Encoder
github.com·11h·
Discuss: Hacker News
📦Compact Data
Issue 490
haskellweekly.news·2d
⚡functional programming
The 3 Most Practical Features of C# 14 for Everyday Developers
learn.microsoft.com·1h·
Discuss: DEV
🌉Language Bindings
Implementing a generic Schwartzian transform in Rust for fun
medium.com·13h·
Discuss: r/rust
🦀Rust Macros
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·4h·
Discuss: Hacker News
⚡Algebraic Effects
Day 13 of 90 day python series....
dev.to·51m·
Discuss: DEV
💬Interactive REPLs
Looking for arguments to justify C (vs. Rust/etc.) for a new open-source Python extension + CUDA library
reddit.com·12h·
Discuss: r/C_Programming
🌉Language Bridges
My Minor AI Safety Research Projects (Q3 2025)
lesswrong.com·2d
🌱Minimal ML
Isabelle rule musings
blueberrywren.dev·2d
⚖️Inference Rules
Object Orientation [2013 !]
jackrusher.com·19h·
Discuss: Hacker News
💬Smalltalk VMs
From Junior to Pro: Mastering Code Design with S.O.L.I.D.
dev.to·5h·
Discuss: DEV
🔧API Design
haskell/mtl
github.com·3d
🚂Error Monads
Type safe GADT in Kotlin - who needs Haskell?
hacklewayne.com·2d
🔍Refinement Types
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·2d·
Discuss: Hacker News
😴Lazy Evaluation
HTML, the Programming Language
html-lang.org·1d·
Discuss: Hacker News
📝Rope Editors
Bincode Deserialization with Generic Type
reddit.com·13h·
Discuss: r/rust
🎭Polymorphic Variants