Beyond the Hyped IMO Benchmarks: Towards a True Mathematical AI Discovery
quantumformalism.substack.com·5d·
Discuss: Substack
🧮SMT Solvers
Flag this post
Matrix Multiplication in CUDA
kharshit.github.io·2d·
Discuss: Hacker News
SIMD Vectorization
Flag this post
Technical experts have zero customers
ivan.codes·6h·
Discuss: Hacker News
🚀Indie Hacking
Flag this post
CMU Students Put AI Coding Tools to the Test
cs.cmu.edu·5h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
Neuro-Symbolic AI
en.wikipedia.org·4d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·3d·
Discuss: Hacker News
🎧Learned Audio
Flag this post
Why the push for Agentic when models can barely follow a simple instruction?
forum.cursor.com·16h·
Discuss: Hacker News
Proof Automation
Flag this post
A Hybrid I/O Relation Estimation Scheme for Zak-OTFS Receivers
arxiv.org·1d
💎Information Crystallography
Flag this post
Ladder-Topology Multi-Level Inverter Optimization via Hybrid Metaheuristic with Adaptive Harmonic Constraint
dev.to·1d·
Discuss: DEV
Incremental Computation
Flag this post
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·4d·
Discuss: r/programming
🧠Lisp Dialects
Flag this post
Text2Stories: Evaluating the Alignment Between Stakeholder Interviews and Generated User Stories
arxiv.org·1d
⚙️Compression Benchmarking
Flag this post
A Novel Framework for Augmenting Rating Scale Tests with LLM-Scored Text Data
arxiv.org·1d
🧠Intelligence Compression
Flag this post
Human Texts Are Outliers: Detecting LLM-generated Texts via Out-of-distribution Detection
arxiv.org·1d
📜Binary Philology
Flag this post
Observation Matrix Design for Densifying MIMO Channel Estimation via 2D Ice Filling
arxiv.org·1d
Sphere Packing
Flag this post
How to build reliable AI workflows with agentic primitives and context engineering
github.blog·1d
💾Persistence Strategies
Flag this post
Top +12 Prompt-to-App Builders in 2025
dev.to·10h·
Discuss: DEV
🌀Brotli Internals
Flag this post
Probabilistic bias adjustment of seasonal predictions of Arctic Sea Ice Concentration
arxiv.org·20h
🧮Kolmogorov Bounds
Flag this post
Tech With Tim: How to Build AI Agents in Python
dev.to·19h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Krish Naik: Advanced Agentic RAG And Its Types New Series-Generative AI
dev.to·19h·
Discuss: DEV
🧠Neural Codecs
Flag this post