As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.
Live Coding with Quint
Quint: executable specifications for reliable systems
Quint is an executable specification language: a modern TLA+ alternative for software engineers. Write specs you can run, simulate, and verify before shipping code.
Zed now predicts your next edit with Zeta, our new open model
From the Zed Blog: A tool that predicts your next move. Powered by Zeta, our new open-source, open-data language model.
Rails Conf 2012 Keynote: Simplicity Matters by Rich Hickey
The Art of Code - Dylan Beattie
Denicek: Computational Substrate for Document-Oriented End-User Programming
As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.
the quintal is open
Introducing quintal: a collective blogging platform on atproto, no algorithm, no metrics, one axolotl mascot. The small internet I always wanted to live in.
quint-co/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
"Design, Composition, and Performance" by Rich Hickey (2013)
"Design, Composition, and Performance" by Rich Hickey (2013)
Aaron Steven White
computational semanticist. into modular synths and tiki. https://aaronstevenwhite.io
Forgotten Programming Ideas That Could Change Everything #shorts
