Mastodawn

Federico Ponzi May 6, 2025

Markus Kuppe May 6, 2025

🔧 GenAI-Accelerated #TLAplus Challenge is live!
Use GenAI to enhance TLA⁺ specs, tools, or workflows.
Submit your project for a chance to win a prize.
Details: https://foundation.tlapl.us/challenge/index.html

GenAI-accelerated TLA+ challenge

The TLA+ Foundation, in collaboration with NVIDIA, is pleased to announce the GenAI-accelerated TLA+ challenge—an open call for submissions that explore the intersection of TLA+ and generative AI. This initiative aims to foster practical and innovative tooling, workflows, and approaches that bring the capabilities of generative AI and LLMs to TLA+. Participants are invited to develop engineering-oriented solutions that advance the usability, accessibility, and automation of formal specification through the integration of GenAI. Awards 1st Place: Nvidia GeForce RTX 5090 (sponsored by NVIDIA) 2nd Place: One-year single seat, individual subscription to Github Copilot Pro+ (sponsored by the TLA+ Foundation) 3rd Place: One-year single seat, individual subscription to Github Copilot Pro (sponsored by the TLA+ Foundation) Example Project Areas Participants may submit work including, but not limited to:

TLA+ Foundation

Federico Ponzi Dec 18, 2024

Andrew Helwer Dec 17, 2024

I wrote a TLA+ development updates newsletter for the TLA+ Foundation! Learn about various events, publications, and what people have been working on in the community. Hope to make this a monthly thing.

https://foundation.tlapl.us/blog/2024-12-dev-update/index.html

#tlaplus

December 2024 Monthly Development Update

Hello! You’re reading the inaugural edition of the TLA⁺ Foundation monthly development update. Here I’ll summarize the past month of development for the benefit of Foundation patrons and interested members of the community. These posts are authored by Andrew Helwer and while I’ll focus a fair bit on my own work (as a way of providing a monthly status update to the Foundation, really), I will also provide a rundown of other happenings in the community! If I missed your contribution or there was some important part of it I didn’t capture in the summary, worry not! These newsletters will be published monthly so it’s easy to hop on the next train; try opening an issue here.

TLA+ Foundation

Federico Ponzi Dec 14, 2024

TIL about the Q# programming language for quantum computers, it's also open source:
https://learn.microsoft.com/en-us/azure/quantum/qsharp-overview

Introduction to the Quantum Programming Language Q# - Azure Quantum

This article introduces Q#, a programming language for developing and running quantum algorithms, and the structure of a Q# program.

Federico Ponzi Oct 15, 2024

Do you like computers? Check out my 8-bit breadboard computer: https://blog.fponzi.me/2024-10-15-my-8-bit-breadboard-computer.html

My 8-bit breadboard computer

The idea of building a simple 8-bit computer from scratch first crossed my mind during a computer architecture course at university. While studying...

Federico Ponzi May 31, 2024

Distributed snapshots are cool! This is a quick overview: https://blog.fponzi.me/2024-05-30-distributed-snapshots.html

Distributed Snapshots: Chandy-Lamport protocol

Some forms of distributed snapshots were around for a while already when Chandy-Lamport's distributed snapshots paper was first published in 1985....

Federico Ponzi Apr 30, 2024

I like to think that solutions follow easily from a good understanding of a problem. That's not always true, sometimes you got to be creative! I tried to put some examples of what I consider creative solutions, and plan to update it over time:
https://blog.fponzi.me/2024-04-30-lateral-thinking-examples.html

Lateral Thinking: examples of creative solutions

I like to think that problems are what's most worth obsessing on, and that solutions usually follow easily from a good understanding of a problem....

Federico Ponzi Feb 3, 2024

A quick post about Lamport clocks, and a tla+ specification to solve the mutual exclusion problem based on the algorithm described by Lamport in his paper Time, Clocks, and the Ordering of Events in a Distributed System.
https://blog.fponzi.me/2024-02-02-lamport-clocks.html
#distsys

Lamport clocks

Last weekend I wanted to get some inspiration to write some TLA+ spec and I got my hands back on the paper Time, Clocks, and the Ordering of Events...

Federico Ponzi Oct 30, 2023

I've just published another article on TLA+: https://blog.fponzi.me/2023-10-30-wolf-goat-cabbage.html

I described my model for the Wolf, Goat and Cabbage problem (https://en.m.wikipedia.org/wiki/Wolf,_goat_and_cabbage_problem) in TLA+.
Let me know what you think!
#tla_plus #formal_methods

Wolf, goat and cabbage problem

In this article, I'm going to share my modeling process to the Wolf, goat and cabbage problem in TLA+. As explained in my [previous...

Federico Ponzi Oct 26, 2023

Just published an article about TLA+:
https://blog.fponzi.me/2023-10-26-tla-plus-is-easy-if-you-know-how-to-abstract.html
I wrote down some thoughts about what I've learnt during a series of seminars held by @muratdemirbas . If you read it please let me know what you think!

TLA+ is easy if you know how to abstract

I've been wanting to learn TLA+ for a while now, and I finally had a chance to do it thanks to a seminar series held by Professor [Murat...

Federico Ponzi Sep 7, 2023

Eleanor Saitta Nov 14, 2022

Repeat after me: all technical problems of sufficient scope or impact are actually political problems first.

Homepage	https://fponzi.me
twitter	https://twitter.com/federico_ponzi
Blog	https://blog.fponzi.me