Baby's first type checker
austinhenley.com·6h·
Discuss: Lobsters, Hacker News
🐍Python
TypeScript Expert Revision Handbook
dev.to·5h·
Discuss: DEV
🔷C#
Tradeoffs of Highly-Expressive Types
jnkr.tech·1d·
Discuss: Hacker News
🔷C#
GHC 9.14.1-Alpha1
blog.haskell.org·2d·
Discuss: Hacker News
🐍Python
Embedding MicroHs
thma.github.io·2d
🐍Python
Quirks of Common Lisp Types
fosskers.ca·1d·
Discuss: Lobsters, Hacker News
🐍Python
How to Avoid Fighting Rust Borrow Checker
qouteall.fun·23h·
Discuss: Hacker News
🐍Python
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·3h·
Discuss: Hacker News
🐍Python
Dependent? Extensible? The curious case of union type in Kotlin
hacklewayne.com·5h
🔷C#
A type system for RCL (2024)
ruudvanasseldonk.com·1d·
Discuss: Lobsters, Hacker News
🔷C#
Well-Typed.Com: Welcoming a new Haskell Ecosystem Supporter: Standard Chartered
well-typed.com·3d
🔷C#
Structured bindings in C++17, 8 years later – C++ Stories
cppstories.com·7h·
Discuss: Hacker News
🔷C#
Typeclassopedia
wiki.haskell.org·6d·
Discuss: Hacker News
🐍Python
Bootstrapping a Forth for Art
tia.mat.br·1d·
Discuss: Lobsters, Hacker News
🔷C#
Mindful Selection of TypeScript Typing Patterns: Reducing Technical Debt for Faster Development
dev.to·16h·
Discuss: DEV
🔷C#
Incremental query updating in adhesive categories
topos.institute·10h
🔷C#
Guessing Game: Haskell Style
entropicthoughts.com·6d·
Discuss: Lobsters, Hacker News
🐍Python
🎲 Multi-OS Privilege Dropping in Go
log.0x21.biz·2h
🔷C#
Stop Guessing and Start GOing: Cleaner Golang Decompilation in IDA 9.2
hex-rays.com·3d
🔷C#
Asio-gRPC: Asynchronous gRPC with Asio/unified executors
github.com·1d·
Discuss: Hacker News
🔷C#