#quint — Public Fediverse posts

#Quint, a language built on top of #TLA+ to make formal specifications more accessible.

https://quint.sh/

Crazy that #LLM coding will make formal verification mainstream in the next 2 - 3 years.

#FormalVerification #TLAPlus #Testing #ModelChecking #Concurrency #Prediction

#Quint, a language built on top of #TLA+ to make formal specifications more accessible.

https://quint.sh/

Crazy that #LLM coding will make formal verification mainstream in the next 2 - 3 years.

#FormalVerification #TLAPlus #Testing #ModelChecking #Concurrency #Prediction

#Quint, a language built on top of #TLA+ to make formal specifications more accessible.

https://quint.sh/

Crazy that #LLM coding will make formal verification mainstream in the next 2 - 3 years.

#FormalVerification #TLAPlus #Testing #ModelChecking #Concurrency #Prediction

#Quint, a language built on top of #TLA+ to make formal specifications more accessible.

https://quint.sh/

Crazy that #LLM coding will make formal verification mainstream in the next 2 - 3 years.

#FormalVerification #TLAPlus #Testing #ModelChecking #Concurrency #Prediction

#Quint, a language built on top of #TLA+ to make formal specifications more accessible.

https://quint.sh/

Crazy that #LLM coding will make formal verification mainstream in the next 2 - 3 years.

#FormalVerification #TLAPlus #Testing #ModelChecking #Concurrency #Prediction

https://www.europesays.com/it/271721/ «Lo squalo», all’asta l’arpione e la canna da pesca del film culto di Steven Spielberg #angeles #arpione #arpioni #asta #canna #CannaPesca #dollari #Entertainment #film #forte #hooper #Intrattenimento #IT #Italia #Italy #lanciatore #LanciatoreArpioni #los #LosAngeles #pesca #pezzo #PezzoForte #primavera #quint #squalo

I was on Func Prog Podcast talking about formal methods, model checking, TLA+ and Quint! Here are the links in case you want to check it out:

YouTube: https://youtu.be/zKERmkonANM?si=--G5E0HSjyOKvgFQ
Spotify: https://open.spotify.com/episode/4yaIyGbRcG5dBSGSaD3gCa?si=i2m-c89jQ8ON25HmIUjhSw
RSS: https://anchor.fm/s/10395bc40/podcast/rss

#quint #tlaplus #formalmethods

I was on Func Prog Podcast talking about formal methods, model checking, TLA+ and Quint! Here are the links in case you want to check it out:

YouTube: https://youtu.be/zKERmkonANM?si=--G5E0HSjyOKvgFQ
Spotify: https://open.spotify.com/episode/4yaIyGbRcG5dBSGSaD3gCa?si=i2m-c89jQ8ON25HmIUjhSw
RSS: https://anchor.fm/s/10395bc40/podcast/rss

#quint #tlaplus #formalmethods

I was on Func Prog Podcast talking about formal methods, model checking, TLA+ and Quint! Here are the links in case you want to check it out:

YouTube: https://youtu.be/zKERmkonANM?si=--G5E0HSjyOKvgFQ
Spotify: https://open.spotify.com/episode/4yaIyGbRcG5dBSGSaD3gCa?si=i2m-c89jQ8ON25HmIUjhSw
RSS: https://anchor.fm/s/10395bc40/podcast/rss

#quint #tlaplus #formalmethods

I was on Func Prog Podcast talking about formal methods, model checking, TLA+ and Quint! Here are the links in case you want to check it out:

YouTube: https://youtu.be/zKERmkonANM?si=--G5E0HSjyOKvgFQ
Spotify: https://open.spotify.com/episode/4yaIyGbRcG5dBSGSaD3gCa?si=i2m-c89jQ8ON25HmIUjhSw
RSS: https://anchor.fm/s/10395bc40/podcast/rss

#quint #tlaplus #formalmethods

And, yes, the cafe's named and themed on this guy! I can't say as I've spotted many sharks swimming up the creek though! 🤔😅 #Quint #RobertShaw #Jaws

Extrait de JAWS (1975)

https://frimoulux.com/extrait-de-jaws-1975/

#LesDentsDeLaMer #StevenSpielberg #RoyScheider #RobertShaw #RichardDreyfuss #LorraineGary #thriller #requin #plage #été #chefdepolice #chasseurdequins #biologistemarin #blockbuster #JohnWilliams #musiqueemblématique #MarthasVineyard #UniversalPictures #PeterBenchley #adaptation #océan #tension #suspense #AmityIsland #maire #tourisme #Quint #Brody #Hooper #Orca #bateau #attaques #grandblanc #peur #horreur #budgetdépassé #effetsspéciaux

2024: book sixty-three. #2024books #books2024 #bookstodon #kindle #ebooks #robertlautner #quint #jaws

V #BBC Chris Mason:
'there is an "implied united front" between the German Chancellor Olaf Scholz, who was in Israel on Tuesday, President Biden, who was there yesterday, and the UK PM visiting today.
They are part of what is known in diplomatic circles as "the #Quint " – the US, Germany, France, Italy and the UK.

Pres Macron of France is expected in the region in the coming days.

The leaders of the Quint spoke shortly after Hamas’s slaughter in Israel earlier this month.'

#inktober2022 - 18 - Scrape
#scrape #jaws #speilberg #stevenspielberg #quint #robertshaw #shark #movies #chalkboard #blackboard #chalk @inktober #inktober

Continuing the Robot Master trend, have robot from the future, Quint.

#MegaMan #Quint #RobotMaster #RockMan #FanArt

Power Your Home With a Water Battery - I’ve stated it before on Hackaday but one of the most interesting engineering chal... - https://hackaday.com/2021/10/08/power-your-home-with-a-water-battery/ #solarhacks #quint #solar #water #pump #cnc

Toraak was the first ever volunteer champion of “Alten Night Slaughter Grounds“, a gladiatorial arena game show. During this season of ANSG she showcased a fast-paced, calculated combat style. Her wit is unusual for Quint, and as such, she was brought in for analysis shortly after the games. She has described the tests as “boring”.

These days, Toraak engages in tamer endeavors.

#alien #quint #scifi #art #mastoart #creativetoot