Thomas Dickerson @elfprince13@mumak.app

@andrewliptak I ummm what

@lindsey thanks! :)

@vsaraph @maurice @lindsey @redmp yeah I’d be interested to chat! :)

@AJSWritesthings “to ‘hope’ is German, to ‘despair’ is French”

@arossp @fakegreekgrill this is precisely the argument that leads lots of utilitarian/consequentialist libertarians to minarchism, though ironically a lot of these are also on the cultural right…

@maurice @vsaraph @lindsey takes the “distributed systems + refinement types” concept in a completely orthogonal direction to what you’re doing here, but just throwing that out in the world because I’d love to see someone run with it one day.

@lindsey had a workshop paper “Proof-Carrying Smart Contracts” with @maurice and @vsaraph (+2 more coauthors not on Mastodon as far as I know) that we didn’t end up resubmitting for a full conference because the reviewers wanted a proof of concept implementation and none of us had time to do it, but my idea was to do the POC implementation as higher-order functions in LiquidHaskell.

@dev does the compiler say anything with -Wextra?

@redmp @lindsey super cool

@allynfolksjr 🧐🧐🧐🧐🧐🧐🧐🧐🧐🧐🧐

@allynfolksjr like….through the breaker panel or?

@regehr “We thank reviewer 2 for their insightful comments. ~If they had actually read the fucking paper they would have seen~ Question 1 is directly answered in Section 2.1