skysight-inc/HackerNews huggingface dataset:
If you've defined the natural number 2 to be an arbitrary set with cardinality 2, you're including sets which contain the number 2. That's the basic form of Russell's paradox.

If you define the natural number 2 to be the category of pairs, your objects are the sets with cardinality 2, and your relations between objects are equivalence relations. As a consequence your category 2 will contain sets which contain itself.
Nice, although the derivations are a bit hard to digest for a human...

I still dream of a mathematical knowledge base in which one could drill down layer by layer until reaching basic axioms. Or let’s say you’re reading a proof and don’t understand how some step follows from the previous (happens frequently when reading papers in a foreign field). In this knowledge base you could increase the level of detail for that step to see a more detailed version of the derivation, sort of how you can zoom into Google Earth. Of course building such a web of mathematical knowledge would require an enormous amount of work, but maybe it could be crowdsourced like Wikipedia; e.g. someone writes a high-level proof for a theorem, and then other people could fill in the gaps in increasing levels of detail, or add references to related theorems/corollaries.
Huh, literally never thought of it that way. We put a ton of trash into space - someone is probably, at some point in the future, going to say "what the fuck is that" when Voyager goes flashing by!
Endlessly re-calculating SHA-256 over and over is not some beautiful mathematical principle.
There are mechanisms by which tiny particles may bond over time without becoming more dense. The only prerequisite is that individual atoms or molecules can move on the surface of the particles. This is true for a wide range of conditions, but usually is extremely slow.
1) Define usability? Syntax?
2) Which language do you find "usable"?
The LIBOR scandal was predicated on them using online chat rooms, instead of just the kind of proven “wink and a nod over drinks” that’s being alleged here. In essence, they took an even bigger risk than what is being described in this article, and as you say, for lesser rewards.
My favorite movie recommender is Gnovies:

http://www.gnovies.com

Apparently it uses AI to predict which movies you like.

In contrast to taste.io you don't need to sign up. You can get recommendations right away.
It's likely because there is no ranking structure. DotA 2 used to have nicer community, until rankings were implemented, at which point the number of people who explode at the slightest error very noticeably blew up. Once you add in rankings, not only do people get mad at any possible chance of losing rank points in ranked mode, unranked mode becomes seen as a playground where a certain contingency of people think it's okay not to try at all. As a result the game deteriorates in quality no matter which path you pick.
Depends how involved in HN you are already. I have already submitted links to my sites a bunch of sites over the last few years so figured it makes no difference at this point.

Looks like you have too, so what are you waiting for :D
>How would you even start to manage photos in the file system? By name?

Photos is actually an exception for me due to the personal nature of them. I group them in directories based on date ranges and events. I don't want to upload them to some webapp or cloud storage for privacy reasons.
Cybarrior – Creating Next Generation Cyber Warriors
>Of course, I don't. That's not what I've been saying at all!

Right. So, the point is that if you know the purpose of affirmative action is not to mitigate racial inferiorities, yet you make the argument that affirmative action isn't needed because there aren't racial inferiorities, then your argument is obviously disingenuous.

That is, there's something else motivating your distate for affirmative action; something you'd clearly prefer to conceal. But, the rest of your comment offers a clue.

In any case, if you find people unwilling to engage in a discussion with you "for the common good", it's because they see through your transparent attempts at misdirection.
Interesting. Because my /etc/hosts file had the following as a default:

127.0.0.1 localhost.localdomain localhost
::1 localhost.localdomain localhost

I thought it was `.localdomain` that was reserved.
I am honestly very curious about what file structure you use for your ebooks. After 500 or so, I threw up my hands and just wrote some Perl scripts to flatten the filenames into something meaningful, and threw them into a big git-annex repository.

I have at least two dimensions I'm dealing with: title, and file type. Really though, it's nice to also organize by genre, and year.

