corpus.blog
41554 blogs · [ { "id": "01a0dca0-e4b6-72a9-899c-09212f7a0d3a", "title": "Faster, With Guardrails", "url": "https://p.ocmatos.com/blog/faster-with-guardrails.html", "published_at": "2026-09-25T00:00:00+00:00" }, { "id": "01a087c6-399c-7124-8c24-15add6b13251", "title": "What's in a vow? A language for the future of agentic coding", "url": "https://p.ocmatos.com/blog/whats-in-a-vow-a-language-for-the-future-of-agentic-coding.html", "published_at": "2026-05-20T00:00:00+00:00" }, { "id": "01a087c6-399c-7124-8c24-15add7484676", "title": "Pewpew: the terminals are down!", "url": "https://p.ocmatos.com/blog/pewpew-the-terminals-are-down.html", "published_at": "2026-05-12T00:00:00+00:00" }, { "id": "01a087c6-399c-7124-8c24-15add7584338", "title": "How fast do you want it?", "url": "https://p.ocmatos.com/blog/how-fast-do-you-want-it.html", "published_at": "2026-05-07T00:00:00+00:00" }, { "id": "01a087c6-399c-7124-8c24-15add7bd3813", "title": "Hello and a Quick Comments Test", "url": "https://p.ocmatos.com/blog/hello-and-a-quick-comments-test.html", "published_at": "2026-04-29T00:00:00+00:00" }, { "id": "01a087c6-399c-7124-8c24-15add7d677f2", "title": "Code Is Free Now. What's Left Is Us.", "url": "https://p.ocmatos.com/blog/code-is-free-now-whats-left-is-us.html", "published_at": "2026-04-16T00:00:00+00:00" }, { "id": "01a087c6-399d-7197-8bfb-9bdd2d772f90", "title": "JSSE: A JavaScript Engine Built by an Agent", "url": "https://p.ocmatos.com/blog/jsse-a-javascript-engine-built-by-an-agent.html", "published_at": "2026-03-17T00:00:00+00:00" }, { "id": "01a087c6-399d-7197-8bfb-9bdd2e21d98c", "title": "Introducing Musiker: An Interactive Timeline of Classical Music", "url": "https://p.ocmatos.com/blog/introducing-musiker-an-interactive-timeline-of-classical-music.html", "published_at": "2026-02-23T00:00:00+00:00" }, { "id": "01a087c6-399d-7197-8bfb-9bdd2e858523", "title": "ESBMC Plugin Update: Python Support, a New Home, and Where This Is Going", "url": "https://p.ocmatos.com/blog/esbmc-plugin-update-python-support-a-new-home-and-where-this-is-going.html", "published_at": "2026-02-23T00:00:00+00:00" }, { "id": "01a087c6-399d-7197-8bfb-9bdd2f4504ca", "title": "Formal Verification in Your Terminal: ESBMC meets Claude Code", "url": "https://p.ocmatos.com/blog/formal-verification-in-your-terminal-esbmc-meets-claude-code.html", "published_at": "2026-02-13T00:00:00+00:00" }, { "id": "01a087c6-399d-7197-8bfb-9bdd2f99b29d", "title": "Claude Code Usage in Waybar", "url": "https://p.ocmatos.com/blog/claude-code-usage-in-waybar.html", "published_at": "2026-02-11T00:00:00+00:00" }, { "id": "01a087c6-399d-7197-8bfb-9bdd301560b4", "title": "Daring to imagine...", "url": "https://p.ocmatos.com/blog/daring-to-imagine.html", "published_at": "2026-01-19T00:00:00+00:00" }, { "id": "01a087c6-399d-7197-8bfb-9bdd307c69bb", "title": "Life on GenAI in 2025 (part 1 - Intro and Education)", "url": "https://p.ocmatos.com/blog/life-on-genai-in-2025-part-1-intro-and-education.html", "published_at": "2026-01-09T00:00:00+00:00" }, { "id": "01a087c6-399d-7197-8bfb-9bdd30d8e51d", "title": "FEX x87 Stack Optimization", "url": "https://p.ocmatos.com/blog/fex-x87-stack-optimization.html", "published_at": "2024-09-25T00:00:00+00:00" }, { "id": "01a087c6-399d-7197-8bfb-9bdd31788ef4", "title": "WebAssembly Reference Types in Clang/LLVM", "url": "https://p.ocmatos.com/blog/webassembly-reference-types-in-clang-llvm.html", "published_at": "2023-06-13T00:00:00+00:00" }, { "id": "01a087c6-399d-7197-8bfb-9bdd31cf50e5", "title": "From Middle-C to Concert", "url": "https://p.ocmatos.com/blog/from-middle-c-to-concert.html", "published_at": "2022-10-24T00:00:00+00:00" }, { "id": "01a087c6-399d-7197-8bfb-9bdd31fd5915", "title": "A tour of the `for..of` implementation for 32bits JSC", "url": "https://p.ocmatos.com/blog/a-tour-of-the-for-of-implementation-for-32bits-jsc.html", "published_at": "2020-11-20T00:00:00+00:00" }, { "id": "01a087c6-399d-7197-8bfb-9bdd326a2e77", "title": "JSC - what are my options?", "url": "https://p.ocmatos.com/blog/jsc-what-are-my-options.html", "published_at": "2020-06-05T00:00:00+00:00" }, { "id": "01a087c6-399d-7197-8bfb-9bdd326fbb65", "title": "Announcing HTML examples (`html-examples`)", "url": "https://p.ocmatos.com/blog/announcing-html-examples-html-examples.html", "published_at": "2020-06-01T00:00:00+00:00" }, { "id": "01a087c6-399d-7197-8bfb-9bdd3344f474", "title": "Announcing Racket Bitvectors (`bv`)", "url": "https://p.ocmatos.com/blog/announcing-racket-bitvectors-bv.html", "published_at": "2020-05-31T00:00:00+00:00" }, { "id": "01a087c6-399d-7197-8bfb-9bdd33ae7720", "title": "CReduce - it's a kind of magic!", "url": "https://p.ocmatos.com/blog/creduce-its-a-kind-of-magic.html", "published_at": "2020-02-17T00:00:00+00:00" }, { "id": "01a087c6-399d-7197-8bfb-9bdd33df7424", "title": "Cross-Arch Reproducibility using Containers", "url": "https://p.ocmatos.com/blog/cross-arch-reproducibility-using-containers.html", "published_at": "2020-01-16T00:00:00+00:00" }, { "id": "01a087c6-399d-7197-8bfb-9bdd340240a9", "title": "A Brief Look at the WebKit Workflow", "url": "https://p.ocmatos.com/blog/a-brief-look-at-the-webkit-workflow.html", "published_at": "2019-10-02T00:00:00+00:00" }, { "id": "01a087c6-399d-7197-8bfb-9bdd34c97569", "title": "S10 Overview", "url": "https://p.ocmatos.com/blog/s10-overview.html", "published_at": "2018-05-21T00:00:00+00:00" } ] posts Claim your blog
Back to Home - Notes & Code
Blog · corpus.blog/blogs/p.ocmatos.com/posts

