Generics and Variance with Java
dev.to·17h·
Discuss: DEV
🗂️Type Indexing
Show HN: GitType – A typing game that turns GitHub repos into challenges
news.ycombinator.com·1d·
Discuss: Hacker News
💬Interactive REPLs
Simple Dependent Types in Python
sobolevn.me·2d·
Discuss: Hacker News
🌊Gradual Typing
Polymorphism for Beginners
roscidus.com·1d·
Discuss: Hacker News
🎭Polymorphic Variants
UK Postcode Binary Encoder
github.com·16h·
Discuss: Hacker News
📦Compact Data
Issue 490
haskellweekly.news·3d
⚡functional programming
The 3 Most Practical Features of C# 14 for Everyday Developers
learn.microsoft.com·6h·
Discuss: DEV
🌉Language Bindings
Implementing a generic Schwartzian transform in Rust for fun
medium.com·18h·
Discuss: r/rust
🦀Rust Macros
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·9h·
Discuss: Hacker News
⚡Algebraic Effects
Say what you mean
dev.to·4h·
Discuss: DEV
🔧Nickel
Looking for arguments to justify C (vs. Rust/etc.) for a new open-source Python extension + CUDA library
reddit.com·17h·
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
Day 13 of 90 day python series....
github.com·5h·
Discuss: DEV
💬Interactive REPLs
Object Orientation [2013 !]
jackrusher.com·1d·
Discuss: Hacker News
💬Smalltalk VMs
🎹 I coded up I Can't Go For That by Hall & Oates in Javascript 🎵🎵🎵🎵🎵
stacker.news·31m
🐍lisp
Type safe GADT in Kotlin - who needs Haskell?
hacklewayne.com·2d
🔍Refinement Types
I Use LLMs to Write the Majority of My Code
boredhacking.com·1h·
Discuss: Hacker News
🎮Language Ergonomics
From Junior to Pro: Mastering Code Design with S.O.L.I.D.
dev.to·10h·
Discuss: DEV
🔧API Design
haskell/mtl
github.com·3d
🚂Error Monads