Mathematical exploration and discovery at scale
terrytao.wordpress.com·1d·
Discuss: Hacker News
✅formal methods
Flag this post
Context Engineering with Real-Time, Processed Data
confluent.io·2d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Reasoning with Sampling: Your Base Model Is Smarter Than You Think
aakaran.github.io·13h·
Discuss: Hacker News
✅formal methods
Flag this post
AI Summarization Optimization
schneier.com·3d·
Discuss: Hacker News
🔄compilers
Flag this post
Using Coding Agents to Decompile Nintendo 64 Games
blog.chrislewis.au·1d·
Discuss: Hacker News
🔄compilers
Flag this post
Most hated budget site in 2026
test-ruby-eta-12.vercel.app·3h·
Discuss: Hacker News
🗄️databases
Flag this post
Software design is refinement, not abstraction (2022)
sicpers.info·8h·
Discuss: Hacker News
✅formal methods
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.com·4d·
Discuss: Hacker News
🗄️databases
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·2d·
Discuss: Hacker News
✅formal methods
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·3d·
Discuss: Substack
✅formal methods
Flag this post
Show HN: Mongoose Studio: A Schema-Aware MongoDB GUI with AI Dashboards for Node
thecodebarbarian.com·12h·
Discuss: Hacker News
🗄️databases
Flag this post
Array Programming the Mandelbrot Set
jcmorrow.com·2h·
Discuss: Hacker News
🐫ocaml
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
medium.com·2d·
Discuss: Hacker News
🗄️databases
Flag this post
Toward fast, containerized, user-space filesystems
lwn.net·11h·
Discuss: Hacker News
⚙️systems programming
Flag this post
AI's capabilities may be exaggerated by flawed tests, according to new study
nbcnews.com·15h·
Discuss: Hacker News
🗄️databases
Flag this post
Nubank announces a new hybrid model for 2026
international.nubank.com.br·8h·
Discuss: Hacker News
⚙️systems programming
Flag this post
Enabling Trillion-Parameter Models on AWS EFA
research.perplexity.ai·2d·
Discuss: Hacker News
✅formal methods
Flag this post
You Shouldn't Use ORMs
diploi.com·2d·
Discuss: Hacker News
🗄️databases
Flag this post
Mapping 2M votes in the NYC mayoral elction
kieranhealy.org·6h·
Discuss: Hacker News
🗄️databases
Flag this post
Improving Structured Outputs in the Gemini API
blog.google·1d·
Discuss: Hacker News
✅formal methods
Flag this post