Airway Beacons
thesurveystation.com·1d·
Discuss: Hacker News
🗄️databases
Flag this post
Bidenomics: Transitory Inflation, Remarkably Successful on Employment and Growth
braddelong.substack.com·2d·
Discuss: Substack
formal methods
Flag this post
Generation of antigen-specific paired-chain antibodies using LLMs
sciencedirect.com·2d·
Discuss: Hacker News
🐫ocaml
Flag this post
Weighted Quantile Weirdness and Bugs
practicalsignificance.com·2d·
Discuss: Hacker News
query optimization
Flag this post
Whole World Holonomy
galileo-unbound.blog·2d·
Discuss: Hacker News
formal methods
Flag this post
BlocksDS Nintendo DS(I) devkit now supports WPA2 networks in homebrew software
blocksds.skylyrac.net·2d·
Discuss: Hacker News
🌐network programming
Flag this post
Show HN: TabPFN-2.5 – SOTA foundation model for tabular data
priorlabs.ai·2d·
Discuss: Hacker News
🗄️databases
Flag this post
Building our geospatial database in production
radar.com·3d·
Discuss: Hacker News
query optimization
Flag this post
Tiny GenBI: Lightweight Agent for business analysis
github.com·3d·
Discuss: Hacker News
🗄️databases
Flag this post
Cursor 2.0 proves agents are here to stay
augmentedswe.com·1d·
Discuss: Hacker News
🌐network programming
Flag this post
The Death of Traditional QA (Or: "AI Everywhere " Reaches SQA)
functionize.com·4d·
Discuss: Hacker News
formal methods
Flag this post
From vibe coding to context engineering: 2025 in software development
technologyreview.com·3d·
Discuss: Hacker News
formal methods
Flag this post
What nobody tells you about product intuition
akkshaya.blog·1d·
Discuss: Hacker News
formal methods
Flag this post
AWS DynamoDB Outage Analysis
entropicthoughts.com·5d·
🌐network programming
Flag this post
We Tested 6 AI Models on 3 Common Security Exploits
blog.kilocode.ai·3d·
formal methods
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·2d·
Discuss: Hacker News
formal methods
Flag this post
Enabling Trillion-Parameter Models on AWS EFA
research.perplexity.ai·4d·
Discuss: Hacker News
formal methods
Flag this post
Show HN: Yansu, Serious Coding
twitter.com·3d·
Discuss: Hacker News
🌐network programming
Flag this post
C++ implementation of SIP, ICE, TURN and related protocols
github.com·3d·
Discuss: Hacker News
🔄compilers
Flag this post
The Unexpected Effect of AI Coding Tools
dangurney.net·1d·
Discuss: Hacker News
🌐network programming
Flag this post