Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·23h·
Discuss: Hacker News
🔍Type Inference
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·6h
🎯Gradual Typing
Cactus Language • Stylistics 4
inquiryintoinquiry.com·8h
🌳Context free grammars
Historical highlights?
logicmatters.net·12h
🔀Category Theory
🔐 Introducing EMCL – A Secure Protocol for AI Agents to Call Tools
dev.to·8h·
Discuss: DEV
🌐NetworkProtocols
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
🏗️Constructive Mathematics
Binary Search in a 2D Matrix
mmhaskell.com·1d
📐Error Bounds
Row Polymorphic Programming
stranger.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Song recommendations with pipes and filters
blog.ploeh.dk·1d
⚡Effectful Programming
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·2h·
Discuss: Hacker News
🎯Interactive Provers
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·1d
🧠Learned Indexing
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·20h
✨Effect Handlers
Hazel: A live functional programming environment with typed holes
github.com·4h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Extensions and Shadows (6)
sites.psu.edu·1d
🎯Proof Tactics
Differential geometry of ML: a geometric interpretation of gradient descent
research.fal.ai·3h·
Discuss: Hacker News
🌀Differential Geometry
FSM Library for Embedded C Projects
hackster.io·1d
🦀Embedded Rust
Book Notes: The Dark Art of Linear Algebra by Seth Braver — Chapter 1 Review
ruslanspivak.com·9h
📐Mathematical Art
A Rust Shaped Hole
mnvr.in·12h·
Discuss: Hacker News
🦀Rust Macros