Record · corpus.blog/posts/01a087d0-9f12-71f1-a07f-f93230d45dd4

Can you guarantee that a function has no bugs?

rchaves.app · published 16 August 2021

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at rchaves.app Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 20
Words captured: 6,932

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

GitHub Copilot

copilot.github.com

https://ntietz.com/tech-blog/future-of-software-engineering-is-formal-methods/

ntietz.com

https://en.wikipedia.org/wiki/Iff

en.wikipedia.org

https://www.reddit.com/r/todayilearned/comments/at5e45/til_that_when_simple_ai_was_taught_to_play_tetris/

reddit.com

https://en.wikipedia.org/wiki/Peso

en.wikipedia.org

https://www.infoq.com/presentations/Null-References-The-Billion-Dollar-Mistake-Tony-Hoare/

infoq.com

https://wiki.haskell.org/Why_Haskell_just_works

wiki.haskell.org

https://duckduckgo.com/?q=Monads+are+just+monoids+in+the+category+of+endofunctors&t=ffab&ia=web

duckduckgo.com

https://www.npmjs.com/package/fast-check

npmjs.com

https://www.google.com/search?q=%22You+have+to+avoid+debt+because+debt+makes+the+system+more+fragile%22&hl=nl&sxsrf=ALeKk01BPuDx2oQ1ozEv1BpyY55K6GDSzA:1628803481946&ei=mZEVYYamOdTygQaA5bm4BA&oq=%22You+have+to+avoid+debt+because+debt+makes+the+system+more+fragile%22&gs_lcp=Cgdnd3Mtd2l6EAM6BwgjELADECdKBAhBGAFQwAtY9A9gpRFoAXAAeACAAbcBiAGMA5IBAzEuMpgBAKABAcgBAcABAQ&sclient=gws-wiz&ved=0ahUKEwjG1szntazyAhVUecAKHYByDkcQ4dUDCA0&uact=5

google.com

https://henrikeichenhardt.blogspot.com/2013/06/why-shared-mutable-state-is-root-of-all.html

henrikeichenhardt.blogspot.com

https://www.youtube.com/watch?v=iSmkqocn0oQ

youtube.com

https://en.wikipedia.org/wiki/Leslie_Lamport

en.wikipedia.org

https://en.wikipedia.org/wiki/Paxos_(computer_science

en.wikipedia.org

http://lamport.azurewebsites.net/video/videos.html

lamport.azurewebsites.net

https://www.fastcompany.com/28121/they-write-right-stuff

fastcompany.com

https://dannorth.net/2021/07/26/we-need-to-talk-about-testing/

dannorth.net

https://www.youtube.com/watch?v=IcgmSRJHu_8

youtube.com

https://www.youtube.com/watch?v=l9XZYI3jta0

youtube.com

https://github.com/rogeriochaves/blog/edit/master/source/_posts/2021-08-16-can-you-guarantee-no-bugs.md

github.com