Let’s Make a Tic-Tac-Deal!
thefiddler.substack.com·20h·
Discuss: Substack
🎯Proof Tactics
LLMs and reinforcement learning
sicpers.info·22h
⚔️Lean Tactics
We May Have a Path to the Fundamental Theory of Physics (2020)
writings.stephenwolfram.com·1h·
Discuss: Hacker News
⏰Time Crystals
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com·22h·
Discuss: Substack
🔲Cellular Automata
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·1d·
Discuss: DEV
🗄️Database Internals
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·12h·
Discuss: DEV
🔍Concolic Testing
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
Can an LLM Be a Black-Box Optimizer?
posgeo.wordpress.com·36m·
Discuss: Hacker News
🧮Kolmogorov Bounds
AI as both authors and reviewers of research papers
openreview.net·1d·
Discuss: Hacker News
🔲Cellular Automata
The Porcelain to Come
stackdiver.com·9h·
Discuss: Hacker News
🔲Cellular Automata
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·1d
📋Document Grammar
Beyond the AI Hype: Guido van Rossum on Python's Philosophy, Simplicity, and Th
odbms.org·8h·
Discuss: Lobsters, Hacker News
📊APL Heritage
English - the hottest programming language of the future
dev.to·14h·
Discuss: DEV
🔄Language Evolution
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·1d
🧮Kolmogorov Complexity
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
Valid Stopping for LLM Generation via Empirical Dynamic Formal Lift
arxiv.org·2d
💻Programming languages
Intent Weaving for AI Coding Agents
autohand.ai·1d·
Discuss: Hacker News
⚡Proof Automation
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org·2d
⚛️Quantum Algorithms
Intro to RL: Off-Policy Methods
neelsomaniblog.com·2d·
Discuss: Hacker News
🔲Cellular Automata