I also dislike most of these walled garden library apps, and they are usually poorly written and obtuse. I would love an app that can scan my existing ebook repo, and then also create an index database, and make the books available on my mobile device.

One pattern for sharing my rigidly structured data from my desktop to my iPad, is to just share my working tree over Dropbox, because I use git-annex for my file collections. That way, I have automatic syncing of the files, but also the safety of snapshots. If I do want to incorporate a change I make on a mobile device, I can simply make a commit on my desktop, but if some poorly written app decides to start screwing with my metadata, I can re-check the files out. OSX Preview.app is infamous for this.
I would even venture to say the average user also finds Calibre complex. Would you mind taking BookFusion for a spin?

We have uses with over 30,000 eBooks in their libraries and will be able to support your collection without issues. BookFusion allows you to easily upload, read and organize(tags and categories) your eBooks.

Your entire Calibre eBook collection will be available across all your devices while keeping your bookmarks, comments, highlights and reading progress synced.

More at https://www.bookfusion.com/reading/cloud-library

We even have a Calibre plugin that will allow you to easily sync your entire collection or only eBooks you are interested in.

https://www.bookfusion.com/reading/calibre

PS: I am the founder of BookFusion
Is your dog managing your social media or something? You have me cracking up with your focus on dog training. By your reasoning everyone is walking around addicted to everything. Granted, the weak do fall into this trap; however, did you know there are people endowed with a magical capacity called will power that just use these sites for their basic function and leave, not spend all day occupied with it. We aren't dogs man. Please don't use your dog training wisdom to justify your addictions to things, if that's what you are doing. You can rise above that. You can be aware of things that make you addicted and resist the temptation. You are a being capable of self reflection, you can think about your own thoughts. You can see what is dragging you down. Rise above and look into yourself. Break your collar and join the human race.
My take on Bay Area food culture is that people are too caught up in the rat race to perceive the difference between good food and expensive food.

This results in inflated prices and inconsistent quality, with an emphasis on over-salting, sugaring, buttering things (as the lowest-common-denominator market demands).
> as safely as multiple sites can coexist in Chrome tabs

Chrome tabs usually run in different processes. It sounds like Cloudflare is using JS isolates within the same process to run many customers.

This sounds scary to me. For security, the Chrome team assumes that any code running in the same process has access to the whole address space of that process due to all of the recent speculative execution issues (Spectre/Meltdown).

I've seen comments on HN say that this isn't a problem for cloudflare because they do special things with all of JS timing APIs and a few others to mitigate.

Will be interesting if they are able to make this secure. Millisecond cold startup times will be amazing for development.
I guess after all these years Carl Sagan's observation still makes a lot of sense to me. Extraordinary claims demand extraordinary evidence. So far I've only seen ordinary and interesting evidence.
Anthem Review: BioWare’s Sky-High Gaming Ambition Crashes Back to Earth
In the past few years I've been to public libraries in Espoo, Helsinki and Vantaa. They all have the same modern vibe as Oodi (although less glamorous buildings maybe).

>If you need to study the university library is just around the corner. Or the library of the national archives if you prefer a tomb-like silence. Or the one on Rikhardinkatu for the more classic milieu. Choice is good.

Thanks for these recommendations, I have to check them out. The only problem is that to go to a university library is that they are mostly (afaik) in the city center. Kind of a trek for someone from neighbouring counties.
AFAIK we don’t have many satellites around the other planets. I think we need many more. Each planet could have at least one telescope, comms satellite, etc
I'll say this much as a new Tesla owner - they have at least 3 systems. Their internal system which drives anything you see on tesla.com or the app, Salesforce for tracking customer interactions and the source of truth for some order state, and third party freight platforms used for shipping cars around. These systems do not automatically sync and require human intervention to keep up to date.

