Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Strilanc
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
70 ms
·
811.
▲
by
Strilanc
12y ago
I don't think that's quite right. First of all, a spatial dimension is a degree of freedom per particle (two if you count velocity). Second of all, physics equations often represent many constraints. For example, `p2 = p1 + v t`
812.
▲
by
Strilanc
12y ago
This is funny, but more practically I think I'd prefer a classifier that identified viral headlines and just replaced the link title with "[garbage]".
813.
▲
by
Strilanc
12y ago
Actually, it could move a lot. For example, consider what happens when averaging (0,1) and (0,-1) in cartesian coordinates vs polar coordinates. In cartesian coordinates you get the midpoint at (0,0), but in polar coordinates both have the
814.
▲
by
Strilanc
12y ago
The averaging is happening in RGB space, not an HSV-esque space. There's no obvious reason to expect the hue to end up averaged. For example, the RGB average of red and blue is not orange; it's pink or purple.
815.
▲
by
Strilanc
12y ago
Some of the migraine aura symptoms are terrifying. My ex temporarily lost the ability to remember most words, including "door". Even after being told them, they were gone again seconds later.
816.
▲
by
Strilanc
12y ago
Fermi estimate time! Anagrams are just sentences with the same letter counts. The anagrams they're posting have 25ish letters... how many ways are there to distribute 25 balls into 26 bins? (25+26)!/25!/26! is ~250 trillion.
817.
▲
by
Strilanc
12y ago
If there was a certificate that could be verified faster, then that would be used as the proof instead. For now we're stuck with the ~900K lines of code and 5K cpu hours. I wouldn't be surprised if there's probably a lot of r
818.
▲
by
Strilanc
12y ago
This was far more than a brute force search. Thomas Hales did a talk about the proof and during the QA he mentioned that the proof was improved a lot as part of formalizing it into HOL. The process even lead to solutions of other problems [
819.
▲
by
Strilanc
12y ago
One of the unmentioned advantages of style "A", passing in a pointer to where you want the result, is that the caller can trivially switch allocators if they need that speed (e.g. a specialized slab allocator is much faster than m
820.
▲
by
Strilanc
12y ago
Data is valuable. To historians it is intrinsically valuable, but it's also instrumentally valuable for machine learning. Even the terrible stuff can inform language models for understanding the good stuff.
821.
▲
by
Strilanc
12y ago
Celsius is metric at its weakest only in the sense that Fahrenheit is the imperial system at its not-worst. Everyday temperatures don't vary enough to create the need for multiple units, like what happened with distances, so there'
822.
▲
by
Strilanc
12y ago
You don't just want good words, you want to position yourself so your next move is also a good word. So you don't just have to iterate over the current board, you have to iterate over all possible upcoming boards. But it's
823.
▲
by
Strilanc
12y ago
One way to do very case specific pattern matching in C# is to write an extension method that takes a lambda for each case. For example, my maybe type for C# has `Match`: may.Match( () => print("None"), val
824.
▲
by
Strilanc
12y ago
> Genome analysis suggests that the two species are swapping genes at a surprising rate. But each species has genome segments unique to its own kind, which seem to persist despite the mixing of the rest of the genome. If the population
825.
▲
by
Strilanc
12y ago
The overzealous HN title will no doubt be updated shortly (currently says "NSA-proof iPhone calls to dead anarchists", should say "Free, Worldwide, Encrypted Phone Calls for iPhone". I highly doubt Moxie / WhisperSy
826.
▲
by
Strilanc
12y ago
I have to admit, I find it odd that we name immutable data structures based on what they don't do instead of what they do. Of course, what they do is efficient persistence . You want a snapshot of the data? You want a non-volatile ref
827.
▲
by
Strilanc
12y ago
It's likely that there are many ways to turn it off, and without selection pressure they all randomize. If there's 10 codons needed to make it work, and there's no selection pressure, then there's only a one in a milli
828.
▲
by
Strilanc
12y ago
The flaw there wasn't the number of significant digits, it was not taking into account the probability of false positives and bugs.
829.
▲
by
Strilanc
12y ago
I think that quantum physicists do get an (imperfect) intuition for it, but they can't communicate it to laypeople because the inferential distance is too high. I also think that it takes awhile for societies to internalize these thi
830.
▲
by
Strilanc
12y ago
> I have a pretty nice picture in my head of vibrating proteins and the chaos it is down there (Movies such as this one: https://www.youtube.com/watch?v=yKW4F0Nu-UY are extremely misleading!) That's really interes
831.
▲
by
Strilanc
12y ago
There's no need to search all move sequences, because so many of them end up in the same game state (a game state is a combination of positions and orientations of arrows, with a cut off on positions because far away ones because don&#
832.
▲
by
Strilanc
12y ago
I hope Scott Aaronson blogs about this article, because it espouses several of the wrong-facts he complains about and then cites him . - Limitations on computers within physics are not limitations on physics itself . Analogously, you ca
833.
▲
by
Strilanc
12y ago
You're confusing things that are good when explaining with things that are good when optimizing. Simplicity is a huge explanatory advantage, because simple things generally have exponentially higher prior probabilities. But simplicity
834.
▲
by
Strilanc
12y ago
Probably referring to the definition, not the difficulty.
835.
▲
Boxing Megaspheres
(strilanc.com)
3 points
by
Strilanc
12y ago
|
0 comments
836.
▲
by
Strilanc
12y ago
I prefer the operators at the start because the start is less jagged, so the operators don't get spread out so much and stand out more. Usually I only put them at the end of a line in languages that do implicit line endings, and will f
837.
▲
by
Strilanc
12y ago
This problem is important enough to justify multiple attempts in parallel, despite the redundant work.
838.
▲
by
Strilanc
12y ago
> If we're talking about bad AI, shouldn't we ask why it would want to kill us? The AI doesn't want to kill you. It is indifferent to you. The problem is that you're made of resources it can use... [1] > it's
839.
▲
by
Strilanc
12y ago
Makes me think of "Artificial Addition" ( lesswrong.com/lw/l9/artificial_addition/ ): > A human could tell the AA device that "twenty-one plus sixteen equals thirty-seven", and the AA devices coul
840.
▲
by
Strilanc
12y ago
The interactive visualization is focused on net migration, but the article is focused on differences in migration based on education. Is there a place I can get the raw data?
More ›