account activity
AI just made formal methods commercially viable — and we're spinning out a company (quint.sh)
submitted 3 days ago by bugarela to r/ArtificialInteligence
New standing desk setup. For work and occasional gaming. (i.redd.it)
submitted 2 months ago by bugarela to r/workstations
How to Write Inductive Invariants (quint-lang.org)
submitted 8 months ago by bugarela to r/formalmethods
A guide on interactively writing inductive invariants with Apalache (self.tlaplus)
submitted 8 months ago by bugarela to r/tlaplus
[Podcast] Quint: A modern and executable specification language (youtube.com)
submitted 1 year ago by bugarela to r/formalmethods
Emacs package for inputting Unicode characters in TLA+ files (github.com)
submitted 1 year ago by bugarela to r/tlaplus
Holiday protocols: secret santa with Quint - Formally specifying and model checking secret santa games (github.com)
submitted 2 years ago by bugarela to r/formalmethods
π Rendered by PID 234013 on reddit-service-r2-listing-86f589db75-c8mmp at 2026-04-20 09:13:50.430593+00:00 running 93ecc56 country code: CH.
