Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.org·3h
✨Effect Handlers
Cactus Language • Stylistics 4
inquiryintoinquiry.com·15h
🌳Context free grammars
A distributed systems reliability glossary
antithesis.com·16h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·13h
🎯Gradual Typing
Historical highlights?
logicmatters.net·19h
🔀Category Theory
Alignment
languagelog.ldc.upenn.edu·11h
🔄Language Evolution
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·15h·
Discuss: Hacker News, r/programming
🔒Type Safety
Hierarchical Modeling (H-Nets)
cartesia.ai·11h·
Discuss: Hacker News
🌀Hyperbolic Geometry
On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
arxiv.org·1d
🔲Cellular Automata
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
A Minimal DDPM
github.com·5h·
Discuss: Hacker News
🧠Machine Learning
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·3h
🌳Context free grammars
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·13h
🧮Kolmogorov Bounds
Machine Learning Fundamentals: decision trees with python
dev.to·13h·
Discuss: DEV
🔗Topological Sorting
Differential geometry of ML: a geometric interpretation of gradient descent
research.fal.ai·10h·
Discuss: Hacker News
🌀Differential Geometry
The Symbol Grounding Problem (1990)
arxiv.org·3d·
Discuss: Hacker News
🧬Functional Programming
The great misunderstanding of the DRY principle
pmatteo.com·1d·
Discuss: Hacker News
💧Liquid Types