I originally test drove in Boston and placed my order there. I informed them I would take delivery on the west coast and they set that up for me. I later found out about the three systems when my car was weeks late for delivery. No one seemed to know where it was or where it was headed. Tesla's internal system said it was en route to Hayward, CA. Salesforce said it was headed to a different location that turned out doesn't do deliveries. The shipping company said the car was headed to New York. The car's GPS pinged it to a railroad track in Georgia.

My experience is an outlier, but it does indicate that these APIs might not always be correct.
From the license page: https://redislabs.com/community/licenses/

> Is Commons Clause open source?

> According to the Open Source Initiative (OSI), open source licensing cannot limit the scope of a license – it only applies conditions to exercising it. With this model, no one can stop you from doing whatever you want with the software, whether commercial or non-commercial, or (famously) good or evil. Therefore, the no-sale restriction imposed by Commons Clause means that any software under this new license is non-open source by definition. However, in practice, Commons Clause only adds a limitation concerning fair use, and we believe that both licensing approaches share the same core value of making software available for use by anyone.

That's a long way of saying the new license is not OSI-compliant. The new license is BSD with a common clause which according to the president of OSI, this clause instantly renders it non-approved.

https://www.zdnet.com/article/open-source-licensing-war-comm...
Caveat though: in a competitive market, all projects will tend to move towards margins of Project A (or worse). When all low-hanging fruits are long gone, and bosses are still trying to optimize some more, tightening control to eliminate variance starts to make sense... for the company.

It seems to me that human values like happiness and respect can only exist where a market isn't efficient yet. It certainly seems so if you look at worker treatment vs. margins/competitiveness.
Looks very cool!

I have a question - with AI nowadays that can dominate pretty much any board game - is there any hope for anyone 'hand coding' a strategy here against someone who just trains an AI model.

How does the problem space change in a game such as this where it may be 1v8 opponents vs a 1v1 game such as chess I wonder
The "fuzzy but statistical guarantees" is basically "error correction". Which is (handwavily) the difference between digital and analog computing. What you are describing is the engineer's definition of a digital computer. Admittedly, there might be interesting performance gains if we use less stringent statistical guarantees... which happens to be what is happening each time we make the transistors smaller and more susceptible to noise.

C.f. the paper that introduced the distinction between analog and "statistically guaranteed" digital in the case of classical computers (before it people were arguing that you can not build a scallable classical digital computer because of noise): by von Neumann http://www.sns.ias.edu/pitp2/2012files/Probabilistic_Logics....

The paper that did the same for quantum computers 50 years later: by Shor http://www-math.mit.edu/~shor/papers/good-codes.pdf

P.S. FYI DWave is not a scallable quantum computer. They have another "quantumy" word for what they do, so that they can keep the hype without angering people that are trying to build an actual quantum computer.
So what if they suddenly left the jet stream, for example flew a bit below or besides... If that's possible... and happened to be in normal wind speed, the plane would disintegrate due to sonic boom?
Scalatron[0] is a fun one. There's also screeps[1] available on steam. Screeps is probably my favorite because it supports webassembly. So you can use any language with it, like Rust, C++, etc...

[0]: https://scalatron.github.io/

[1]: https://store.steampowered.com/app/464350/Screeps/
Logistics and trucking involve a lot of cross border trips. I don't know that they would mind all that much.
I’m a bit under the weather, so my comprehension may be lacking, but I think you’ve got your signs reversed (or your head/tail terminology flipped).

If tail wind (moving with the plane) were negative, then air speed would exceed ground speed. Intuitively, that doesn’t make sense. Air speed can only exceed ground speed if the wind is blowing in an opposing direction, i.e., the plane must travel faster against the wind to achieve the same speed relative to a ground observer.
If the wind is unstable, and slows down, can't the plane break it just out of inertia?
While I do love the "ejected from another star" idea, the probabilities of something being ejected from another star in the correct direction AND being captured by our Sun is so vanishingly small that it's far, far, FAR* more likely to be a remnant of when our own star formed.
I've been there. In my idealistic grumpy old man world, I'd rather have the main area silent and if you want to have a chat, just book a room :)
> Redis Labs CEO Ofer Bengal told me the company’s isn’t cash positive yet. He also noted that the company didn’t need to raise this round but that he decided to do so in order to accelerate growth. “In this competitive environment, you have to spend a lot and push hard on product development,” he said.

