Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·19h·
Discuss: Hacker News
🗃️Databases
Flag this post
Generalized Consensus: Consistent Reads
multigres.com·2d·
Discuss: Hacker News
🗃️Databases
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
ASAN: A conceptual architecture for a self-creating, energy-efficient AI system
github.com·23h·
Discuss: Hacker News
🤖AI
Flag this post
Kubernetes + Ceph: Your Freedom from the Cloud Cartel
oneuptime.com·15h·
Discuss: Hacker News, r/selfhosted
🗃️Databases
Flag this post
The Collapse of Centralized AI Discovery
aivojournal.org·1d·
Discuss: Hacker News
🤖AI
Flag this post
What does the ideal information environment look like?
defenderofthebasic.substack.com·19h·
Discuss: Substack
🗃️Databases
Flag this post
Why I don't see many advantages in decentralized platforms
news.ycombinator.com·9h·
Discuss: Hacker News
🗃️Databases
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·19h·
Discuss: Hacker News
🐅TigerBeetle
Flag this post
Labs for Broke – EKS for Pennies
georgedeblog.com·8h·
Discuss: Hacker News
🗃️Databases
Flag this post
Continuous Architecture: A decade of designing for change
continuousarchitecture.com·1h·
Discuss: Hacker News
🗃️Databases
Flag this post
Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News
🗃️Databases
Flag this post
Naïve Shuffle Algorithm (2007)
blog.codinghorror.com·17h·
Discuss: Hacker News
🗃️Databases
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·1d·
Discuss: Hacker News
🐅TigerBeetle
Flag this post
Superhuman AI for Multiplayer Poker
science.org·2d·
Discuss: Hacker News
🤖AI
Flag this post
The Case Against PGVector
alex-jacobs.com·1d·
Discuss: Hacker News
⚡ElectricSQL
Flag this post
Building Yantra: A Visual Workflow Automation Engine
patali.dev·1d·
Discuss: Hacker News
🗃️Databases
Flag this post
Generalized Consensus: Discovery and Propagation
multigres.com·4d·
Discuss: Hacker News
🗃️Databases
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·1d·
Discuss: Hacker News
🤖AI
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·1d·
Discuss: Hacker News
🤖AI
Flag this post