Issue 496
haskellweekly.newsยท1d
๐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ยท1d
๐Go Generics
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท1d
๐Category Theory
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
๐Rust Borrowing
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
Roadmap for Improving the Type Checker
โ
Type Checking
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
๐งAPI Design
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
๐ฐCapability Machines
Flag this post
Smart Test Skipping: Building a Lightweight Playwright Dependency Analyzer
๐ก๏ธError Handling
Flag this post
I Will Not Be Enabling Full Null Support In Adobe ColdFusion 2025
bennadel.comยท13h
๐Language Bindings
Flag this post
Loading...Loading more...