I'm always amazed how startups like this where R&D practically cost nothing are not profitable yet after years in the market and thousands of customers. C'mon guys 99% of the work is already done by antirez and the open source community.
Great study! Only gripe is that most trolling I get in online gaming is through voice chat. They also seem to troll me a tad bit more if I have a mic plugged in but I'm not talking. I suggest a re-run of this experiment recording the audio in case we get wildly different results. In a one-party consent state if you want to play it safe. ;)

I also think it will vary game by game. I don't play a lot of games. Most are shooters like Modern Warfare, Battlefield, and Mass Effect 3. Modern Warfare 2 and 3 on Xbox brought in more trolls in voice chat than all my others combined except maybe GTA V. In the last one, you play as a vicious thug causing problems for everyone around you. Them being pricks makes more sense. The difference in shooter games, though, was more interesting given it might reflect different sub-cultures in gaming. Specifically, MW is designed to appeal to largest number of people with lowest barrier to entry and patience required. Might self-select for higher percentage of jerks. Whereas, Battlefield 4 and Mass Effect 3 push people to work together more for best results.
Notice this guy joined Twitter in December.

There was a similar "order site" hack back when we were waiting for delivery of our car. I can't remember precisely, but there was a way of finding some hidden status info in the JSON.

I'm extremely suspicious of his conclusions -- particularly the one saying there are tons of RWD Long Range cars just sitting around for... reasons. It doesn't pass the sniff test. They stopped making them last year -- he says October, I thought it was even earlier. You're telling me, at the end of the summer, when they were just catching up with demand, they discontinued the LR, and just haven't bothered to try to sell any of them since then? Nobody's willing to pay a few thousand more than the MR for the LR battery? Nobody's willing to save a few thousand on an AWD LR, by dropping the 2nd motor?

Let's be really clear here -- Tesla is NOT SELLING an RWD LR 3 in the US at this stage. The claim that they have them in inventory but aren't selling them just beggars belief. To what end? To drive slightly higher margins on the AWD LR 3? At the cost of having inventory just sitting around rotting?

I also wonder if he's sure they're US cars. For 3 weeks solid I saw at least one transporter full of Euro-spec 3s going up 101 to SF to be shipped overseas. Some days I saw 2 or even 3 transporters, which is impressive since I only spend maybe 30mins a day on 101. I'm sure as US demand softened, they built up inventory of cars to ship to Europe where there's still pent-up demand, so maybe that's what the inventory was?

Clearly the tweeter is claiming demand is so soft that they can't sell them, and I certain't don't think this purported excess of LR RWD inventory holds water.
It’ll be used to clear homeless out of underground / tight urban spaces just for starters
Signed up for the newsletter - this guy can market!
These are seasonal and for recruiting but you might be interested:
https://halite.io/
https://terminal.c1games.com/
What was the malloc's original usecase? Storing logs?
I stopped buying books from Amazon and returned to buying from a local independent bookstore.
Would like to try the app.
Downloadet it.
Have to sign up for an account.
Will sleep on that.
Emacs Cider 0.21
Terraform Use Cases
I tried it on Firefox and it works fine! I just needed to change the value of <secret_key> to a key I created on their website (or else it fails silently, it would be cool to have some console message I think).
There are a bunch of analyses at https://github.com/rose-compiler/rose-develop/tree/master/sr..., it wasn't that hard to get there with four clicks.

Of the ones you mentioned, there is what appears to be a Steensgaard analysis.
They are banking on a large segment of players just not noticing the lag.

