corpus.blog
56,966 blogs · [ { "id": "01a0877b-f1ef-7305-a25a-932cbd36c838", "title": "An Idea for Bypassing Linux Age Verification", "url": "https://gavinhoward.com/2026/03/an-idea-for-bypassing-linux-age-verification/", "published_at": "2026-03-15T07:35:35+00:00" }, { "id": "01a0877b-f1ef-7305-a25a-932cbdc23036", "title": "Do Not Use Sectorlink", "url": "https://gavinhoward.com/2026/02/do-not-use-sectorlink/", "published_at": "2026-02-26T19:38:42+00:00" }, { "id": "01a0877b-f1ef-7305-a25a-932cbdf24cbd", "title": "Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes", "url": "https://gavinhoward.com/2025/12/piecemeal-formal-verification-cloudflare-java-exceptions-and-rust-mutexes/", "published_at": "2025-12-16T01:13:20+00:00" }, { "id": "01a0877b-f1ef-7305-a25a-932cbe26d0d4", "title": "How I Solved the Expression Problem", "url": "https://gavinhoward.com/2025/04/how-i-solved-the-expression-problem/", "published_at": "2025-04-29T04:50:10+00:00" }, { "id": "01a0877b-f1ef-7305-a25a-932cbf1bfd3e", "title": "Replacing CVE", "url": "https://gavinhoward.com/2025/04/replacing-cve/", "published_at": "2025-04-16T16:35:01+00:00" }, { "id": "01a0877b-f1ef-7305-a25a-932cbf58f35b", "title": "Advent of Code 2024: Report", "url": "https://gavinhoward.com/2025/01/advent-of-code-2024-report/", "published_at": "2025-01-25T05:02:11+00:00" }, { "id": "01a0877b-f1ef-7305-a25a-932cc032f607", "title": "Advent of Code 2024: Getting Started", "url": "https://gavinhoward.com/2024/11/advent-of-code-2024-getting-started/", "published_at": "2024-12-01T01:28:38+00:00" }, { "id": "01a0877b-f1ef-7305-a25a-932cc0eb7cf6", "title": "To Broadcast or Not to Broadcast: A Nuanced Perspective", "url": "https://gavinhoward.com/2024/09/to-broadcast-or-not-to-broadcast-a-nuanced-perspective/", "published_at": "2024-09-30T05:24:34+00:00" }, { "id": "01a0877b-f1ef-7305-a25a-932cc1c8766e", "title": "Rewriting Rust: A Response", "url": "https://gavinhoward.com/2024/09/rewriting-rust-a-response/", "published_at": "2024-09-27T07:45:49+00:00" }, { "id": "01a0877b-f1f0-7392-b272-d69ad92d36e0", "title": "Curing the Framework Curse", "url": "https://gavinhoward.com/2024/08/curing-the-framework-curse/", "published_at": "2024-08-31T04:49:07+00:00" }, { "id": "01a0877b-f1f0-7392-b272-d69ada21fa04", "title": "A Better OS Design 2: Microkernel Performance", "url": "https://gavinhoward.com/2024/08/a-better-os-design-2-microkernel-performance/", "published_at": "2024-08-13T21:17:02+00:00" }, { "id": "01a0877b-f1f0-7392-b272-d69ada9c87d7", "title": "Is Crowdstrike the Final Straw?", "url": "https://gavinhoward.com/2024/07/is-crowdstrike-the-final-straw/", "published_at": "2024-07-19T20:15:18+00:00" }, { "id": "01a0877b-f1f0-7392-b272-d69adb4d3a1c", "title": "Why I Hope Rust Does Not Oxidize Everything", "url": "https://gavinhoward.com/2024/07/why-i-hope-rust-does-not-oxidize-everything/", "published_at": "2024-07-16T07:26:47+00:00" }, { "id": "01a0877b-f1f0-7392-b272-d69adbb4e058", "title": "A Plan for Professionalism", "url": "https://gavinhoward.com/2024/06/a-plan-for-professionalism/", "published_at": "2024-06-14T21:17:11+00:00" }, { "id": "01a0877b-f1f0-7392-b272-d69adc2516dd", "title": "My Programming Journey", "url": "https://gavinhoward.com/2024/06/my-programming-journey/", "published_at": "2024-06-05T08:00:25+00:00" }, { "id": "01a0877b-f1f0-7392-b272-d69adcee944f", "title": "A New Architecture for a GUI Framework", "url": "https://gavinhoward.com/2024/05/a-new-architecture-for-a-gui-framework/", "published_at": "2024-05-29T06:04:03+00:00" }, { "id": "01a0877b-f1f0-7392-b272-d69adcf21038", "title": "A Better OS Design", "url": "https://gavinhoward.com/2024/05/a-better-os-design/", "published_at": "2024-05-24T06:38:12+00:00" }, { "id": "01a0877b-f1f0-7392-b272-d69adcf2f107", "title": "Traits, Destructors, \"Higher RAII,\" and Exceptions", "url": "https://gavinhoward.com/2024/05/traits-destructors-higher-raii-and-exceptions/", "published_at": "2024-05-24T05:32:10+00:00" }, { "id": "01a0877b-f1f0-7392-b272-d69addd701db", "title": "What Rust Got Wrong on Formal Verification", "url": "https://gavinhoward.com/2024/05/what-rust-got-wrong-on-formal-verification/", "published_at": "2024-05-22T21:47:09+00:00" }, { "id": "01a0877b-f1f0-7392-b272-d69ade085615", "title": "A Grateful Open Letter to JeanHeyd Meneide", "url": "https://gavinhoward.com/2024/05/a-grateful-open-letter-to-jeanheyd-meneide/", "published_at": "2024-05-22T15:23:52+00:00" } ] posts Claim your blog
Back to gavinhoward
Blog · corpus.blog/blogs/gavinhoward.com/posts

gavinhoward

gavinhoward.com

2026

An Idea for Bypassing Linux Age Verificationoriginal ↗
15 Mar 2026
Do Not Use Sectorlinkoriginal ↗
26 Feb 2026

2025

Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexesoriginal ↗
16 Dec 2025
How I Solved the Expression Problemoriginal ↗
29 Apr 2025
Replacing CVEoriginal ↗
16 Apr 2025
Advent of Code 2024: Reportoriginal ↗
25 Jan 2025

2024

Advent of Code 2024: Getting Startedoriginal ↗
1 Dec 2024
To Broadcast or Not to Broadcast: A Nuanced Perspectiveoriginal ↗
30 Sept 2024
Rewriting Rust: A Responseoriginal ↗
27 Sept 2024
Curing the Framework Curseoriginal ↗
31 Aug 2024
A Better OS Design 2: Microkernel Performanceoriginal ↗
13 Aug 2024
Is Crowdstrike the Final Straw?original ↗
19 Jul 2024
Why I Hope Rust Does Not Oxidize Everythingoriginal ↗
16 Jul 2024
A Plan for Professionalismoriginal ↗
14 Jun 2024
My Programming Journeyoriginal ↗
5 Jun 2024
A New Architecture for a GUI Frameworkoriginal ↗
29 May 2024
A Better OS Designoriginal ↗
24 May 2024
Traits, Destructors, "Higher RAII," and Exceptionsoriginal ↗
24 May 2024
What Rust Got Wrong on Formal Verificationoriginal ↗
22 May 2024
A Grateful Open Letter to JeanHeyd Meneideoriginal ↗
22 May 2024