jks

10 か月前議論

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 か月前議論

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

12 か月前議論

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 か月前議論

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

昨年議論

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

jks

昨年議論

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

昨年議論

These custom earplugs are the most comfortable I've ever worn:

https://www.elacin.com/your-perfect-fit/leisure/relax-sleep/

jks

昨年議論

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

昨年議論

curl wttr.in

jks

昨年議論

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

昨年議論

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

昨年議論

> 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 backward compatibility (search for "A torture test for TeX") and there are so many equations written in TeX documents that it would be impossible to change the parsing now.

That said, something like MathJax would be free to create their own TeX-like syntax where parentheses are automatically paired.

I for one often find myself wanting more control, writing `\bigr]` or `\biggr]` instead of `\right]` to get the rendered equation to look good.

> And while rendering `(a+b)/a` as a `\frac` is opinionated, honestly, the only reason why this occurs in my notes is when I was too lazy to type `\frac{}{}`.

Plain TeX has the much nicer syntax `{a+b \over a}` but for some obscure reason LaTeX recommends against that.

jks

昨年議論

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 understands hexadecimal.

https://www-cs-faculty.stanford.edu/~knuth/news08.html

jks

昨年議論

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.
    Postmaster Tools requires that your domain satisfies certain conditions before
    data is visible for this chart. 
    Refer to the help page for more details.

The help page has no useful information. I suspect that I sent too little mail for it to register in their systems at all.

Outlook was even worse, and I just told my Outlook users to change providers.

Eventually I capitulated and got Google Workspace, and now everything gets delivered perfectly.

jks

昨年議論

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 get to play the "my emails are randomly dropped today while everything looked fine yesterday" game.

jks

昨年議論

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

jks

昨年議論

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 nonnegative integers for the variables, the positive values of the polynomial are exactly the set of prime numbers. (The polynomial also yields negative values.)

When put like this, it sounds like the polynomial must reveal something deep about the primes... but it's another cool magic trick. The MRDP theorem (famous for solving Hilbert's 10th problem negatively) implies that this kind of multivariate polynomial exists for exactly those sets of natural numbers that are computably enumerable, so the polynomials could be seen as a really esoteric programming language for set-enumeration algorithms.

More tricks: https://en.wikipedia.org/wiki/Formula_for_primes

jks

昨年議論

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!

jks

昨年議論

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 fit in your lifetime, so it's a delusion that you could ever get to the end of your to-do list.

jks

昨年議論

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 until next January.

Yet another fun fact: with %V week numbers, the date 2024-12-30 (December 30, 2024) was 2025-W01-1 (the Monday of week 1, 2025). Thus strftime needs two different ways to specify the year: %G denotes the year that goes with %V week numbers, %Y denotes the year that people usually think of when they ask "what year is it". Unfortunately %G comes before %Y on the strftime man page, so people who scan the page quickly can easily pick %G when they really want %Y. I've seen a few bugs caused by this.

I have also seen the corresponding bug in SQL, using IYYY instead of YYYY. This boggles the mind, but apparently when some people read "ISO 8601 week-numbering year", they only see "ISO 8601 ... year", think "yes, that's the date standard we use" and don't care about the "week-numbering" word in the middle.

投稿

Finland's police board requests investigation into carbon-offsetting foundation

Govt corrects inaccurate reports on Finnish PM's alleged 4-day work week

LLVM apt repository switched off due to excessive traffic

Helsinki police fine Uber drivers

Clojure style: accessing maps and records

Need An Artificially Intelligent Robotic System For Sorting Trash?

コメント