The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
rewire.it·1d·
Discuss: Hacker News
formal methods
Flag this post
Lowering in Reverse
buttondown.com·3d·
Discuss: Hacker News
formal methods
Flag this post
AI Function Calling: Composing and Decomposing Functions for Complex Tasks
lightcapai.medium.com·2d·
Discuss: Hacker News
formal methods
Flag this post
Building Real-Time ML Feature Pipelines with Streaming SQL
timeplus.com·1d·
Discuss: Hacker News
🗄️databases
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
daft.ai·2d·
Discuss: Hacker News
⚙️systems programming
Flag this post
AI Agent Guides from Google, Anthropic, Microsoft, etc. Released This Week
sarthakai.substack.com·6h·
Discuss: Substack
⚙️systems programming
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·11h·
Discuss: Hacker News
formal methods
Flag this post
I analyzed the lineups at the most popular nightclubs
dev.karltryggvason.com·14h·
Discuss: Hacker News
🗄️databases
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
parallel.ai·2d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Show HN: TabPFN-2.5 – SOTA foundation model for tabular data
priorlabs.ai·9h·
Discuss: Hacker News
🗄️databases
Flag this post
I Processed the Internet on a Single Machine to Find Valuable Expired Domains
blog.mbrt.dev·2d·
Discuss: Hacker News
🗄️databases
Flag this post
MariaDB vs. PostgreSQL: Understanding the Architectural Differences That Matter
mariadb.org·1d·
Discuss: Hacker News
🗄️databases
Flag this post
Generalizing Test-Time Compute-Optimal Scaling as an Optimizable Graph
huggingface.co·1d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Using CRDTs and Sync as a Database
jackson.dev·48m·
Discuss: Hacker News
🗄️databases
Flag this post
Build Efficient MCP Servers: Three Design Principles
damiangalarza.com·12h·
Discuss: Hacker News
⚙️systems programming
Flag this post
Show HN: A pragmatic SQLite schema for application-level caching
gist.github.com·3d·
Discuss: Hacker News
🗄️databases
Flag this post
Which Chip Is Best?
blog.confident.security·9h·
Discuss: Hacker News
⚙️systems programming
Flag this post
Training: Postgres Performance and Maintenance
postgresconf.org·3d·
Discuss: Hacker News
🗄️databases
Flag this post
Context Engineering 2.0: The Context of Context Engineering
arxiviq.substack.com·5h·
Discuss: Substack
⚙️systems programming
Flag this post
Mathematical exploration and discovery at scale
terrytao.wordpress.com·1d·
Discuss: Hacker News
formal methods
Flag this post