"It could easily be shown..." Probability and Pi and the Riemann Zeta Function
pballew.blogspot.com·2h·
Discuss: www.blogger.com
⚔️Lean Theorem
Codeminer42 Dev Weekly #70
blog.codeminer42.com·2d
🔄Reproducible Builds
I was tired of struggling to find a good apartment in NYC, so I built a free tool that finds the most undervalued apartments to buy/rent in NYC, helping me buy ...
realerestate.org·18h·
Discuss: Hacker News, r/InternetIsBeautiful
⭐Awesome lists
A Look Back at WeChat's PhxSQL and the 'Fastest Majority'
supasaf.com·1d·
Discuss: Hacker News
🤝Distributed Consensus
Not Even Bronze? Evaluating LLMs on 2025 International Math Olympiad
matharena.ai·3d·
Discuss: Hacker News, Hacker News, Hacker News
🧮SMT Solvers
Dear Content Writer: Google Isn’t the Gatekeeper Anymore
hackernoon.com·1d
📊Feed Optimization
Optimising DeepSeek-R1-Distill-Qwen-7B for use in production
fin.ai·2d·
Discuss: Hacker News
📊Quantization
The great AI delusion is falling apart
telegraph.co.uk·14h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Principles and Reasons Behind Automated Vehicle Decisions in Ethically Ambiguous Everyday Scenarios
arxiv.org·4h
✨Effect Handlers
Enhancing Spatial Reasoning in Vision-Language Models via Chain-of-Thought Prompting and Reinforcement Learning
arxiv.org·4h
🔲Cellular Automata
Smart fault detection in satellite electrical power system
arxiv.org·4h
🧠Machine Learning
🔎 Step-by-Step Guide to Building a Deep Search AI with DuckDuckGo & OpenRouter 🤖
dev.to·17h·
Discuss: DEV
🔍BitFunnel
Manus AI agent context engineering – practical implementation guide
aicodingtools.blog·2d·
Discuss: Hacker News
⚡Incremental Computation
The Expressions of Depression and Anxiety in Chinese Psycho-counseling: Usage of First-person Singular Pronoun and Negative Emotional Words
arxiv.org·4h
🇨🇳Chinese Computing
Context Engineering for AI Agents: Key Lessons from Manus
dev.to·1d·
Discuss: DEV
🏗️Compiler Archaeology
Uncertainty Quantification Framework for Aerial and UAV Photogrammetry through Error Propagation
arxiv.org·4h
📐Projective Geometry
Quantum Shadows: The Dining Information Brokers
arxiv.org·4h
⚛️Quantum Information
A Deep Dive into Clustering for Customer Segmentation
dev.to·5d·
Discuss: DEV
🌊Spectral Clustering
The Proportional Fair Scheduler in Wavelength-Multiplexed Quantum Networks
arxiv.org·4h
⚛️Quantum Channels
Mapping Emotions in the Brain: A Bi-Hemispheric Neural Model with Explainable Deep Learning
arxiv.org·3d
🧠Neural Codecs