Checks and balances: Machine learning and zero-knowledge proofs
2023-04-05
Improving Large Language Models with External Knowledge and Automated Feedback
2023-04-05
Ask HN: Domain for my SaaS app blocked by corporate web filters
2023-04-05
Using TLA+ at Work: Designing a Snapshot Coordination System
2023-04-05
Show HN: Quadratic – Open-Source Spreadsheet with Python, AI (WASM and WebGL)
2023-04-05
Tell HN: Google Play policy checker is broken
2023-04-05
Show HN: Iterate.World multiplayer AI image generator
2023-04-05
Show HN: Utiliti – Online and OSS Utilities (Private Notes, JSON Viewer, etc.)
2023-04-05
Elon Musk’s obsession with blue checks is a verified problem
2023-04-05
Tmplt -A User Friendly CLI Tool for Creating Projects with Templates
2023-04-05