Back to article
Jane Street Tech Blog

Formal methods and the future of programming (opens in new tab)

Covers 5 stories See all stories this covers including Lean: Programming Language and Theorem ProverCovered by 3 sources See all sources covering this story including tldr.tech, Data Science Weekly NewsletterDiscussed on Hacker News, Hacker News, and Lobsters

Covers 5 related stories

lean-lang.org·

Lean: Programming Language and Theorem Prover

Discussed on Hacker News and Hacker News
Feeds
oxcaml.org·

OxCaml, Jane Street's extension of OCaml is now open-source

Feeds
rocq-prover.org·

The Rocq Prover

Discussed on Hacker News
Feeds
sel4.systems·

SeL4 is a formally verified operating system

Feeds
dafny.org·

Dafny: Verification-Aware Programming Language

Discussed on Hacker News
Feeds

Covered in 4 articles

tldr.tech·

Splunk Pre-Auth RCE 💥, Novo Nordisk Attack 🧬, LangGraph RCE Flaw 🤖

Feeds
tldr.tech·

Why AI won’t replace devs 🚫, vibe coders vs SWEs ⚔️, fixing AI frontends 🔨

Feeds
Data Science Weekly Newsletter·

Issue 656

Discussed on Substack
Feeds
Nitter
·

Interesting. AI will in effect increase both supply and demand for formal methods. You need them more, but you also have tools that make them cheaper.

Feeds

Keyboard Shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help