ChatGPT is a Useful but Demanding Mathematical Collaborator
gilkalai.wordpress.com·6h
🎯Dependent Parsing
Monday Morning Haskell: Starting out with Graph Algorithms: Basic DFS
mmhaskell.com·4d
🔗Combinatory Logic
Effective Code Reviews with Conventional Comments • Paul Slaughter & Adrienne Braganza
youtube.com·9h
📏Code Metrics
Introduction to Ada: a project-based exploration with rosettas
blog.adacore.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🏛️Agda
Radicle 1.4.0
radicle.xyz·15h·
Discuss: Lobsters, Hacker News
❄️Nix Flakes
A friendly starter paper - Entropy-Guided Loop: Achieving Reasoning through Uncertainty-Aware Generation [R]
reddit.com·2d·
Discuss: r/MachineLearning
🔗Constraint Handling
The Next Generation of Compound on GroqCloud
groq.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Are We Vibecoding Our Way to Disaster?
arthropod.software·1d·
Discuss: Substack
🧠Intelligence Compression
RoguelikeDev Does the Complete Roguelike Tutorial 2025 in Odin
github.com·1d·
Discuss: Hacker News
🦀Rust Macros
Multilinear and Linear Programs for Partially Identifiable Queries in Quasi-Markovian Structural Causal Models
arxiv.org·18h
🧮Kolmogorov Bounds
AI Idea #1757093985
dev.to·4h·
Discuss: DEV
🎛️Feed Filtering
Chaos Is the Operating System
paid.ai·12h·
Discuss: Hacker News
🖥️Terminal Renaissance
Loong: Synthesize Long Chain-of-Thoughts at Scale through Verifiers
arxiv.org·1d
👑Coq Tactics
AI Snacks: Small Ways to Sprinkle AI into Everyday Tools
amirmalik.net·19h·
Discuss: Hacker News
🎙️Whisper
The Three Sacred Guardrails of AI
aboard.com·1d·
Discuss: Hacker News
⚡Proof Automation
AI Artists vs. AI Engineers
frontierai.substack.com·1d·
Discuss: Substack
⚡Proof Automation
Protobuffers Are Wrong
reasonablypolymorphic.com·6h·
Discuss: Hacker News, r/programming
📋Protocol Buffers
Unlocking Hidden Order: Differentiable Entropy as a Code Optimizer
dev.to·8h·
Discuss: DEV
🧠Machine Learning
The Gold Medals in an Empty Room: Diagnosing Metalinguistic Reasoning in LLMs with Camlang
arxiv.org·2d
🔤Type Theory
Solving Polynomial Systems with Gr\"obner Bases: An Introduction to F4 and FGLM
arxiv.org·1d
🧮SMT Solvers