Record · corpus.blog/posts/01a08773-4e97-732c-baa7-79299baf0fb4

Jesse's 2025 TLA+ Community Event Notes

A. Jesse Jiryu Davis · published 8 May 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at emptysqua.re Wayback capture

1blogs citing

First cited: 15 May 2025
Most recent: 15 May 2025
Rank this month: not ranked
Links from this post: 47
Words captured: 2,268

Cited by

Blog

In the post

Date

ahelwer.ca

The current state of TLA⁺ development Read at the source ↗

15 May 2025

Links from this post

Link

Host

Notes from the TLA+ Community Event Read at the source ↗

muratbuffalo.blogspot.com

https://conf.tlapl.us/2025-etaps/

conf.tlapl.us

https://conf.tlapl.us/home/

conf.tlapl.us

https://www.srinidhin.com/

srinidhin.com

http://arxiv.org/abs/2410.02307

arxiv.org

https://afl-1.readthedocs.io/en/latest/about_afl.html

afl-1.readthedocs.io

https://antithesis.com/

antithesis.com

https://fhackett.com/

fhackett.com

https://www.cs.ubc.ca/~bestchai/

cs.ubc.ca

https://www.mongodb.com/academia/phd-fellowship

mongodb.com

https://www.cs.ubc.ca/~bestchai/papers/asplos23-pgo.pdf

cs.ubc.ca

https://learntla.com/topics/cli.html

learntla.com

https://www.linkedin.com/in/guillaume-di-fatta-0441a3253/

linkedin.com

https://scholar.google.fr/citations?user=nYVf510AAAAJ&hl=fr

scholar.google.fr

https://dblp.org/pid/167/5040.html

dblp.org

https://laufer.cs.luc.edu/

laufer.cs.luc.edu

https://gkt.sh/

gkt.sh

https://fme-teaching.github.io/

fme-teaching.github.io

https://www.agilealliance.org/resources/sessions/test-driven-development-guided-by-zombies/

agilealliance.org

https://dblp.org/pid/97/1837.html

dblp.org

https://scholar.google.fr/citations?user=8k2MVLYAAAAJ&hl=fr

scholar.google.fr

https://scholar.google.fr/citations?user=3iKALIoAAAAJ&hl=sr

scholar.google.fr

https://dblp.org/pid/60/599.html

dblp.org

https://www.irit.fr/~Christine.Rochange/

irit.fr

https://www.linkedin.com/in/murat-demirbas-distributolog-a2233b176/

linkedin.com

https://www.linkedin.com/in/william-schultz-a22714a2/

linkedin.com

Implementation of Cluster-wide Logical Clock and Causal Consistency in MongoDB Read at the source ↗

muratbuffalo.blogspot.com

Tunable Consistency in MongoDB Read at the source ↗

muratbuffalo.blogspot.com

https://ir.cwi.nl/pub/30580/30580.pdf

ir.cwi.nl

https://github.com/muratdem/MDBTLA/blob/main/MultiShardTxn/Storage.tla

github.com

https://emptysqua.re/blog/

emptysqua.re

Are We Serious About Using TLA+ For Statistical Properties? Read at the source ↗

emptysqua.re

Formal Methods Only Solve Half My Problems Read at the source ↗

brooker.co.za

https://emptysqua.re/blog/java-modelling-tools/

emptysqua.re

https://www.prismmodelchecker.org/

prismmodelchecker.org

https://fizzbee.io/

fizzbee.io

https://runway.systems/

runway.systems

https://ahelwer.ca/

ahelwer.ca

https://github.com/will62794/spectacle

github.com

https://docs.tlapl.us/codebase:start

docs.tlapl.us

https://docs.tlapl.us/creating:start

docs.tlapl.us

https://github.com/tlaplus/tlaplus/issues

github.com

https://foundation.tlapl.us/challenge/index.html

foundation.tlapl.us

https://www.instagram.com/p/Ck_WGIJL4Jc/

instagram.com

https://www.instagram.com/p/DJUHXxyRLtM/

instagram.com

https://www.instagram.com/p/DJSri9CunOe/

instagram.com

https://rarehistoricalphotos.com/futuristic-visions-cards-germany/

rarehistoricalphotos.com