Antithesis built Hegel
Hegel is built on hypothesis
I think Tigerbeetle "pioneered"/made popular this testing approach. They have an extremely impressive testing & time-travel suite. "Testing" for this doesn't really explain what it is.
Sendspin: Music in every room. Art on every screen. Lights on the beat.
The open standard for synchronized music, art, controls, and lights across your home. From the Open Home Foundation.
Music Assistant
Music Assistant is a music library manager for local and streaming sources
Home Assistant
Open source home automation that puts local control and privacy first. Powered by a worldwide community of tinkerers and DIY enthusiasts. Perfect to run on a Raspberry Pi or a local server.
Music Assistant
Music Assistant is a music library manager for local and streaming sources
Open Home Foundation
The Open Home Foundation fights for the principles of privacy, choice, and sustainability for smart homes. And for every person who lives in one. It does this by supporting the development of open source projects, and open connectivity and communication standards.
Sendspin: Music in every room. Art on every screen. Lights on the beat.
The open standard for synchronized music, art, controls, and lights across your home. From the Open Home Foundation.
Open Home Foundation
The Open Home Foundation fights for the principles of privacy, choice, and sustainability for smart homes. And for every person who lives in one. It does this by supporting the development of open source projects, and open connectivity and communication standards.
Home Assistant
Open source home automation that puts local control and privacy first. Powered by a worldwide community of tinkerers and DIY enthusiasts. Perfect to run on a Raspberry Pi or a local server.
FOSDEM 2026 - Willow - Protocols for an uncertain future
Centralised systems were designed with the best of intentions, but were turned against us anyway. And peer-to-peer systems will be exactly the same.
Willow - Home
Peer-to-peer protocols which scale up, down, and sideways. Sychronisable data storage, fine-grained access control, private and efficient synchronisation, and secure data delivery by any means possible.
Composite ML-DSA for use in X.509 Public Key Infrastructure
This document defines combinations of US NIST ML-DSA in hybrid with traditional algorithms RSASSA-PKCS1-v1.5, RSASSA-PSS, ECDSA, Ed25519, and Ed448. These combinations are tailored to meet regulatory guidelines. Composite ML-DSA is applicable in applications that uses X.509 or PKIX data structures that accept ML-DSA, but where the operator wants extra protection against breaks or catastrophic bugs in ML-DSA, and where EUF-CMA-level security is acceptable.
A Cryptography Engineer’s Perspective on Quantum Computing Timelines
The risk that cryptographically-relevant quantum computers materialize within the next few years is now high enough to be dispositive, unfortunately.
Modeling Software With Quint - Zicklag's Leaflets
I believe having good abstractions is key to writing good code. But as a coder, I often write code in an effort to find those abstractions…
Hegel
A universal property-based testing protocol and family of libraries, built on Hypothesis
Antithesis: autonomous software testing
Try the Antithesis autonomous testing platform and find bugs in your software with perfect reproducibility
Hegel
A universal property-based testing protocol and family of libraries, built on Hypothesis
Hypothesis: A new approach to property-based testing
The property-based testing library for Python
tigerbeetle/tigerbeetle
The financial transactions database designed for mission critical safety and performance.
TigerBeetle
The financial transactions database to power the next 30 years of Online Transaction Processing.
Antithesis: autonomous software testing
Try the Antithesis autonomous testing platform and find bugs in your software with perfect reproducibility
TigerBeetle
The financial transactions database to power the next 30 years of Online Transaction Processing.
