Hacker News AI48GenDB-V: AI-generated, formally verified database engines2026/11/08 04:54· 2小时前论文论文研究查看原文（Hacker News AI）分享海报（1080px）导出 Markdown