Linking pages
- the tiny corp raised $5.1M | the singularity is nearer https://geohot.github.io/blog/jekyll/update/2023/05/24/the-tiny-corp-raised-5M.html 353 comments
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/magmide/magmide 220 comments
- Turing kicked us out of Heaven • Buttondown https://buttondown.com/hillelwayne/archive/turing-kicked-us-out-of-heaven/ 56 comments
- Totality https://blog.yoshuawuyts.com/totality/ 54 comments
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/blainehansen/magma 18 comments
- Malicious smart contracts: how they’re built, and how they steal your money | by Daniel Chong | The Harpie Blog | Medium https://medium.com/harpie-io/malicious-smart-contracts-how-theyre-built-and-how-they-steal-your-money-c69ec6ffc773 17 comments
- Anti-Instances in Haskell https://www.heneli.dev/blog/anti-instances 15 comments
- Codex (and GPT-4) can’t beat humans on smart contract audits | Trail of Bits Blog https://blog.trailofbits.com/2023/03/22/codex-and-gpt4-cant-beat-humans-on-smart-contract-audits/ 10 comments
- The Dark Side of LLMs | Medium https://medium.com/@kgreshake/the-dark-side-of-llms-we-need-to-rethink-large-language-models-now-6212aca0581a 10 comments
- Petaflops to the People: from Personal Compute Cluster to Person of Compute — with George Hotz of the tiny corp https://www.latent.space/p/geohot#details 10 comments
- Introduce Static Analysis in the Process, Don't Just Search for Bugs with It / Habr https://habr.com/en/post/440610/ 7 comments
- False positives are our enemies, but may still be your friends | Sonar https://blog.sonarsource.com/false-positives-our-enemies-but-maybe-your-friends 5 comments
- ESLint vs Prettier https://blog.fildon.me/eslint-vs-prettier 5 comments
- A Breach in the Same-Origin Policy Induced by Mirroring External Content | by Jacob Thompson | Independent Security Evaluators https://blog.securityevaluators.com/a-breach-in-the-same-origin-policy-induced-by-mirroring-external-content-f93b17a02ec8#.vte3jj7ei 4 comments
- The Road to Artificial General Intelligence https://blog.apiad.net/p/the-road-to-agi 3 comments
- Why Writing Correct Software Is Hard https://pron.github.io/posts/correctness-and-complexity 3 comments
- DARPA's million-dollar search for software that can defend itself - The Verge http://www.theverge.com/2015/6/3/8722287/darpa-cyber-grand-challenge-qualification-defcon 1 comment
- The Compliance-Innovation Trade-off | by DataFinnovation | Nov, 2022 | Medium https://datafinnovation.medium.com/the-compliance-innovation-trade-off-72b9f8026f56 1 comment
- p(doom) | the singularity is nearer https://geohot.github.io/blog/jekyll/update/2023/08/16/p-doom.html 1 comment
- Two Lovely Talks from POPL 2020 about Real-World Bugs | eschew it all https://eschew.wordpress.com/2020/03/05/two-lovely-talks-from-popl-2020-about-real-world-bugs/ 0 comments
Related searches:
Search whole site: site:en.wikipedia.org
Search title: Rice's theorem - Wikipedia
See how to search.