Home - Notes & Code

p.ocmatos.com

2026

Faster, With Guardrailsoriginal ↗
25 Sept 2026
What's in a vow? A language for the future of agentic codingoriginal ↗
20 May 2026
Pewpew: the terminals are down!original ↗
12 May 2026
How fast do you want it?original ↗
7 May 2026
Hello and a Quick Comments Testoriginal ↗
29 Apr 2026
Code Is Free Now. What's Left Is Us.original ↗
16 Apr 2026
JSSE: A JavaScript Engine Built by an Agentoriginal ↗
17 Mar 2026
Introducing Musiker: An Interactive Timeline of Classical Musicoriginal ↗
23 Feb 2026
ESBMC Plugin Update: Python Support, a New Home, and Where This Is Goingoriginal ↗
23 Feb 2026
Formal Verification in Your Terminal: ESBMC meets Claude Codeoriginal ↗
13 Feb 2026
Claude Code Usage in Waybaroriginal ↗
11 Feb 2026
Daring to imagine...original ↗
19 Jan 2026
Life on GenAI in 2025 (part 1 - Intro and Education)original ↗
9 Jan 2026

2024

FEX x87 Stack Optimizationoriginal ↗
25 Sept 2024

2023

WebAssembly Reference Types in Clang/LLVMoriginal ↗
13 Jun 2023

2022

From Middle-C to Concertoriginal ↗
24 Oct 2022

2020

A tour of the `for..of` implementation for 32bits JSCoriginal ↗
20 Nov 2020
JSC - what are my options?original ↗
5 Jun 2020
Announcing HTML examples (`html-examples`)original ↗
1 Jun 2020
Announcing Racket Bitvectors (`bv`)original ↗
31 May 2020
CReduce - it's a kind of magic!original ↗
17 Feb 2020
Cross-Arch Reproducibility using Containersoriginal ↗
16 Jan 2020

2019

A Brief Look at the WebKit Workfloworiginal ↗
2 Oct 2019

2018

S10 Overvieworiginal ↗
21 May 2018