Whiley @WhileyLang

A programming language with software verification and flow typing to eliminate bugs at compile time! whiley.org Wellington, New Zealand Joined November 2014

Tweets

179
Followers

175
Following

851
Likes

184

Dmitrii Kovanikov @ChShersh

7 months ago

I must be getting old. I no longer want a language with 273 overlapping features to master to become a software wizard. I want a language with 15 features that compose and work well together.

96 46 1K 66K 66

Lower standards so a larger fraction of papers are accepted? That decreases the average quality of publications. An alternative that *increases* quality of publications is to encourage journal publications: polished versions of the best papers. 2/2

2 2 19 1K 1

Andrew Myers @AndrewCMyers

a year ago

Some research areas (like PL) look bad on naive metrics because publication LPUs are larger and researchers look less productive. Incentives for hiring and promotion become distorted when metrics like paper counts and citations are applied. Solution? 1/2

1 2 26 4K 8

Laurence Tratt @laurencetratt

a year ago

TIL there are multiple people whose names are on 20+ (a max of 33!) papers submitted to a single conference. I am curious what that community chooses to do, or not do, next.

Guido Salvaneschi @guidosalva

a year ago

TIL there are multiple people whose names are on 20+ (a max of 33!) papers submitted to a single conference. I am curious what that community chooses to do, or not do, next.

16 21 86 148K 23

Download Image

2 3 20 4K 1

Daniel 🦔 @DanielW_Kiwi

2 years ago

47 797 5K 242K 565

Download Image

Patrick Walton @pcwalton

2 years ago

Oh for goodness sake, Apple is still parsing untrusted TrueType fonts using an old pile of C code in 2023. TrueType is not that hard to parse in a safe language if you don't need hinting, folks (which is disabled on iOS). In fact I wrote most of that code a few years ago.

Steve Weis @sweis

2 years ago

66 1K 6K 2.6M 3K

Download Image

2 28 308 34K 53

David J. Pearce @whileydave

2 years ago

Awesome to see Aztec Zac talking about SNARKs in person!!!

0 1 3 384 0

Download Image

EVM Summit @evmsummit

2 years ago

Join @whileydave, a researcher in smart contracts at @Consensys, and learn how formal verification of smart contracts has the potential to significantly improve their security and reliability! 🔐 🗓️EVMSummit.org/#program

0 3 6 448 1

Download Image

Alexis King @lexi_lambda

2 years ago

sat down and wrote the “how do I read type systems notation” overview I wish I had when I was learning about type systems langdev.stackexchange.com/a/2693/861

17 94 492 37K 219

David J. Pearce @whileydave

2 years ago

The Dafny Programming Language is pretty amazing at times ... whileydave.com/2023/06/27/pro… #programming

4 8 21 2K 3

David J. Pearce @whileydave

2 years ago

Finally found a good use for the `by method` syntax in Dafny. The method implementation does not stack overflow on large sequences (whereas the function does on the Java backend as its not tail recursive). Mind = 🤯

1 1 11 1K 1

Download Image

Dmitrii Kovanikov @ChShersh

2 years ago

Life goals: create a programming language and use it exclusively for the majority of my professional career

1 1 35 3K 0

Download Image

David J. Pearce @whileydave

2 years ago

Pattern Matching in Rust's Neverland! #rustlang whileydave.com/2023/04/16/pat…

0 1 4 317 0

Jens Dietrich @jensnz

2 years ago

From the ICSE23 website: "Equity at its heart is about removing barriers, biases, and obstacles that impede equal access and opportunity to succeed" . Also, I just paid >AUD 3K in fees to attend. I won't be able to ever do this again. #icse2023.

0 1 11 3K 0

David J. Pearce @whileydave

2 years ago

Disappointed this doesn't compile in #rustlang :(

2 1 3 979 0

Download Image

Whiley @WhileyLang

2 years ago

Nice talk looking at Dafny and Whiley! youtu.be/fWSGhxyTG-4

0 0 1 71 1

Steve Blackburn (@[email protected]) @stevemblackburn

3 years ago

Perverse incentives promote perverse behavior. Our community's ever-growing obsession with publication at a few select venues is a blight on our field. It is harming quality research in "secondary" areas. It is fueling unethical behavior among researchers.

10 10 75 24K 5

David J. Pearce @whileydave

3 years ago

Dafny 4 syntax is coming very soon. Finally we’ll be rid of the aweful “function method” syntax!! dafny.org/dafny/

3 3 33 5K 4

David J. Pearce @whileydave

3 years ago

An important question about EVM equivalence though ... is which EVM version!!?? 😆

0 1 2 458 0

David J. Pearce @whileydave

3 years ago

Someone asked me what I liked about @rustlang. Am not bothered about safe memory management! Hard to pin down though. Somehow, despite the learning curve ... its quite productive!