De Bruijn Numerals
Ī»Lambda Calculus
Flag this post
From Lossy to Lossless Reasoning
šŖRecursive Descent
Flag this post
I Will Not Be Enabling Full Null Support In Adobe ColdFusion 2025
bennadel.comĀ·4h
šLanguage Bindings
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Ā·16h
šCategory Theory
Flag this post
Roadmap for Improving the Type Checker
ā
Type Checking
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
āØGleam
Flag this post
Java Generics and Collections ā¢ Maurice Naftalin & Stuart Marks ā¢ GOTO 2025
youtube.comĀ·1d
šGo Generics
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comĀ·20h
šStack Allocation
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comĀ·1d
āļøInference Rules
Flag this post
The extra time is worth it: Use Claude (or other AI or a mix of both) to create a comprehensive instruction set for what you are trying to accomplish instead of...
š¬Interactive REPLs
Flag this post
Opportunistic Mutation in Roc
šError Propagation
Flag this post
Scalable Static Analysis Framework ā hardening large C++ codebases (LLVM/Apple)
šŖProgram Slicing
Flag this post
Down with template (or not)!
cedardb.comĀ·20h
šTemplate Compilers
Flag this post
Issue 496
haskellweekly.newsĀ·1d
šDependent Haskell
Flag this post
I Use Python, but Iām Learning R and the Tidyverse for Data Analysis Too
howtogeek.comĀ·6h
š±Minimal Schemes
Flag this post
Loading...Loading more...