Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
schoen
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
62 ms
·
811.
▲
by
schoen
3y ago
I still have an unopened can of the commercially-brewed OpenCola personally given to me by Cory Doctorow about twenty years ago! (Plus two opened cans, which I saved after I drank the contents.)
812.
▲
by
schoen
3y ago
Currently 19, I think: https://en.wikipedia.org/wiki/Screening_Partnership_Program
813.
▲
by
schoen
3y ago
Fun "crossover" observation (ROT13; spoiler for first night) Gur fheanzr bs gur crefba jub vf gur nafjre gb #1 yvgrenyyl zrnaf 'sve gerr' (nf ersreraprq va n snzbhf Puevfgznf fbat).
814.
▲
by
schoen
3y ago
Oh right, that makes perfect sense. Thanks.
815.
▲
by
schoen
3y ago
Hmmm, isn't the number of proofs to check normally exponential in the length of the proof? E.g. if there are n proofs with length k (characters, applications of rules of inference, intermediate steps), shouldn't there be n² proofs
816.
▲
by
schoen
3y ago
Were there actually legal restrictions on those things in many places prior to the routinization of passports and passport controls in World War I?
817.
▲
by
schoen
3y ago
> "Can a math proof be reached (within a certain number of proof steps) from the axioms?" - equivalent to the halting problem in most practical systems ( https://math.stackexchange.com/questions/3477810/
818.
▲
by
schoen
3y ago
Sounds like fun! What is the language of the event? I have a Brazilian friend who would totally have loved this (he speaks both English and Portuguese so I'm sure he would happily participate either way; I'm just curious).
819.
▲
by
schoen
3y ago
Is there a Bloom filter equivalent for efficiently searching whether a variable-length string is (or, more challenging, contains!) a substring of a very large string? I think the classic Bloom filter is suitable when you have an exact-match
820.
▲
by
schoen
3y ago
Thanks! Do you happen to know of other examples?
821.
▲
Ask HN: Was there a specific SaaS "clone" scandal for an open source project?
4 points
by
schoen
3y ago
|
4 comments
822.
▲
by
schoen
3y ago
> One that changes color based on where the calculus on your teeth accumulated, so you can target you brushing. This exists, although for some reason I'm not aware that it's available as part of a toothpaste. (Maybe the toothpa
823.
▲
by
schoen
3y ago
> that cannot use NIST cryptography Do you mean as a matter of Donenfeld's engineering decisions (that those algorithms are unavailable in WireGuard)?
824.
▲
by
schoen
3y ago
https://en.wikipedia.org/wiki/O%27Reilly_Media#Early_days > The original cover art consisted of animal designs developed by Edie Freedman because she thought that Unix program names sounded like "weird animals&
825.
▲
by
schoen
3y ago
I remember this very fondly from my childhood. I did actually send away for a couple of the mail-order things in there! I guess this should say (1982).
826.
▲
by
schoen
3y ago
I tried looking up "Korean invasion of Madagascar" and "Role of coronary artery disease in the fall of the Roman Empire" and it generated articles for both. Something like this would especially benefit from the language
827.
▲
by
schoen
3y ago
Yes, I guess I was implicitly assuming that the investor only had these two options, which might be a good model some of the time, but not typically. You're absolutely right in the more general long-term case.
828.
▲
by
schoen
3y ago
I spent longer than I would like trying to figure out your clever joke here. But it turns out that you actually meant the disease, scurvy... that Sam Altman contracted a little over a decade ago, according to the article.
829.
▲
by
schoen
3y ago
I guess another place that's especially apparent is film budgets. Very expensive films are going for a chance of a huge payout. A film studio, or its investors, might very well prefer a 50% chance of a $5,000,000 profit on a $20,000,00
830.
▲
by
schoen
3y ago
I thought the headline meant that this was going to present Signal as an example of the bloat, but it's the reverse: the article says Signal has only 50 employees but still successfully operates a major communications service, where ot
831.
▲
by
schoen
3y ago
This reminds me of Eatsa in San Francisco (a vegetarian automat that I think went under during the lockdown). But the food there was prepared by humans and the robot part was the cubbies that you would grab it from. I ate at Eatsa a couple
832.
▲
by
schoen
3y ago
I was there! And I recognize so many people in the video. And they look so young, of course. The large penguins held up by Rick Moen (early on) and Eric Raymond (later) were mine, and I still have them. I also still have the letter that Mic
833.
▲
by
schoen
3y ago
https://en.wikipedia.org/wiki/Does_exactly_what_it_says_on_t...
834.
▲
by
schoen
3y ago
There was another thread a few years ago where someone suggested reporting to US-CERT or another CERT. It has some advantages like "they know what a credential leak is", "they know that people reporting security issues aren&#
835.
▲
by
schoen
3y ago
One attempt could be "it allows us to make better predictions about the mind". This article mentions excitement about neural networks overgeneralizing verb inflections, which human language learners also do. If neural networks lea
836.
▲
by
schoen
3y ago
Your sense of heat when touching things is mainly due to conduction, not radiation, isn't it?
837.
▲
by
schoen
3y ago
Huh, kind of like how standing next to a highly sound-absorbing material can be painful or disorienting, making your brain think that your ear is damaged or blocked somehow?
838.
▲
by
schoen
3y ago
It's super cool, but maybe not a great idea for safety? Like from some angles you might literally not be able to see it at night, even under streetlights or when illuminated by another car's headlights. And also from some angles i
839.
▲
by
schoen
3y ago
I was going to ask if you could plausibly get R, G, and B components that were all numerically greater from a sample object that physically reflects less light of each color, using a real camera sensor and real firmware. It seemed to me tha
840.
▲
by
schoen
3y ago
The character rendering is much less context-dependent than Arabic, but Hebrew does have a few final forms which are different at the end of a word, so one can't strictly say that Hebrew characters will never change as a result of addi
More ›