Experimentation
theprogrammersparadox.blogspot.com·3d·
Discuss: theprogrammersparadox.blogspot.com
📊Static Analysis
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·3d
🔲Cellular Automata
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·2d·
Discuss: Hacker News, Hacker News
📐Linear Algebra
Mutable atomic deletes with Parquet backed columnar tables on S3
shayon.dev·4h·
Discuss: Hacker News
🗃️Database Storage
Quantum computing is "mission crtical"
federalnewsnetwork.com·2d·
Discuss: Hacker News
⚛️Quantum Tape
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·3d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
A new breed of analyzers
daniel.haxx.se·2d·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
VLLM Predicted Outputs
cascadetech.ai·2d·
Discuss: Hacker News
💻Local LLMs
Negatives of Coding with AI
kushgoyal.com·3d·
Discuss: Hacker News
💻Local LLMs
A Proof of the Riemann Hypothesis
dev.to·3d·
Discuss: DEV
⚔️Lean Theorem
Face Detection in Python Using OpenCV HAAR CASCADE Method
dev.to·10h·
Discuss: DEV
🔄Lens Laws
You don't need an AI agent framework, or why frameworks are the new Juicero
konvu.com·5d·
Discuss: Hacker News
🔬Refinement Types
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·5d
🎯Proof Tactics
Nicholas Renotte: I Spent 6 Weeks using Reinforcement Learning to Beat This GoDot Game
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Bayesian Decision Making around Experts
arxiv.org·2d
🧮Kolmogorov Bounds
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·2d
🔗Parser Combinators
Adaptive Kernel Regression with Spatio-Temporal Context for Real-Time Object Tracking in Aerial Imagery
dev.to·1d·
Discuss: DEV
🌀Differential Geometry
80 Days, 80 Python Challenges: The Project That Will Turn Me Into a Better Coder! 🐍 (My First Post)
dev.to·9h·
Discuss: DEV
📊APL Heritage
Tech With Tim: How to Build AI Agents in Python
dev.to·9h·
Discuss: DEV
🧠Intelligence Compression
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·5h·
Discuss: DEV
🌀Brotli Internals