Stories by jose-cl

Formal Threat Modelling for Ledger Hardware Wallets with PDDL and Alloy

Show HN: A small browser game (PC only) built with Phaser 3

Show HN: Open Source engine that makes your AI agents improve themselves

AtomicOS – A security-first OS with real crypto and deterministic language

What Would Revolutionize EdTech? Seeking Ideas and Feedback

1 2 3 4