Viewing profile — jks

Finda https://keminglabs.com/finda/ > is the best file search I've seen for macOS. (Incidentally, it has an Electron UI.) Doesn't seem to be updated for Tahoe yet, and even the Seq…

An AI editor, a competitor to Cursor but written from scratch and not a VS Code fork. They recently announced a funding round from Sequoia. https://news.ycombinator.com/item?id=449…

This may be the case, but as a Helsinki resident I am always surprised when visiting either Stockholm or Tallinn, because their drivers always seem more likely to honor zebra cross…

I don't know about German law, but in Finnish law you can only appeal to the trial period if you have an acceptable reason related to the trial period. For example, if the employee…

Why the number 2,280? What keeps you from adding peasants until your projectile travels at 0.99c?

I have the "Relax & Sleep" pair. I got mine from a Finnish reseller, and thought they were a global company but they seem to list only European locations. I believe thomann.de deli…

These custom earplugs are the most comfortable I've ever worn: https://www.elacin.com/your-perfect-fit/leisure/relax-sleep/

These are the most comfortable earplugs I've used: https://www.elacin.com/your-perfect-fit/leisure/relax-sleep/ Currently I use Ozlo Sleepbuds which are not quite as comfortable an…

curl wttr.in

Not a full solution, but one thing I've learned not to do is tell Cursor "you got that wrong, fix it like this". Instead, I go back to the previous prompt and click "Restore Checkp…

You probably mean the USAMO 2025 paper. They updated their comparison with Gemini 2.5 Pro, which did get a nontrivial score. That Gemini version was released five days after USAMO,…

> it seems not a huge computational task to figure out that ] is a `\right]` TeX's design was finalised in 1982, when the computational resources were different by a few orders of …

He used to send out real cheques for $2.56 but apparently they contained codes that could be used to transfer money out of his account in excess of the sum of the cheque. Now he us…

My experience is that Gmail accepted my emails fine... until one day it didn't. Then some time later it worked again. I registered for their Postmaster Tools, which says No data to…

Yes, but the process of getting Gmail, Outlook etc to receive your emails and put them in recipients' inboxes is far from painless or quick. An IP address with a clean history and …

Slirp lives on in QEMU and container engines: https://github.com/rootless-containers/slirp4netns

One such representation is a polynomial with integer coefficients in 26 variables given in https://www.tandfonline.com/doi/abs/10.1080/00029890.1976.11... which has the curious pro…

We have that in Finland too: https://viikkonumero.fi/ That one also lets you look up other weeks by number, which is occasionally useful. But the calmer design of https://vecka.nu …

Oliver Burkeman wrote a book about this, named "Four Thousand Weeks: Time Management for Mortals". The main point (at least as I remember it) is that there are way more books to re…

Another fun fact: there are three commonly used ways to define week numbers (see `man strftime`, %U, %V, %W; %V is the one used in at least the Nordics). In some years they coincid…

Heh, U+1D504 MATHEMATICAL FRAKTUR CAPITAL A seems to have been filtered out of my comment, perhaps because it's outside the BMP.

Fraktur is still used in model theory, but I don't believe that is easier to write than A' or  or something like that. Set theory has aleph א and beth ℶ which are refreshingly not…

I've seen Greek computer scientists write Omega as an underlined O. Much easier than trying to approximate the printed letter Ω but still unambiguous, unless you use underlining to…

This game (under the "Mafia" name) has been popular in Finnish math-contest circles since some time in the 1990s, probably as a Russian import. In large groups there can be many mo…

One such tarpit (Nepenthes) was just recently mentioned on Hacker News: https://news.ycombinator.com/item?id=42725147 Their site is down at the moment, but luckily they haven't sto…