corpus.blog
41,554 blogs · 4,969,865 posts Claim your blog
Record · corpus.blog/posts/01a0872b-4ad7-7154-a283-d9e1f83bc51c

Verification Without Inspection

Annie Vella · published 30 July 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 annievella.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
24
Words captured
3,125

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://leaddev.com/career-development/the-reality-of-being-a-distinguished-engineer
leaddev.com
https://www.wgtn.ac.nz/
wgtn.ac.nz
https://ecs.wgtn.ac.nz/Main/LindsayGroves
ecs.wgtn.ac.nz
https://en.wikipedia.org/wiki/Formal_methods
en.wikipedia.org
https://x.com/headinthebox
x.com
https://queue.acm.org/detail.cfm?id=3746223
queue.acm.org
https://queue.acm.org/detail.cfm?id=3762990
queue.acm.org
https://queue.acm.org/detail.cfm?id=3806226
queue.acm.org
https://events.itrevolution.com/2026-san-jose/
events.itrevolution.com
Amazon is investing in the Lean Focused Research Organization Read at the source ↗
amazon.science
https://lean-fro.org/
lean-fro.org
https://midspiral.com/
midspiral.com
https://midspiral.com/blog/introducing-lemmafit-a-verifier-in-the-ai-loop/
midspiral.com
https://dafny.org/
dafny.org
Fragments: July 13 Read at the source ↗
martinfowler.com
https://www.linkedin.com/in/gergelyorosz/
linkedin.com
https://www.hillelwayne.com/
hillelwayne.com
Formal methods with Hillel Wayne Read at the source ↗
newsletter.pragmaticengineer.com
https://www.kennethjusino.com/lean
kennethjusino.com
https://web.archive.org/web/20200717054958if_/https://www.ise.ncsu.edu/wp-content/uploads/2017/02/Bainbridge_1983_Automatica.pdf
web.archive.org
https://www.faros.ai/blog/ai-acceleration-whiplash-takeaways
faros.ai
https://en.wikipedia.org/wiki/Edsger_W._Dijkstra
en.wikipedia.org
https://programming.ac.nz/
programming.ac.nz
https://arxiv.org/abs/2205.00787
arxiv.org
Elsewhere on annievella.com (3)