September 25, 2026 Ten lines of code that, one way or another, mean something to me. Either because I wrote them, or I extensively copied them, or they made me laugh. Or cry. Hello World 10 PRINT “HELLO, WORLD!” 20 … Read more
Everyone and their mom is talking about Jev. Jev this, Jev that. Everyone on Twitter is all over Jev, how it’s the next frontier of large language models and the AI paradigm. We don’t really think so. So here’s Jev … Read more
To my knowledge, this is the first formally verified implementation of a 3D constructive solid geometry (CSG) operation: mesh intersection, implemented in Lean 4 and verified against a concise specification that pins down the surface of the resulting mesh exactly … Read more
I built bet on a break from trying to make something that sells. I wanted a project with a clear edge to it, one I could actually finish, and building a compiler had been on my list for a long … Read more
It’s fifteen years ago (bear with me, I’ve been in this industry since the late 90s, most of my good stories start this way), and you’ve got two senior developers at a SaaS company. One of them writes 40% more … Read more
published on 2026-02-12 · tagged with #ai, #code and #cursor Yesterday my employer organized an AI workshop. My company works a lot with AI supported code editing; using Cursor and VS Code, GitHub Copilot. Plus we do custom stuff using … Read more
LINE Seed Licensing All content of LINE Seed is copyrighted material owned by LY Corp. All fonts are released under the SIL Open Font License, Version1.1. This license is also available with a FAQ at: https://scripts.sil.org/OFL You can use them … Read more
In November 2022, I opened issue 99108 on Python’s GitHub repository, arguing that after a recent CVE in its implementation of SHA3, Python should embrace verified code for all of its hash-related infrastructure. As of last week, this issue is … Read more
Zwibbler.com is a drop-in solution that lets users draw on your web site. A/B testing is used far too often, for something that performs so badly. It is defective by design: Segment users into two groups. Show the A group … Read more
Four lines of code … it was four lines of code It was bugging me. I checked last night, and found the following: CPU utilization after a week CPU requests gopher 28:37 8360 gemini 6:02 24345 How can a … Read more