Scala vs F#
alexn.orgยท1d
๐งNickel
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท2d
๐Go Generics
Flag this post
Weak-To-Strong Generalization
lesswrong.comยท9h
๐ML Language
Flag this post
GHC 9.14.1-rc1 is now available
๐Linear Haskell
Flag this post
My first fifteen compilers (2019)
๐ฌNanopasses
Flag this post
Protest: An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
๐Rust Borrowing
Flag this post
Adaptive continuity-preserving simplification of street networks
sciencedirect.comยท16h
๐ฌSmalltalk VMs
Flag this post
Reflection for Aggregates (2020)
๐๏ธType Indexing
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท2d
๐Category Theory
Flag this post
Handbook of Satisfiability (2021)
๐งฉSAT Solvers
Flag this post
Two Weeks In One
ttrpg.inยท3h
๐ indieweb
Flag this post
The Hidden DNA of LLM-Generated JavaScript: Structural Patterns EnableHigh-Accuracy Authorship Attribution
๐ฎLanguage Ergonomics
Flag this post
Roadmap for Improving the Type Checker
โ
Type Checking
Flag this post
Issue 496
haskellweekly.newsยท3d
๐Dependent Haskell
Flag this post
KCL part 1: units
ncameron.orgยท2d
๐ฑTiny Languages
Flag this post
Loading...Loading more...