A programming language with software verification and flow typing to eliminate bugs at compile time!
Joined November 2014
- Tweets 179
- Following 838
- Followers 176
- Likes 184
13 Photos and videos
Whiley retweeted
15 Feb 2025
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.
93
43
1,000
66,450
Whiley retweeted
12 May 2024
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
18
1,418
Whiley retweeted
12 May 2024
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
3,937
Whiley retweeted
17 Apr 2024
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. x.com/guidosalva/status/1780…
17 Apr 2024
Statistics from @ICSE2024. Authors submitting, *each*, 33, 27, 24, ... papers.
Interactive dashboard:
app.powerbi.com/view?r=eyJrI…
2
3
20
3,517
Whiley retweeted
29 Dec 2023
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.
27 Dec 2023
This iMessage exploit is crazy. TrueType vulnerability that has existed since the 90s, 2 kernel exploits, a browser exploit, and an undocumented hardware feature that was not used in shipped software:
securelist.com/operation-tri…
2
28
302
33,563
Whiley retweeted
17 Nov 2023
Awesome to see Aztec Zac talking about SNARKs in person!!!
1
3
385
Whiley retweeted
10 Nov 2023
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
3
6
449
Whiley retweeted
13 Aug 2023
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/…
16
92
479
37,444
Whiley retweeted
28 Jun 2023
The Dafny Programming Language is pretty amazing at times ...
whileydave.com/2023/06/27/pr… #programming
3
7
20
1,861
Whiley retweeted
20 Jun 2023
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
1,141
Whiley retweeted
14 May 2023
Life goals: create a programming language and use it exclusively for the majority of my professional career
ALT Comment by /u/augustss on /r/haskell saying: "I've used Haskell almost exclusively for the last 30 years in 6-7 different companies." https://www.reddit.com/r/haskell/comments/13gp0x4/comment/jk3ck6v/?utm_source=share&utm_medium=web2x&context=3
1
1
33
2,581
Whiley retweeted
21 Apr 2023
Pattern Matching in Rust's Neverland! #rustlang whileydave.com/2023/04/16/pa…
1
4
318
Whiley retweeted
12 Apr 2023
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.
1
11
2,675
Whiley retweeted
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
74
24,450
Whiley retweeted
24 Feb 2023
Dafny 4 syntax is coming very soon. Finally we’ll be rid of the aweful “function method” syntax!! dafny.org/dafny/
3
3
33
4,617
Whiley retweeted
21 Feb 2023
An important question about EVM equivalence though ... is which EVM version!!?? 😆
1
2
458
Whiley retweeted
10 Jan 2023
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!
1
9
628