Understanding Tool-Integrated Reasoning
arxiv.org·1h
🔗Constraint Handling
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·10h·
Discuss: Hacker News
🧮Algebraic Datatypes
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
k-NN Classification and Model Evaluation
dev.to·21h·
Discuss: DEV
🧠Machine Learning
Representative Line: Not What They Meant By Watching "AndOr"
thedailywtf.com·22h
🔗Concatenative Programming
Thoughts on systems thinking and production excellence from Release It
stevenoxley.com·14h·
Discuss: Hacker News
🛡️Error Boundaries
Claude Code's 19 cent Parser
blogger.com·1d
🔧Binary Parsers
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
ConfTuner: Training Large Language Models to Express Their Confidence Verbally
arxiv.org·1h
🧠Intelligence Compression
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·1d
🧠Machine Learning
Typeclassopedia
wiki.haskell.org·2d·
Discuss: Hacker News
🧬Functional Programming
Positional Embeddings in Transformers: A Math Guide to RoPE & ALiBi
towardsdatascience.com·15h
📐Geometric Hashing
Chatting with Unmesh about building language with LLMs
martinfowler.com·15h
💻Programming languages
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·16h
🎯Gradual Typing
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·13h
⬆️Lambda Lifting
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·14h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Stable, Mutable References for Ante
antelang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety