Whiley

A programming language with software verification and flow typing to eliminate bugs at compile time!

[Dmitrii Kovanikov @ChShersh]

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.

[Andrew Myers @AndrewCMyers]

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

[Andrew Myers @AndrewCMyers]

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

[Laurence Tratt @laurencetratt]

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. https://t.co/HJnCmj7d7U

[Patrick Walton @pcwalton]

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.

[David J. Pearce @whileydave]

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

[EVM Summit @evmsummit]

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! 🔐

🗓️https://t.co/LmvsmBhFcA

[Alexis King @lexi_lambda]

sat down and wrote the “how do I read type systems notation” overview I wish I had when I was learning about type systems https://t.co/nlWYyQUPML

[David J. Pearce @whileydave]

The Dafny Programming Language is pretty amazing at times ...
https://t.co/UrlgkOBF1s #programming

[David J. Pearce @whileydave]

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 = 🤯

[Dmitrii Kovanikov @ChShersh]

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

[David J. Pearce @whileydave]

Pattern Matching in Rust's Neverland! #rustlang https://t.co/Z1OMgKyg3N

[Jens Dietrich @jensnz]

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.

[David J. Pearce @whileydave]

Disappointed this doesn't compile in #rustlang :(

[Whiley @WhileyLang]

Nice talk looking at Dafny and Whiley! https://t.co/3oSrctCDx1

[Whiley @WhileyLang]

@JAldrichPL @stevemblackburn @samth Yup, basically … rankings and metrics are the problem. No question about that!!!!

[Whiley @WhileyLang]

@stevemblackburn @samth Well, I certainly don’t view venues in that binary fashion. Papers from PLDI can be (and often are) junk. Likewise, papers from a strange workshop can be amazing! Still, I understand the issue. Not sure what can be done about it though 🤷‍♂️

[Steve Blackburn (@[email protected]) @stevemblackburn]

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.

[David J. Pearce @whileydave]

Dafny 4 syntax is coming very soon. Finally we’ll be rid of the aweful “function method” syntax!! https://t.co/z2Wcd9Slz1