The Mechanics of Proof(hrmacbeth.github.io)

113 points by segfaultbuserr 2 years ago | 23 comments

Language Pragmatics Engineering(borretti.me)

92 points by ashpil 3 years ago | 22 comments

YAML? That's Norway Problem(lab174.com)

29 points by theanonymousone 5 months ago | 19 comments

LaTeX3 Automatic Labels for Fun and No Profit(commutative.xyz)

69 points by miguelmurca 2 years ago | 67 comments

Streams, Calculational Proofs and Dafny(rdivyanshu.github.io)

28 points by misonic 2 years ago | 4 comments

Array-programming the Mandelbrot set(jcmorrow.com)

78 points by jcmorrow 11 months ago | 10 comments

Formal methods and the future of programming(blog.janestreet.com)

322 points by eatonphil 4 months ago | 99 comments

Jane Street Blog post on formal methods and their role in the future of programming, illustrated with OCaml-style specification code.

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.

Music Theory for Programmers(runjs.app)

352 points by birdculture 1 month ago | 221 comments

A RunJS blog post by Luke Haas explaining music theory concepts for programmers, likely with JavaScript code examples.

What mathematicians should know about the Lean Theorem Prover: reliability & AI(terrytao.wordpress.com)

178 points by matt_d 16 days ago | 50 comments

Terence Tao blog post on what mathematicians should know about the Lean theorem prover, covering reliability and AI; the capture shows only a browser-check interstitial.

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.

Software engineers hate code(dancowell.com)

323 points by dfcowell 3 years ago | 185 comments

A blog post by Dan Cowell arguing that software engineers dislike code and prefer writing less of it.