corpus.blog
41,554 blogs · 5,181,941 posts Claim your blog
Record · corpus.blog/posts/01a08c5c-70a5-729c-a089-d77691c6e8ff

A Parable on Software Perfection

verse.systems · published 1 March 2022

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 verse.systems Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
20
Words captured
2,848

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://en.wikipedia.org/wiki/Tail_call
en.wikipedia.org
https://en.wikipedia.org/wiki/Side-channel_attack
en.wikipedia.org
https://github.com/aws/s2n-tls/issues/463
github.com
https://en.wikipedia.org/wiki/Short-circuit_evaluation
en.wikipedia.org
https://www.bearssl.org/constanttime.html
bearssl.org
https://arxiv.org/abs/2107.05225
arxiv.org
https://bitbucket.org/covern/secc/src/ct/examples/case-studies/wordle.c
bitbucket.org
https://bitbucket.org/covern/secc/commits/7ad27a035332bce4d72f3521017f2c07eb8aa9bc
bitbucket.org
https://covern.org
covern.org
https://bitbucket.org/covern/seccsl/commits/0aafefa5a4e14a323fbb2ca5ec5e8d1af87ae828
bitbucket.org
https://people.eng.unimelb.edu.au/tobym/papers/cav2019.pdf
people.eng.unimelb.edu.au
https://www.yalescientific.org/2016/03/in-pursuit-of-bug-free-code-how-certified-software-can-eliminate-bugs-from-the-start/
yalescientific.org
https://www.newscientist.com/article/mg22730392-600-unhackable-kernel-could-keep-all-computers-safe-from-cyberattack-2/
newscientist.com
https://m-cacm.acm.org/magazines/2010/12/102141-certified-software/fulltext
m-cacm.acm.org
https://www.cs.utexas.edu/~EWD/transcriptions/EWD03xx/EWD361.html
cs.utexas.edu
https://www.goodreads.com/quotes/8895655-if-art-interprets-our-dreams-the-computer-executes-them-in
goodreads.com
https://www.microsoft.com/en-us/research/wp-content/uploads/2017/03/scienceAndSecuritySoK.pdf
microsoft.com
https://trustworthy.systems/publications/nicta_full_text/8988.pdf
trustworthy.systems
https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/
hillelwayne.com
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5597724/
ncbi.nlm.nih.gov
Elsewhere on verse.systems (2)