Dependent Types, Linear Types, Effect Systems, Hindley-Milner
Bengali alphabet might be the coolest I've ever seen
langs.bearblog.dev·11h
Best infosec-related long reads for the week of 8/9/25
metacurity.com·16h
Kodee’s Kotlin Roundup: 2.2.20-Beta2, Shipaton 2025, and a New Face on the Foundation Board
blog.jetbrains.com·3d
The Biggest Lie We Tell Ourselves
nextlevelchess.com·16h
r3bl-org/r3bl-open-core v0.7.4-tui
github.com·1d
Efficient Fuzzy Labeled PSI from Vector Ring-OLE
eprint.iacr.org·3d
Beyond Self-Regulated Learning Processes: Unveiling Hidden Tactics in Generative AI-Assisted Writing
arxiv.org·2d
⭐ David-Kunz gen.nvim
waylonwalker.com·13h
Loading...Loading more...