Issue 496
haskellweekly.newsยท2d
๐Linear Haskell
Flag this post
GHC 9.14.1-rc1 is now available
๐Linear Haskell
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท2d
๐Go Generics
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท1d
๐Category Theory
Flag this post
Scala vs F#
alexn.orgยท15h
๐งNickel
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
๐Rust Borrowing
Flag this post
Speedrunning an RL Environment
โจGleam
Flag this post
Dependency Management in Database Design (aka handling import cycles in large Go projects)
๐ฆDependency Analysis
Flag this post
Reflection for Aggregates (2020)
๐๏ธType Indexing
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท1d
๐Stack Allocation
Flag this post
My first fifteen compilers (2019)
๐ฌNanopasses
Flag this post
Variance-reduced estimation of Third-order statistics using control variates with splitting
sciencedirect.comยท1h
โกPartial Evaluation
Flag this post
A Tale of LLMs and Induced Small Proxies: Scalable Agents for Knowledge Mining
๐ฑMinimal ML
Flag this post
Roadmap for Improving the Type Checker
โ
Type Checking
Flag this post
Privacy is Value.v2. the Swordsman, the Mage, the Drake, and capturing the 7th Capital
sync.soulbis.comยท1d
โกFusion Laws
Flag this post
Protest: An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
๐Rust Borrowing
Flag this post
Loading...Loading more...