https://p.ocmatos.com/blog/s10-overview.html 2018-05-21T00:00:00Z 0.80 https://p.ocmatos.com/blog/a-brief-look-at-the-webkit-workflow.html 2019-10-02T00:00:00Z 0.80 https://p.ocmatos.com/blog/cross-arch-reproducibility-using-containers.html 2020-01-16T00:00:00Z 0.80 https://p.ocmatos.com/blog/creduce-its-a-kind-of-magic.html 2020-02-17T00:00:00Z 0.80 https://p.ocmatos.com/blog/announcing-racket-bitvectors-bv.html 2020-05-31T00:00:00Z 0.80 https://p.ocmatos.com/blog/announcing-html-examples-html-examples.html 2020-06-01T00:00:00Z 0.80 https://p.ocmatos.com/blog/jsc-what-are-my-options.html 2020-06-05T00:00:00Z 0.80 https://p.ocmatos.com/blog/a-tour-of-the-for-of-implementation-for-32bits-jsc.html 2020-11-20T00:00:00Z 0.80 https://p.ocmatos.com/blog/from-middle-c-to-concert.html 2022-10-24T00:00:00Z 0.80 https://p.ocmatos.com/blog/webassembly-reference-types-in-clang-llvm.html 2023-06-13T00:00:00Z 0.80 https://p.ocmatos.com/blog/fex-x87-stack-optimization.html 2024-09-25T00:00:00Z 0.80 https://p.ocmatos.com/blog/life-on-genai-in-2025-part-1-intro-and-education.html 2026-01-09T00:00:00Z 0.80 https://p.ocmatos.com/blog/daring-to-imagine.html 2026-01-19T00:00:00Z 0.80 https://p.ocmatos.com/blog/claude-code-usage-in-waybar.html 2026-02-11T00:00:00Z 0.80 https://p.ocmatos.com/blog/formal-verification-in-your-terminal-esbmc-meets-claude-code.html 2026-02-13T00:00:00Z 0.80 https://p.ocmatos.com/blog/esbmc-plugin-update-python-support-a-new-home-and-where-this-is-going.html 2026-02-23T00:00:00Z 0.80 https://p.ocmatos.com/blog/introducing-musiker-an-interactive-timeline-of-classical-music.html 2026-02-23T00:00:00Z 0.80 https://p.ocmatos.com/blog/jsse-a-javascript-engine-built-by-an-agent.html 2026-03-17T00:00:00Z 0.80 https://p.ocmatos.com/manifest.webmanifest 2026-03-27T08:08:32Z 0.80 https://p.ocmatos.com/robots.txt 2026-03-27T08:08:32Z 0.80 https://p.ocmatos.com/sitemap.xml 2026-03-27T08:08:32Z 0.80 https://p.ocmatos.com/_11ty/_static/examples/keyboard/ 2026-03-27T08:08:32Z 0.80 https://p.ocmatos.com/about-me.html 2026-03-27T08:08:32Z 0.80 https://p.ocmatos.com/blog.html 2026-03-27T08:08:32Z 0.80 https://p.ocmatos.com/ 2026-03-27T08:08:32Z yearly 1.00 0.80 https://p.ocmatos.com/linklog.html 2026-03-27T08:08:32Z 0.80 https://p.ocmatos.com/racket-money.html 2026-03-27T08:08:32Z 0.80