Romain Ruetschi (@[email protected])
@_romac
Followers
888
Following
15K
Media
269
Statuses
12K
Not on Twitter anymore. Follow me on Mastodon (https://t.co/9Ds5RlyMuM) and Bluesky (https://t.co/ldcpRlJfty) instead.
Joined April 2008
Not on Twitter anymore. Follow me on Mastodon ( and Bluesky ( instead.
hachyderm.io
167 Posts, 710 Following, 232 Followers · Rust dev at work • Playing around with Swift and SwiftUI at home • Used to work on formal verification for Scala • Haskell enthusiast • Web dev in a previous...
0
0
0
RT @awesomekling: We've been evaluating a number of C++ successor languages for @ladybirdbrowser, and the one best suited to our needs appe….
0
152
0
RT @cyclesmoney: We’ve been quiet the last few weeks, putting the final touches on our whitepaper and new website. The whitepaper is under….
cycles.money
The Open Clearing Protocol.
0
40
0
RT @bugarela: Wanna help me build Quint and make formal methods more accessible? We're hiring!.
informalsystems.bamboohr.com
Take a look at the current openings at Informal Systems
0
10
0
RT @kitlangton: 🥲 I finally found a way to add macro-generated, auto-completable methods to companion objects in Scala 3. I went into more….
0
23
0
RT @k0nn0v: I am starting a new blog called "Protocols Made Fun". Here is a 🧵 of 155 tweets. That was a joke. I am not going to torture y….
protocols-made-fun.com
Foreword. This is my first blog post about protocol specification since I have left Informal Systems. Having a bit of free time on my hands, I want to show everyone how to think about code and...
0
4
0
RT @bugarela: For the last 2 years, I have been working on a new specification language called Quint, based on TLA. Today, we are doing a….
github.com
An executable specification language with delightful tooling based on the temporal logic of actions (TLA) - informalsystems/quint
0
24
0
RT @OrbStack: OrbStack v1.2.0 is out in the Canary channel with native access to container files from Finder & Terminal!. Easily view & edi….
0
12
0
RT @TimSweeneyEpic: How to read that funny notation in type theory papers (called Sequent Calculus), by @lexi_lambda:. .
0
21
0
RT @MarkShust: I've deleted Docker Desktop from my machine. Because there's something that is 100x better called OrbStack 🔮. It's a drop i….
0
203
0
RT @informalinc: Blockchain protocols are hard to design, understand, secure, and test. Quint is a new specification language designed to….
github.com
An executable specification language with delightful tooling based on the temporal logic of actions (TLA) - informalsystems/quint
0
7
0
RT @arnaudai: Today, Generative AI takes a big step and comes to user interface design!. @helnzhou and I are excited to announce @Galileo_A….
0
1K
0
RT @nomeata: Jakob Brünker wrote a #Haskell GHC plugin to allow monadic values within expressions, if prefixed with a bang:. help :: Reader….
hackage.haskell.org
GHC plugin to desugar ! into do-notation
0
7
0
Actually I believe that this is an even better proposal:
Haskell's lack of a proper module system is probably the biggest gripe I have with an otherwise quite elegant language for one this old, and this proposal could very well fix that if it were accepted🤞
1
0
1
Now even posting links to Mastodon profiles is outright blocked… smh…
0
0
0