Blog · corpus.blog/blogs/aguilar-pelaez.co.uk
aguilar-pelaez.co.uk
aguilar-pelaez.co.uk · Personal developer blogs · English
- Posts on record
- 32
- First published
- 26 January 2026
- Last published
- 13 September 2026
- Feed
- aguilar-pelaez.co.uk/feed.xml
- Language
- English
- Category
- Personal developer blogs
Is this your blog?
Claim it to see who cites you, get citation alerts, send webmentions for the people you link to, and download your archive as markdown.
0blogs citing
0 links from citing blogs
Most cited pages
No page on this domain has been cited by a blog we hold yet.
Blogs citing this one
No blog we hold cites this one yet.
Links and posts differ when one blog links here several times from a single post: that is counted once as a citing blog either way.
Recent posts
13 Sept 2026
9 Sept 2026
14 Aug 2026
When the Spec Can Contradict Itself: The Proof Kernel as an Examiner That Cannot Be Flatteredoriginal ↗
29 Jun 2026
Verified Specification as Code: From Infrastructure as Code to a Specification the Kernel Checksoriginal ↗
29 Jun 2026
When the Document Leaves the Factory: Provenance and the Adversarial Check at the Boundaryoriginal ↗
26 Jun 2026
Continuous Enforcement and Continuous Verification: Building Software Factories Like Toyotaoriginal ↗
26 Jun 2026
Agentic AI and the Verifiable Trace: An Engineer's Response to the Data Protection Questionoriginal ↗
26 Mar 2026
All 32 posts, by year
A source page reaches every post it holds, not only the newest fifteen.