It scares me because I absolutely do notice the lag, and I can see publishers wanting to move to something like this exclusively in the not too distant future.
If you're looking for something easy to get started with digitalocean / linode offer reasonable plans ( and you can always host a site or something with the extra power you'll have spare )

Alternatively aws offers 12 months limited 'free' usage on many of its services last time I checked - you should be able to use their most basic ec2 instance within that free tier I believe
main article link: https://physoc.onlinelibrary.wiley.com/doi/10.1113/JP276904

It seems as though the authors are advocating for the role of extracellular electric fields to enable spiking. This is known as ephaptic coupling, which is a fairly well studied phenomenon, but it is unknown the degree to which it contributes to standard computations and processing within different neural systems.

https://en.wikipedia.org/wiki/Ephaptic_coupling
Just make a jet stream going the other way at a different altitude
Can you expand on this?

Yes, maybe more than you want. :-)

Abraham Robinson's version of non-standard analysis went like this.

You start with the standard model of the real numbers and associated concepts like sets, functions, and so on. Using something called the ultrafilter construction, you construct a new, larger model of the real numbers+stuff, and a mapping from the standard model to the nonstandard model. So we have nonstandard numbers, nonstandard sets, nonstandard functions and so on. Some of which are just mappings of the standard ones, and others of which are new.

Thanks to something called the transfer principle, all statements in first order logic about things involving real numbers remain true about the nonstandard versions of the same.

In other words within the nonstandard model, the world looks the same as within the standard model. But there is a key feature. From the construction we know that the nonstandard model has numbers in it that are closer to 0 than any real number except 0. That set is the infinitesmals. The infinitesmals are a set identifiable from the construction, but are NOT a nonstandard set. And 1/infinitesmal gives you infinite numbers whose absolute value is larger than any standard real.

Now here is the point of the whole construction. Suppose that (f(x + dx) - f(x))/dx only varies by an infinitesmal from a non-standard version of a real across all possible infinitesmals. Then it turns out that that real is the derivative in the usual notation. Similarly if a Riemann sum that breaks an area into N pieces always gives the same answer to within an infinitesmal for all infinite integers N, then it turns out that the function is Riemann integral, and that answer is the actual integral. And with these two insights, most of the handwavy arguments that people used to use can be rescued.

Some mathematicians have found that the infinitesmal notation helps them think through problems, and a some important new theorems were proven using this approach. However those proofs can be translated back to more standard notation. Many students intuitively prefer the infinitesmal notation over limits. But when you unpack it, does it make sense to invoke the axiom of choice to define the derivative? (The ultrafilter construction uses the axiom of choice. Alternatives exist, but they use complex model theoretic mechanics under the hood. Really understanding them requires a lot of machinery.)
Darkest Dungeon 2 Coming: Exclusive Preliminary Details
Automate Your Workflow with the Bitbucket Cloud and Clubhouse Integration
I did a talk on it at Hadoop World or some HortonWorks conference one year. Don't know where the slides when though.
That's the root of the problem, though. You're bringing up symptoms of the problem, not the root causes.

The problem isn't that he has a nuclear football installed in his summer dacha.

The problem is that the nuclear football exists, and that there exist two men that can, at a whim, end the world.
Well, there is this entire science describing the universe and how it works you see, and that science makes certain prediction about things like how easy it is to kick something out of a star system and how likely a rock thrown in a random direction on the other side of the galaxy is to hit a our particular sun.
In the Assassin's Creed beta, the input lag was barely noticeable most of the time.

For competitive games it's likely unuseable, but for a game like Assassin's Creed, where super-quick input isn't very important, it's perfectly fine.
https://www.pommerman.com/
XFiles: An Open Source General Purpose File Manager and Archiver for Android
0.14% is enough to throw the number off by 1mph so it isn’t irrelevant.
James C Scott argues that if you got to choose, you might prefer a dark age, because people in so-called dark ages were better off, as they weren't being "managed" by leaders more intent on legibility for social control than the wellbeing of people.