The Structure of Data
theprogrammersparadox.blogspot.com·10h·
Discuss: theprogrammersparadox.blogspot.com
🗂Data structures
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·1d
💻Local LLMs
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·1d·
Discuss: Lobsters, Hacker News
💧Liquid Types
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·22h·
Discuss: Hacker News
λLambda Formalization
Flag this post
[R] We found LRMs look great…until the problems get harder (AACL 2025)
reddit.com·1d·
Discuss: r/MachineLearning
🧮Theorem Proving
Flag this post
How the most feared algorithm in algebra is simple
news.ycombinator.com·2d·
Discuss: Hacker News
🧮Algebraic Datatypes
Flag this post
Quantum computers reveal that the wave function is a real thing
newscientist.com·13h
⚛️Quantum Tape
Flag this post
The LLM-First Manifesto: From Prose to Programs
dev.to·10h·
Discuss: DEV
⚙️TLA+
Flag this post
Plan for Learning, Not Certainty
timcheadle.com·15h·
Discuss: Hacker News
💾Persistence Strategies
Flag this post
Duality-Based Fixed Point Iteration Algorithm for Beamforming Design in ISAC Systems
arxiv.org·1d
🎯Performance Proofs
Flag this post
Three Realisms and The Idea of Sheaves
youtube.com·1d
🧮Theoretical Computer Science
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.com·11h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🦀Rust Macros
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.com·14h·
Discuss: Hacker News
👁️Observatory Systems
Flag this post
Nonmonotonic Logic
cambridge.org·4d·
Discuss: Hacker News
🔬Logic in Computer Science
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·1d
🧠Machine Learning
Flag this post
Horn Clauses
youtube.com·13h
👑Isabelle/HOL
Flag this post
A Multi-agent Large Language Model Framework to Automatically Assess Performance of a Clinical AI Triage Tool
arxiv.org·1d
🧮Kolmogorov Complexity
Flag this post
Leadership Co-Processing with LLMs
theengineeringmanager.com·1d·
Discuss: Hacker News
🔗Constraint Handling
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·15h·
Discuss: Hacker News
🔗Monadic Parsing
Flag this post