HackerTrans
TopNewTrendsCommentsPastAskShowJobs

jks

no profile record

comments

jks
·10 miesięcy temu·discuss
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't notarized, so it's not really clear if it has a future.
jks
·11 miesięcy temu·discuss
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
jks
·11 miesięcy temu·discuss
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.
jks
·12 miesięcy temu·discuss
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 annul the work agreement during the trial period. But selling the business to investors or having financial difficulties because of the economy are not acceptable reasons, since they are not related to the specific recently-hired employee.

It cuts both ways: the employee can walk out during the trial period for reasons such as feeling like they didn't fit in, or the work being different from what they imagined. But if they merely find a better-paying job elsewhere, they cannot invoke the trial period but have to give notice in the usual way.
jks
·w zeszłym roku·discuss
Why the number 2,280? What keeps you from adding peasants until your projectile travels at 0.99c?
jks
·w zeszłym roku·discuss
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 since the point of these would be to get them made individually.

I would assume that your local audiologist or music instrument store will know what the U.S. equivalent to these is. It seems to me that Elacin's biggest market is musicians who want a comfortable pair of earplugs with a flat frequency response.
jks
·w zeszłym roku·discuss
These custom earplugs are the most comfortable I've ever worn:

https://www.elacin.com/your-perfect-fit/leisure/relax-sleep/
jks
·w zeszłym roku·discuss
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 operate, but I like the masking noise.
jks
·w zeszłym roku·discuss
curl wttr.in
jks
·w zeszłym roku·discuss
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 the Cursor rules to steer it in the right direction.

When the model has the wrong solution in its context, it will use it when generating new code, and my feeling is that it doesn't handle the idea of "negative example" very well. Instead, delete the bad code and give it positive examples of the right approach.
jks
·w zeszłym roku·discuss
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 be in its training set, it would seem kind of unlikely.

https://x.com/mbalunovic/status/1907436704790651166
jks
·w zeszłym roku·discuss
Heh, U+1D504 MATHEMATICAL FRAKTUR CAPITAL A seems to have been filtered out of my comment, perhaps because it's outside the BMP.
jks
·w zeszłym roku·discuss
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.
jks
·w zeszłym roku·discuss
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.