- skulkThis doesn't pass the sniff test. How could a civilization supposedly far more advanced than the Inca vanish without leaving the Inca a single shred of evidence of their existence? No tools, no records, no memory at all? Oh, except the giant intricate stone structures they built. A coordinated conspiracy to claim their superior civilizational achievements as their own might be the only explanation of that and that's veering into comedy.
- Randomized algorithms are so damn cool. They really feel like cheating your way out of NP problems. I highly recommend that anyone interested in algorithms studies them.
- yes, if you want ordinal numbers in ZFC you need to take the axiom of infinity. Other than that it's a pretty straightforward construction. If you reject the axiom of infinity you also essentially reject all of standard analysis (using limits to study reals often implicitly invokes the axiom of infinity).
- > There is no infinity at the end of a number line. There is a process that says how to extend that number line ever further.
Sure, but ordinal numbers exist and are useful. It's impossible to prove Goodstein's theorem without them.
https://en.wikipedia.org/wiki/Ordinal_number
https://en.wikipedia.org/wiki/Goodstein%27s_theorem
The statement and proof of the theorem are quite accessible and eye-opening. I think the number line with ordinals is way cooler than the one without them.
- I wonder if it's possible to encode self-replication with these building blocks. Like very simple RNA-like molecules that, if given enough time in a "nutrient" rich environment, can create copies of itself.
- > Besides the functional approach
Nitpick, but emacs and emacs lisp don't seem remotely "functional" to me insofar as expressing computation in terms of pure functions and immutable datatypes. The core datastructures that an elisp program interacts with (buffers, variables) are all mutable and functions (setq, buffer-string, etc) are decidedly impure.
- Google didn't censor covid-related conspiracies or whatever at the behest of the government. YouTube can censor whoever it wants but the US government cannot.
Also, do you have any actual evidence of political debanking in the US? I can't find any references to it other than the propaganda of the current administration.
- > I personally don't see why one would ever want personalized results.
The same short combination of words can mean very different things to different people. My favorite example of this is "C string" because when I was a kid learning C I was introduced to a whole new class of lingerie because Google didn't really personalize results back then. Now when I search "C string" Google knows exactly what I mean.
- Got any recommendations on what cameras to get? The market is absolutely flooded with cheap shitty cloud-connected all-in-one cameras making it hard to find good, simple products.
- Even treating it as a purely optional reward didn't work, at least for me. I remember doing AR and treating it like a game -- find the most points-dense book possible in the school library (for me it was The Hobbit, a whopping 70 points), read a summary of it online to get the details and ace the test. All without even opening the book. Well, I actually did try reading The Hobbit but I couldn't make it past the handful of pages without falling asleep.
- what do you think about OP's 40% VPIP? It seems to me that in low-stakes online play you'd want to play tighter than that, but I know very little about poker strategy beyond what I've absorbed from seeing people talk about it.
- > teleports the founder and his wife to the same location so they can be together in person holding hands - they're already in the same same city and want to meet immediately, so they are 99.98% of the way there! They're both working 10 hours a day to bridge the remaining 0.02%. Following this proof of concept, other people will also be allowed to date, however at the moment all dating is prohibited until the founder and his wife meet successfully.
Uhh.... I.... ok.
- I thought HN caps negative score at -4?
- The reason I like evil-mode is the huge amount of work put into adding vim-style bindings for other nodes (like magit, etc). Would I lose that by switching to something like meow?
- Wolfram Tones uses 1-d cellular automata to generate music. I had a lot of fun playing with this many years ago.
https://tones.wolfram.com/ (not sure if it's still up, doesn't load for me)
- This is off-topic, but it always amuses me that the sentence isn't even a grammatically correct construction in English, and I don't think it was in the 1770s or whenever this was written.
Two consecutive noun phrases separated by a parenthetical is not valid English grammar. The only time I can imagine you'd see consecutive noun phrases is as part of a list of at least 3 elements (like "x, y, and z"), but there is no list here.- A well regulated Militia: noun phrase, - being necessary to the security of a free State: parenthetical phrase, - the right of the people to keep and bear Arms: another noun phrase - shall not be: verb - infringed: adjective - The worst part is that it pushes an item onto the history stack both when it opens and closes. So I need to press back 3 times to go back. It's a small thing to complain about but it's still atrocious.
- It looks like Huntress is a "install this on your computer and we'll watch over your systems and keep you safe, for sure."
I also find it kind of funny that the "blunder" mentioned in the title, according to the article is ... installing Huntress's agent. Do they look at every customer's google searches to see if they're suspicious too?
- This is a very tempting and commonly used strategy in Rust to bypass the borrow checker. I've used it to implement tries/DFAs with great success (though I can't find the code anymore)