LightNews — News, ranked by scholars

Adolfo Neto

@adolfoneto.elixiremfoco.com

#QuintLang has 1.7K stars right now

github.com/quint-co/quint

September 29, 2026 at 1:41 PM

Adolfo Neto

@adolfoneto.elixiremfoco.com

#QuintLang

Quint @quint-lang.org · Apr 9

"Inductive invariant" sounds intimidating. They are a powerful way of proving the absence of design bugs in distributed systems. Quint has tooling for them.

April 9, 2026 at 9:56 PM

Adolfo Neto

@adolfoneto.elixiremfoco.com

Quint: A modern and executable specification language
Gabriela Moreira
#QuintLang
www.youtube.com/watch?v=Qnmr...
open.spotify.com/episode/37kF...

Quint: A modern and executable specification language

YouTube video by MACROCOSM

www.youtube.com

March 8, 2025 at 6:17 PM

Adolfo Neto

@adolfoneto.elixiremfoco.com

Quint Launch Party - Releasing a New Rust Backend for Faster Simulations
#QuintLang
www.youtube.com/watch?v=bTM_...

Quint Launch Party - Releasing a New Rust Backend for Faster Simulations

YouTube video by Informal Systems

www.youtube.com

September 11, 2025 at 3:12 PM

Adolfo Neto

@adolfoneto.elixiremfoco.com

Gabriela Moreira, CEO of Quint at Informal Systems – Interview Series
www.unite.ai/gabriela-ceo...

#QuintLang

Gabriela Moreira, CEO of Quint at Informal Systems – Interview Series

Gabriela Moreira, CEO of Quint at Informal Systems, is a research engineer specializing in programming languages and formal methods, with a strong focus on building tools that make complex system veri...

www.unite.ai

May 2, 2026 at 12:12 PM

Adolfo Neto

@adolfoneto.elixiremfoco.com

Achei este vídeo do tutorial de @quint-lang.org de @bugarela.com no SBLP 2024

youtu.be/lRlAsW4VI3s?...

#QuintLang

Gabriela SBLP 2024 Quint VID 20241001 102444

YouTube video by Adolfo Neto

youtu.be

August 23, 2026 at 3:58 PM

Adolfo Neto

@adolfoneto.elixiremfoco.com

DevNTell - Quint Co: The Executable Spec Language Made For The AI Era

#QuintLang
www.youtube.com/watch?v=_8xV...

DevNTell - Quint Co: The Executable Spec Language Made For The AI Era

YouTube video by Developer DAO

www.youtube.com

June 26, 2026 at 4:47 PM

Adolfo Neto

@adolfoneto.elixiremfoco.com

You can use #QuintLang even if you hate AI

Quint @quint-lang.org · Apr 16

AI is generating more code than ever, and formal methods are finally becoming accessible. Quint sits exactly at that intersection. The timing has never been better.

April 17, 2026 at 12:18 AM

Adolfo Neto

@adolfoneto.elixiremfoco.com

Quint Launch Party
#QuintLang
bit.ly/4cb52nb

Quint Launch Party · Zoom · Luma

Building reliable systems is hard. Quint is here to make it possible. Join us for the official launch of Quint, a modern, executable specification language…

bit.ly

March 31, 2025 at 5:02 PM

Adolfo Neto

@adolfoneto.elixiremfoco.com

Case Study: Formalizing Grug’s Jellyfish Merkle Tree with Quint
#QuintLang
informal.systems/blog/jellyfi...

The Informal Blog - Case Study: Formalizing Grug’s Jellyfish Merkle Tree with Quint

In Q4 2024, Informal Systems partnered with Left Curve to formally specify their Rust implementation of the Jellyfish Merkle Tree (JMT) using Quint, our in-house specification language. The JMT is a c...

informal.systems

March 7, 2025 at 12:46 PM

Ben Gesoff

@ben.gesoff.uk

Just attended the #QuintLang virtual launch party where they announced their #RustRewrite! Excited to try and model the communication between our algo engine and an exchange to see if there are any unnoticed race conditions

April 8, 2025 at 3:19 PM

Adolfo Neto

@adolfoneto.elixiremfoco.com

The Next Bottleneck Is Judgment Why We're Building Quint

"As **execution becomes cheaper and more abundant,** a different resource starts to matter more: judgment."

Is it really?

#QuintLang

informal.systems/blog/bottlen...