corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a08799-d54b-707e-9257-8716dee837d5

When AI Writes the World's Software, Who Verifies It?

leodemoura.github.io · published 28 February 2026

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 leodemoura.github.io Wayback capture
4blogs citing
First cited
20 Mar 2026
Most recent
1 Jun 2026
Rank this month
not ranked
Links from this post
40
Words captured
3,727

Cited by

Blog
In the post
Date
raymyers.org
Proposal for MoonBit Formal Semantics Read at the source ↗
1 Jun 2026
Pere Villega
Two Security Boundaries for AI-Assisted Development Read at the source ↗
25 Apr 2026
Pere Villega
Two Security Boundaries for AI-Assisted Development Read at the source ↗
25 Apr 2026
leoveanu.com
The Decade of Cyberattack as a Service Read at the source ↗
19 Apr 2026
blog.scottlowe.org
Technology Short Take 192 Read at the source ↗
20 Mar 2026

Links from this post

Link
Host
https://www.wired.com/story/vibe-coding-startup-code-metal-raises-series-b-fundraising/
wired.com
https://www.itpro.com/technology/artificial-intelligence/sundar-pichai-says-more-than-25-percent-of-googles-code-is-now-generated-by-ai-and-its-a-big-hint-at-the-future-of-software-development
itpro.com
https://www.cnbc.com/2025/04/29/satya-nadella-says-as-much-as-30percent-of-microsoft-code-is-written-by-ai.html
cnbc.com
https://aws.amazon.com/blogs/migration-and-modernization/accelerate-mainframe-modernization-with-aws-transform-a-comprehensive-refactor-approach/
aws.amazon.com
https://www.techspot.com/news/107411-microsoft-cto-predicts-ai-generate-95-percent-code.html
techspot.com
https://www.anthropic.com/engineering/building-c-compiler
anthropic.com
https://x.com/karpathy/status/1886192184808149383
x.com
https://www.veracode.com/blog/genai-code-security-report/
veracode.com
https://x.com/karpathy/status/1915581920022585597
x.com
https://futurism.com/artificial-intelligence/inventor-vibe-coding-doesnt-work
futurism.com
https://en.wikipedia.org/wiki/Heartbleed
en.wikipedia.org
https://www.csoonline.com/article/562859/the-heartbleed-bug-how-a-flaw-in-openssl-caused-a-security-crisis.html
csoonline.com
https://news.synopsys.com/2022-12-06-Software-Quality-Issues-in-the-U-S-Cost-an-Estimated-2-41-Trillion-in-2022
news.synopsys.com
Modular: The Claude C Compiler: What It Reveals About the Future of Software Read at the source ↗
modular.com
https://github.com/digama0/lean4lean
github.com
https://github.com/ammkrn/nanoda_lib
github.com
https://leodemoura.github.io/stanford2026/
leodemoura.github.io
https://deepmind.google/blog/ai-solves-imo-problems-at-silver-medal-level/
deepmind.google
https://harmonic.fun/
harmonic.fun
https://arxiv.org/abs/2507.23726
arxiv.org
https://axiommath.ai/
axiommath.ai
https://logicalintelligence.com/blog/aleph-solves-putnambench
logicalintelligence.com
https://x.com/AlbertQJiang/status/1973506751782666536
x.com
https://lean-lang.org
lean-lang.org
https://github.com/leanprover-community/mathlib4
github.com
https://leanprover-community.github.io/mathlib_stats.html
leanprover-community.github.io
https://www.sigplan.org/Awards/Software/
sigplan.org
https://www.amazon.science/blog/how-we-built-cedar-with-automated-reasoning-and-differential-testing
amazon.science
Rewriting SymCrypt in Rust to modernize Microsoft’s cryptographic library  Read at the source ↗
microsoft.com
https://reservoir.lean-lang.org/
reservoir.lean-lang.org
https://leanprover.zulipchat.com/
leanprover.zulipchat.com
https://lean-lang.org/fro/about/
lean-lang.org
https://github.com/kim-em/lean-zip
github.com
https://proofsandintuitions.net/2026/02/09/distributed-verification-veil/
proofsandintuitions.net
https://arxiv.org/html/2601.07421v1
arxiv.org
https://x.com/mathematics_inc/status/1998792071562604890
x.com
https://www.linkedin.com/posts/hausdorff-center_fields-medalist-maryna-viazovska-epfl-activity-7432200595731763201-R7-t
linkedin.com
https://www.nature.com/articles/s41586-025-09833-y
nature.com
https://lean-lang.org/learn/
lean-lang.org
https://lean-fro.org
lean-fro.org