Viewing profile — cortesi

I only had time to use it for a couple of deep reviews of large Rust projects, and a few agentic coding tasks (implement plan X, refactor Y in fashion Z) before my quota ran out. M…

As a developer outside the US I think it's vital to have alternatives to OpenAI and Anthropic, but sadly this is not it. For $200/month you get https://x.com/cortesi/status/2068898…

I'm sorry, but we can tell absolutely nothing about Gary Marcus from this. People should have a look at the final data: https://github.com/davegoldblatt/marcus-claims-dataset/blob/…

Written in Rust, with cross-platform + web visualiser in egui.

I have a tiny, relevant weekend project: https://github.com/cortesi/agentsmd This is a command-line tool that lets you generate your AGENTS.md and CLAUDE.md files from common sourc…

SQLx is great, but I had a long laundry list of issues with its SQLite support so I forked it into a focused SQLite-specific library. It has now diverged very far from SQLx, and th…

Nextest is one of the very small handful of tools I use dozens or hundreds of times a day. Parallelism can reduce test suite execution time significantly, depending on your project…

I'd love to say that it's taking off, but it looks like daily active users (as measured by sampling popular relays) has been stagnant at just under 20k for 6 months: https://stats.…

We haven't found this to be an impediment. Keep things modular, and share the type definitions of anything you import with the model. As the benefits here become more and more clea…

Claude 3.5 Sonnet's coding abilities are incredibly impressive. I think it lets an expert programmer move more than twice as fast. There are limits - to produce high quality code, …

Oh, right! That's just a bit of fun - a random pattern (picked to be vaguely visually pleasing), which is laid out on the Hilbert curve, and then offset by a calculated amount depe…

The mousover always shows a contiguous section of the underlying file. So you're seeing a constant-length section of the space-filling curve centered on the cursor as you move the …

There is, but I see it's not visible on smaller resolutions - I should fix that. The default color scheme just classifies bytes into black (0x00), white (0xff), blue (ascii), and l…

Ah, this is an old side-project of mine. Something I should probably make clearer is that files are not uploaded anywhere - the app is completely local, and all analysis is done in…

This was a fascinating rabbit hole. Here's Myron May - who shot and injured 3 people and then was killed by the cops - describing his "stalking". At first blush, he seems intellige…

I once correctly guessed a that friend's PIN was "1729", based only on the fact that he was a maths major, a huge fan of Ramanujan, and was sure to have read this story. I still ch…

It depends on what kind of geek you are. "The Ants" is perhaps my favourite non-fiction book of all time - at the time it was written it was a fair account of the total sum of huma…

This review of "Naturalist" in the NYTimes gives some flavor of events: https://archive.nytimes.com/www.nytimes.com/books/98/12/06/s... The book itself is well worth reading - it's…

The feud is alluded to in the article. The broad summary is that Wilson had the temerity to devote the final chapter of Sociobiology, a book that pretty much launched the field of …

Lewontin's reputation will be forever tarnished by his disgraceful treatment of E.O. Wilson, a dispute in which he was viciously unfair and in which Wilson has proved to be correct…

That's quite possible! Though after staring at thousands of these across many application domains, I do think the space-filling curves perform legitimately better. Another factor i…

Oh, hey - that's my post. I have a blazingly fast re-implementation of these algorithms in Rust, which will soon make an appearance as a set of command-line tools. This will be a c…

Whoa. Many, many years ago I started idly hacking on a similar project with similar ideas and an identical name. I've always intended to return to it in my Copious Spare Time, whic…