jks

5 ms·

1.
by jks 1y ago
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 Sequoia version isn'
2.
by jks 1y ago
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=44961172
3.
by jks 1y ago
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 crossings than drivers in Helsinki.
4.
by jks 1y ago
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 isn't performing well, that is a legal reason to
5.
by jks 1y ago
Why the number 2,280? What keeps you from adding peasants until your projectile travels at 0.99c?
6.
by jks 1y ago
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 delivers to the U.S., but that's little help
7.
by jks 1y ago
These custom earplugs are the most comfortable I've ever worn: https://www.elacin.com/your-perfect-fit/leisure/relax-sleep/
8.
by jks 1y ago
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 and a little finicky to o
9.
by jks 1y ago
curl wttr.in
10.
by jks 1y ago
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 Checkpoint", edit the prompt and possibly
11.
by jks 1y ago
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, so while it's not entirely impossible for the data to
12.
by jks 1y ago
> 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 magnitude. There is a very strong culture of backwar
13.
by jks 2y ago
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 uses the made-up Bank of San Serriffe, which naturally underst
14.
by jks 2y ago
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 display at this time. Please come back later.
15.
by jks 2y ago
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 SPF/DKIM/DMARC are table stakes, but then you
16.
by jks 2y ago
Slirp lives on in QEMU and container engines: https://github.com/rootless-containers/slirp4netns
17.
by jks 2y ago
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 property that as you substitute
18.
by jks 2y ago
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 is very pleasant!
19.
by jks 2y ago
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 read, links to click, and things to do than you can
20.
by jks 2y ago
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 coincide so you might not notice that you picked the wrong one unti
21.
by jks 2y ago
Heh, U+1D504 MATHEMATICAL FRAKTUR CAPITAL A seems to have been filtered out of my comment, perhaps because it's outside the BMP.
22.
by jks 2y ago
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 Greek but Hebrew letters.
23.
by jks 2y ago
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 denote something in your formulas.
24.
by jks 2y ago
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 more roles, such as the axe-wielding lone killer, th
25.
by jks 2y ago
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 stopped Wayback Machine from crawling it:
26.
by jks 2y ago
> obviously not the best move for one's career Apparently he no longer has the "Autoweapons" article from 1987 on the web. It's probably on the Internet Archive somewhere. (Previous Hacker News discussion on that arti
27.
by jks 2y ago
Previously: https://news.ycombinator.com/item?id=21668685 https://news.ycombinator.com/item?id=21668685
28.
by jks 2y ago
A friend mentioned using control characters in passwords... like ^F and ^B, but not ^C because that's the interrupt character. Feels vaguely risky to me (does ^U empty the line? does ^W delete the last word? does your terminal emulator
29.
by jks 2y ago
Likewise. My last name contains a non-ascii character. In ~2009 I started at a company whose admin conveniently set up an account for me on their Ubuntu server... on which no-one could then log in locally because the login manager crashed w
30.
by jks 2y ago
PETSCII? On the Commodore 64 you could press the Commodore key and Shift together to change character sets between lowercase and the graphical characters. But the Unix login thing might have been because of teletypes? https://www

More ›