Formal Methods and the Future of Programming(blog.janestreet.com)

105 points by nextos 4 months ago | 4 comments

Formal methods: Just good engineering practice?(brooker.co.za)

148 points by ot 2 years ago | 102 comments

Formal Methods: Just Good Engineering Practice? (2024)(brooker.co.za)

197 points by aiono 1 year ago | 115 comments

NumPy-style broadcasting in Futhark(futhark-lang.org)

128 points by zfnmxt 2 years ago | 28 comments

Why don't people use formal methods? (2019)(hillelwayne.com)

93 points by Thom2503 2 months ago | 66 comments

What I've Learned About Formal Methods in Half a Year(jakob.space)

149 points by todsacerdoti 3 years ago | 59 comments

The future of software development is software developers(codemanship.wordpress.com)

376 points by cdrnsf 10 months ago | 471 comments

A Codemanship blog post arguing that the future of software development still depends on human software developers.

That's not an abstraction, that's a layer of indirection(fhur.me)

546 points by fagnerbrack 1 year ago | 213 comments

A blog post arguing that many so-called abstractions in codebases are merely layers of indirection that add complexity and hurt performance without real value.

Programming with Less Than Nothing(joshmoody.org)

407 points by signa11 1 year ago | 138 comments

A blog post by Josh Moody presenting a fictional interview where FizzBuzz is implemented in JavaScript using only S and K combinators.

Programming Isn't Special(blog.glyph.im)

219 points by ingve 17 days ago | 236 comments

Blog post by Glyph arguing that programming is creative work like art and that programmers should resist AI as artists and writers have.

AI will make formal verification go mainstream(martin.kleppmann.com)

782 points by evankhoury 10 months ago | 394 comments

Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.

It's hard to write code for computers, but it's harder to write code for humans(erikbern.com)

429 points by imartin2k 2 years ago | 131 comments

Erik Bernhardsson's blog post arguing that writing code for humans, such as libraries, APIs and tools other developers use, is harder than writing code for computers.