lwerdna

I don't follow. In a secretary problem, you have multiple offers, but can consider only one at a time, and cannot revisit past offers.

If there only one company can unlock, then it's just a 1:1 negotiation.

If there are multiple companies, Stefan can review bids and accept the lowest.

You're not alone. I've even tried to dream up ways to "humanely" vaporize them so they wouldn't suffer being at the bottom of a trash heap with old food and what not dripping on them, their innards squeezed out, which is sure to be their fate if I donate them. And now I see the same illogical attachment tendencies in a couple of my kids. It's a burden.

Yes I am.

Though I'm not sure it's quite as bad as the countless Wordle headlines from a couple years ago.

> The most interesting result from this study was the change in the spread for HRV.

Did your HRV increase, indicating better health? How are you measuring it?

> I was able to break an 8 minute 2k row when I did it with cyclic breathing.

Can you explain more? Search results for "cyclic breathing" return many varied results. Are you performing it while during the row, or in preparation for it? I can get 2k meters under 8 minutes, but I'm gasping at the end.

What's the make/model of your hearing protection?

I'm interested in this bit:

> ...lets me write codeblocks in my notes and turns my note taking system into a literate programming environment. So I have for example a self-written plugin that applies transformations to existing pages to incorporate the sort of question templates suggested in books like How To Solve It or on websites like untools.

Do you have any posts or additional information on this in particular?

This is very relatable :) A workmate and I have fun making variations of "A monad is just a monoid in the category of endofunctors!" and sarcastically suggest the other tries OCaml, Haskell, or Idris when something isn't going their way.

- How type theory can prove mathematical theorems. I can limp through the first exercises of Software Foundations, but eventually realize I'm just "making it work" instead of knowing how it works. Only made it halfway through My Little Typer and even implemented STLC and used it to prove simple propositions with implications. But I still couldn't tell you how dependent types magically make it possible to prove real theorems.

- How opamps work and how they're used to make a differentiator.

- How quantum computing works. I want understand it to understand why factoring and discrete log fall to QC but not the post-quantum algorithms. I never make it past the intro chapters.

- What exactly makes cryptographic hash functions have desirable properties like collision resistance? Bits go in, bits go out, why can't full observation of the process not yield a method to construct inputs for a target output? Similar questions for block ciphers. It is much easier to "see" the impossibility in public key schemes because you can play and experiment with the math. In symmetric algorithms it looks like just a bunch of arbitrary bit operations.

EDIT:

- Relativity. I accept things like time dialation and nothing can go faster than the speed of light. But I have no idea why you would experience less time passing than me after a high speed rocket trip when, from your perspective, you saw me on a high speed planet trip. Or what prevents a rocket in space with 3m/s^2 acceleration from reaching the speed of light after 100,000,000 seconds.

Amen.

Reveddit is great, thank you!

Thank you. I'm also looking for a tool which will find when one file contains a scaled image in another file, or is a crop of another.

> I've found that the greatest benefit of cloud storage is not as a backup, but as our primary place to keep and look at photos. We started uploading and organizing everything in Flickr a few years ago, and now we spend more time enjoying our photos with Flickr's web and mobile apps than we ever did when they were scattered across our laptops and backed up to an external hard drive.

This is a good point. I was 100% anti-cloud for my photos, but have to admit the barrier of bringing out the external HDD and hooking it up to a PC means we hardly ever look at them.