Good luck trying to get something like Paxos correct by poking at it in a REPL. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		yencabulator on June 24, 2024 \| parent \| context \| favorite \| on: Formal methods: Just good engineering practice? Good luck trying to get something like Paxos correct by poking at it in a REPL.

hresvelgr on June 25, 2024 [–]

Not what I'm advocating and certainly not REPL. When I'm talking about a live environment, I mean something _like_ Pharo [1]. I'm arguing against long compile and deploy loops, not formal verification.

[1] https://pharo.org/

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact