David J. Pearce personal blog

Programming languages going above and beyond

whileydave.com 3 min read

Dafny is a programming language which often genuinely amazes me.

Points

338

HN comments

180

Submissions

1

Cited by

0 commenters

Programming Languages2023

Related posts from the same era

Python 3.13 Gets a JIT

AAnthony Shaw20241,081 points521 commentscited by 3 details

Pkl, a Programming Language for Configuration

Pkl Blog2024930 points564 comments details

The Rust I wanted had no future

Graydon Hoare2023868 points508 commentscited by 15 details

Why I Left Rust

JJonathan Turner2023861 points783 commentscited by 4 details

How I write HTTP services in Go after 13 years

Grafana Labs Blog2024790 points241 comments details

Go 1.18

The Go Blog2022773 points597 comments details