http://simonwillison.net/2025-12-17T23:23:35+00:00Simon Willison2025-12-17T23:23:35+00:002025-12-17T23:23:35+00:00https://simonwillison.net/2025/Dec/17/vibespiling/#atom-tag

<p><strong><a href="https://anil.recoil.org/notes/aoah-2025-15">AoAH Day 15: Porting a complete HTML5 parser and browser test suite</a></strong></p> Anil Madhavapeddy is running an <a href="https://anil.recoil.org/notes/aoah-2025">Advent of Agentic Humps</a> this year, building a new useful OCaml library every day for most of December.</p> <p>Inspired by Emil Stenström's <a href="https://simonwillison.net/2025/Dec/14/justhtml/">JustHTML</a> and my own coding agent <a href="https://simonwillison.net/2025/Dec/15/porting-justhtml/">port of that to JavaScript</a> he coined the term <strong>vibespiling</strong> for AI-powered porting and transpiling of code from one language to another and had a go at building an HTML5 parser in OCaml, resulting in <a href="https://tangled.org/anil.recoil.org/ocaml-html5rw">html5rw</a> which passes the same <a href="https://github.com/html5lib/html5lib-tests">html5lib-tests</a> suite that Emil and myself used for our projects.</p> <p>Anil's thoughts on the copyright and ethical aspects of this are worth quoting in full:</p> <blockquote> <p>The question of copyright and licensing is difficult. I definitely did <em>some</em> editing by hand, and a fair bit of prompting that resulted in targeted code edits, but the vast amount of architectural logic came from JustHTML. So I opted to make the <a href="https://tangled.org/anil.recoil.org/ocaml-html5rw/blob/main/LICENSE.md">LICENSE a joint one</a> with <a href="https://friendlybit.com">Emil Stenström</a>. I did not follow the transitive dependency through to the Rust one, which I probably should.</p> <p>I'm also extremely uncertain about every releasing this library to the central opam repository, especially as there are <a href="https://github.com/aantron/lambdasoup">excellent HTML5 parsers</a> already available. I haven't checked if those pass the HTML5 test suite, because this is wandering into the agents <em>vs</em> humans territory that I ruled out in my <a href="https://anil.recoil.org/notes/aoah-2025#groundrules-for-the-advent-of-agentic-humps">groundrules</a>. Whether or not this agentic code is better or not is a moot point if releasing it drives away the human maintainers who are the source of creativity in the code!</p> </blockquote> <p>I decided to <a href="https://github.com/simonw/justjshtml/commit/106289acee29045cc5afe9732915357063dfc37a">credit Emil in the same way</a> for my own vibespiled project. <p><small></small>Via <a href="https://twitter.com/avsm/status/2000979482744607216">@avsm</a></small></p> <p>Tags: <a href="https://simonwillison.net/tags/definitions">definitions</a>, <a href="https://simonwillison.net/tags/functional-programming">functional-programming</a>, <a href="https://simonwillison.net/tags/ai">ai</a>, <a href="https://simonwillison.net/tags/generative-ai">generative-ai</a>, <a href="https://simonwillison.net/tags/llms">llms</a>, <a href="https://simonwillison.net/tags/ai-assisted-programming">ai-assisted-programming</a>, <a href="https://simonwillison.net/tags/ai-ethics">ai-ethics</a>, <a href="https://simonwillison.net/tags/vibe-coding">vibe-coding</a>, <a href="https://simonwillison.net/tags/ocaml">ocaml</a>, <a href="https://simonwillison.net/tags/vibe-porting">vibe-porting</a></p>

2022-05-18T05:47:24+00:002022-05-18T05:47:24+00:00https://simonwillison.net/2022/May/18/comby/#atom-tag

<p><strong><a href="https://comby.dev/">Comby</a></strong></p> Describes itself as “Structural search and replace for any language”. Lets you execute search and replace patterns that look a little bit like simplified regular expressions, but with some deep OCaml-powered magic that makes them aware of comment, string and nested parenthesis rules for different languages. This means you can use it to construct scripts that automate common refactoring or code upgrade tasks. <p><small></small>Via <a href="https://news.ycombinator.com/item?id=31413533">Hacker News</a></small></p> <p>Tags: <a href="https://simonwillison.net/tags/parsing">parsing</a>, <a href="https://simonwillison.net/tags/refactoring">refactoring</a>, <a href="https://simonwillison.net/tags/ocaml">ocaml</a></p>

2018-05-11T17:47:26+00:002018-05-11T17:47:26+00:00https://simonwillison.net/2018/May/11/pyre/#atom-tag

<p><strong><a href="https://www.facebook.com/notes/protect-the-graph/pyre-fast-type-checking-for-python/2048520695388071/">Pyre: Fast Type Checking for Python</a></strong></p> Facebook’s alternative to mypy. “Pyre is designed to be highly parallel, optimizing for near-instant responses so that you get immediate feedback, even in a large codebase”. Like their Hack type checker for PHP, Pyre is implemented in OCaml. <p><small></small>Via <a href="https://news.ycombinator.com/item?id=17048446">Hacker News</a></small></p> <p>Tags: <a href="https://simonwillison.net/tags/facebook">facebook</a>, <a href="https://simonwillison.net/tags/python">python</a>, <a href="https://simonwillison.net/tags/static-typing">static-typing</a>, <a href="https://simonwillison.net/tags/mypy">mypy</a>, <a href="https://simonwillison.net/tags/ocaml">ocaml</a></p>

2006-08-03T19:46:18+00:002006-08-03T19:46:18+00:00https://simonwillison.net/2006/Aug/3/module/#atom-tag

<p><strong><a href="http://pycaml.sourceforge.net/">Module Pycaml</a></strong></p> Integration between Python native libraries and OCaml. <p><small></small>Via <a href="http://www.voidspace.org.uk/python/weblog/arch_d7_2006_07_29.shtml">The Voidspace Techie Blog</a></small></p> <p>Tags: <a href="https://simonwillison.net/tags/ocaml">ocaml</a></p>