A programming language with software verification and flow typing to eliminate bugs at compile time!
Wellington, New Zealand
Joined November 2014
- Tweets178
- Following837
- Followers174
- Likes183
Whiley retweeted
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.
Whiley retweeted
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
Whiley retweeted
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
Whiley retweeted
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. xitter.cf/guidosalva/status/1780…
Statistics from @ICSE2024. Authors submitting, *each*, 33, 27, 24, ... papers.
Interactive dashboard:
app.powerbi.com/view?r=eyJrI…
Whiley retweeted
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.
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…
Whiley retweeted
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
Whiley retweeted
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/…
Whiley retweeted
The Dafny Programming Language is pretty amazing at times ...
whileydave.com/2023/06/27/pr… #programming
Whiley retweeted
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 = 🤯
Whiley retweeted
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
Whiley retweeted
Pattern Matching in Rust's Neverland! #rustlang whileydave.com/2023/04/16/pa…
Whiley retweeted
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.
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.
Whiley retweeted
Dafny 4 syntax is coming very soon. Finally we’ll be rid of the aweful “function method” syntax!! dafny.org/dafny/
Whiley retweeted
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!