skysight-inc/HackerNews huggingface dataset:
That's a funny way to say, "No, I think you misunderstand. I mean to say no single infinitesimal number exists. Like infinity, the concept exists, but as a literal single number, no."
But they were talking about _docs_.
Why would they not increase executive pay, raise prices and deliver worse service? Private industry is not perfect at utilizing resources or delivering great products all the time. You just assume they will deliver a better product, but their undermining of the current system shows that profit over patient outcome is already their top priority. Deregulate so the crooks are less crooked has blown up in our face before.
If people don't accept the former, they can take out a pencil and paper to compute it themselves. After a few digits it will become obvious.

I don't have a direct computation for making the latter obvious, just indirect ones like 1 - 0.999... and 3 x 0.333...
"What do you so deperately need to do? "

What a bizarre thing to ask. As if we need some special justification for wanting the lockdowns to be both effective and as permissive as possible. It would be strange for someone to want restrictions to be more stringent just for the sake of stringency. Efficacy is what matters, and "more strict" does not necessarily equal more effective.

If we knew we could open up school for small children without causing an intolerable spike in the transmission rate, wouldn't we want to do this? Of course we would. That's exactly what's happening in Germany and Denmark right now.
Yang's was well considered, I'm sure it's still on his website.
Sure and the article is about exactly that.
These number systems already exist, I’m not just making them up.

If someone says 0.666…7 then you have a couple different ways you can take the discussion. You can say, “No! Real numbers don’t work like that!” or you can talk about what number systems would look like if you can do that.

It turns out that there’s a lot to learn from the alternative number systems, including formulations of calculus without limits that are easier to understand from an intuitive perspective, yet equally rigorous. The field is called “nonstandard analysis”. It’s not taught in college.
I hadn't thought of this approach. Thanks!
Couldn't easily find numbers on vote-by-mail as a percentage of all votes, but this is suggestive that it's enough to swing most elections already.

>In 2014 Colorado (72 percent) and Oregon (71 percent) led the nation in voter turnout of active registered voters – both states 20+ points above the national average of 48%

Yet still doesn't seem to be happening.

source: https://www.nonprofitvote.org/get-ballot-home-2-weeks-electi...
Wait till you watch Indian news. Fox news will look serious next to it.
Sure. And the article is about exactly that.
There is no "sudden" change. Google as a web service (search, Gmail, etc.) can offer multiple languages for a region, but their store, as a separate business, can (so far) only offers local language for a certain region.

The point I'm trying to make is that there is an issue, but the issue is not they ignore user's language setting.

What it does is that

1) They detect store region based on user's region instead of language preference, which is reasonable IMHO;

2) However, they don't have English display language for their German store. This can and should be improved. For example, Amazon Japan offers Japanese, Chinese and English. Google can definitely do better since their products are much more limited and they have translations for most of content already.

>Imaging talking to someone at your bank's call center, and then when you get transferred suddenly speaking to someone in another language. "Well, you wanted the Fraud Protection department. It makes sense to speak {$xx__language}."

A better analogy would be you're in China. Well now everything will be in Chinese and Chinese only to begin with.
What do you mean by 'feeling like an Amiga'? I don't think that is a great example of an unresponsive interface.
I don't necessarily understand your use of the word "invalid", when what it seems you mean is incomplete and/or too informal for your taste.

> does it matter if the proof of a fact is incorrect if the fact itself is correct?

Your language isn't allowing for a notion of precision, or for multiple forms of correctness, and it's not considering audience, communication or level of expertise either. I don't think it's a question of correct vs incorrect, I think you're asking for more precision, and/or for a form that meets your own higher standard.

It does matter if a proof is wrong, if there is a step in the proof that can be shown to be false. But that's not the case here, what you want is additional definition.

BTW, reading the blog post you linked to on surreals, the "proof" looks to me to be more hand-wavy than Euler's proof that .9bar = 1. The proof begins by stating there are a finite number of 9s, in direct contradiction to the hypothesis. 10^-inf = 0, so from this blog post I don't yet see any reason why surreals clarify anything here, it feels like the opposite, it feels like obfuscation.

This could be an argument over representation and not the values of numbers. If you start by defining 0.9bar to be a different number than 1 for the specific reason that it's written down a different way, then fine. That's what the surreal "proof" tells me. Euler's proof is talking about the value of 0.9bar in the limit, not the representation. (Even if that's stated without rigorous definitions of limits.) The proof is saying the values of .9bar and 1 are the same. If the surreal number .9bar were strictly less than 1, that must mean there's another surreal number closer to 1, but there isn't, so I don't accept the surreal argument as valid logic, other than playing a semantic trick by saying 'look I defined they way we write a number to be meaningful, therefore 0.999... is by definition different than 1.'

By the way, that blog post claims "The set of real numbers contains no infinitesimals." Wikipedia claims: "the surreal number system is a totally ordered proper class containing the real numbers as well as infinite and infinitesimal numbers..."
Yeah, there's precedent. There's precedent for everything that's ever happened already. That doesn't mean we should be doing those things

Tons of people on both sides of the isle agree that implementing things like the national speed limit and drinking age of 21 by withholding federal funding from the states that don't goose step in line is a backhanded way of enacting legislation and/or an end run around the constitution.

Sure you can do things that way, but you have to ask yourself if it's really worth it in the long run to normalize that kind of legislative behavior in exchange for getting whatever policy point you want a couple years sooner.

Edit: To reply to your comment below I guess you could say, "no the federal government doesn't have jurisdiction, but that hasn't stopped them in the past"
Yes, I do find a bunch of navy pilots to be far better qualified to judge the object than this Mick West guy. They are literally trained to recognize this exact sort of object and motion. I guess they are wrong though cause they didn't make a video that says what a certain segment wants to hear.
We're working on adding payment support, custom registration questions, more event page themes, event subscriptions for your attendees, and integrations to more tools like Slack, Google Hangouts, etc!

Facebook/Instagram and social platforms have notoriously restrictive API's and are closed-architecture so not sure if something we want to mess with yet.
We completely agree, and a big focus for us has been improving the UX compared to Ngrok.

Our docs are being overhauled this week and will include examples on hosting common apps, troubleshooting common issues, and using the various features in lynk like HTTP authentication.

You can check them out here at https://lynk.sh
If you are simulating a qbit, why would you necessarily want it to go a certain way, let alone need it to do so? Ditto for a simulated human.

If we are in a simulation, we would have no reason to assume that the physics of the universe in which the simulation runs are as they appear to us. If, however, we chose to assume that is so, it would be consistent to also expect our simulated world to have free will up to the point that the entity running the simulation has.
Polyglot Tips and Strategies – Why You Should Take Them with a Grain of Salt
The proof relies on the assertion that the supremum of an increasing sequence is equal to the limit. This is mathematical dogma, and should be introduced as such. Once that is accepted, it becomes obvious.

This is illustrative of what I see as a fundamental problem in mathematics education: nobody ever teaches the rules. In this case, the rules of simple arithmetic hit a dead end for mathematicians, so they invented a new rule that allowed them to go further without breaking any old rules. This is generally acceptable in proofs, although it can have significant implications, such as two mutually exclusive but otherwise acceptable rules causing a divergence in fields of study.

When I was taught this, it was like, “Look how smart I am for applying this obtusely-stated limit rule that you were never told about.” This is how you keep people out of math. The point of teaching it is to make it easy, not hard.
Not the person you replied to, but there are different narratives for it:

"Democrats didn't want it because their insurance company sponsors didn't want it."

"Democrats didn't fight for it because they needed votes from a few people who wouldn't support it."

I'm partial to the view that they could have motivated those few senators to vote for a public option if they tried. Democrats wave their hands too much on the viability of progressive policy for my taste. Whether the belief in that unviability is genuine or a smokescreen is uncertain.
If they write it in their free time, they could offer to sell it to their company for 2x yearly salary or something. Got a buddy that has done that 3 jobs in a row.
What are the options?
- Taxes
- Debt
- Money printing
I disagree; you don't seem to be addressing what the parent is talking about (documentation). Whatever reason Rust is losing a war against C++ (it's really not), this isn't it.
Most companies are not customer obsessed, that's why they fail. Let me give you an example;

I've bought a sofa set from Coleman, and supposedly I needed to measure the door, if the sofa can fix or not. Because of the shape of the hallway and entrance, the sleeper did not fix from door. And carrier guys did not want to push further. Luckily, my patio's door was large enough to fit. I've called Coleman and explained the situation, they demanded extra money from me, to deliver through patio's door, or they were gonna send it back, which I have to pay for shipment and 15% re-stocking fee.

I come from another country, this would never be an issue. No matter what, carrier would deliver inside my home (either through front or back, or patio's door, or window), and never ask for extra.

If I would have bought from Amazon, I'm sure that I could send back, or speak for another delivery option. This is why Amazon is winning, they are customer obsessed, they are there to help, even if they lose money.
Java's objects aren't types even though they're mixed up with its type system. Objects are supposed to represent units of computation so anonymous classes aren't absurd.

But the reason why it seems that types without names are absurd is that types are only real for the interpreter or compiler. At runtime they aren't used anymore. So it's absurd that a construct made for humans to understand and describe code starts to become something opaque to human understanding because they're impossible to be named.
Amiga Public Domain PD Games Download Pack ADF
Wouldn't that be pretty easy to do as well? The most crude way to have a DC offset is to just pipe the output through a voltage divider with a potentiometer no? As for amplitude control, an op amp can be used again with a potentiometer to control the resistors needed for a specific gain right?
Not sure about drawbacks but another solution would be to change the point where you do the queries instead. So you have a "user" object that is largely saved the same as most other "crud" objects, so you have a layer for those, add the flag there.
Your substance-free comment is a non sequitur.
Can anyone share their experiences using the 'crun' container runtime (alternative to 'runc') in their clusters?

(it's mentioned way down near the end of the article, and looks like it is less resource-intensive)

[1] - https://github.com/containers/crun
Show HN: Upstart.me – Sponsor newsletters, get leads
That documentary completely and/or intentionally missed the point so they could churn out video clickbait. I wrote more about it the other day here https://news.ycombinator.com/item?id=22950172
What is the purpose of this exercise, when you can host static blog for free on GitHub?

Also, was this updated later, or was it always using GCP?
I remember Lieberman and Baucus derailing the effort. And Obama didn’t have the courage to pound the table back then.
Theory of Regal and Kungic Societal Structures
People would just live farther away.
Interesting, so the return type isn't known until runtime.
eg, https://drawsql.app/templates/diagrams/wordpress-mysql?ref=e...

+1 that the logo affordance is too subtle to make the full feature set easily discoverable from a schema page.

The Export function in the full editor is nice to see. Once the JSON support is there, it would be fun to analytically compare schemas from function-set similar applications.
Yes and no; there are areas of differentiation between different statically typed languages. For example, Rust has one of the strongest abilities to prevent concurrency/parallelism errors via its type system, but is also missing some other things, like dependent types or higher kinded types.
The issue is with forms and the like, the tooling creates a lot of intermediate files based on the names of classes and whatnot. If you’re following the ‘best practice’ naming patterns, and have your code in a user folder, it’s likely you’ll run out of characters. I don’t use more than 2 folder levels ever, but I have a product with wordy names.
Voter id is often very selective about what counts as a valid ID and it's often coupled with legislative changes and executive policies that selectively make it much harder to get a valid id for a few demographics.

Closing down DMVs depending on the district, reducing their working hours, excessive bureaucracy for non-drivers license IDs, charging excessive fees, etc.
Yes. Coming from a CS background, I'm accustomed to mapping problems to relational data. Everything can be stored in an RDBMS.

However, I often work in a one man band, and need to push out production ready system in weeks. In these cases, as a compromise, I choose a managed NoSQL database as it requires less code and DevOps work to be up and running. It's not ideal.
We'll have to pass the bill to find out!
A Mechanical TrackPoint Keyboard with classical IBM ThinkPad 7 row layout
Colorado at least is _not_ entirely by mail. It's an option, and a good one, and I personally use it, but it's not mandatory.

To my sibling comment - "reliably blue" lol. Only in the last 3 presidential elections, and the House & Senate are split evenly.

https://www.270towin.com/states/Colorado

https://www.270towin.com/elected-officials/colorado
> can scroll with trackpad or mouse wheel inside and outside of Vim, click or drag to select text (and double-click to select words, triple-click to select lines) both inside and outside of Vim, I can drag tmux or Vim splits etc.

Doesn't this kinda defeat the point of Vim? I turned on vim bindings and went through an excruciating learning process just to keep my hands on the keyboard. Moving between keyboard and mouse or trackpad was causing significant wrist issues.
I think the problem is actually what Steve Jobs had once mentioned [1]. Companies get taken over by sales/marketing teams as a company grows in size, and the product/customer focused people get removed from the decision making.

The quality of the companies products then stagnate or rot, as the product people are always in a rush to meet the requests of upper management - who of which have no idea what it takes to make a good product. So everyone's being micromanaged to meet stupid metrics - rather than the outcome - a good product.

As so it's not so much about micromanagement, as so much as having the best decision makers throughout the company. But none of this matters much when you're big, or have a monopoly...

[1] https://www.youtube.com/watch?v=P4VBqTViEx4
Maybe he should have looked for a job at a shop that wasn’t a bunch of Wild West hackers writing unmaintainable code?
The same way we are funding massive corporate bailouts. Sovereign government debt does not work like personal debt, for the simple reason that money can be printed. Fears of inflation in a time like this are completely unwarranted.

edit: Back of the envelope math shows that 1000/month for the US population is about $4 trillion/year. The Fed has pumped more than that into financial markets since this pandemic has started, alone. That is why the S&P is back up to where it was in 2018, despite the world suffering the greatest demand shock in history. Pumping up the financial markets is doing nowhere near the economic good that a UBI would right now.
It's proof by contradiction. He's responding to somebody saying that Bezos is not a monster (because) he is just responding to market forces. But if you follow that logic, neither is a contract killer. But a contract killer is a monster. So, by contradiction, Bezos is not acquitted just because he is responding to market forces.
Yang proposed to fund it using a 10% VAT, which just about works out to the right amount if you assume you can enforce the VAT on the entire $20T US GDP. I doubt Pelosi has made a concrete funding proposal. (Edit: I answered specifically about Yang's/Pelosi's funding proposals because I thought that was what parent asked -- not sure if I'm crazy or they edited their post.)
Texas in general and especially Austin have also had a very mild version of all of this compared to some places. At peak we used something like a quarter of our available ICU beds before things started going back down, from the numbers I've seen. There basically haven't been any shortages of anything (at worst, people would buy up all the toilet paper in the morning and it'd all be restocked the next day).

Of course, one way to reverse that situation would be to start opening things back up.
New Cory Doctorow story with pro-order of Attack Surface
All good. I appreciate the perspective you’ve given!
I'm pretty sure Amazon runs a tight ship, but isn't the real issue just trust? I know i can trust Amazon to deliver the goods and a few other large Amazon-like sites I can also trust but I have had trouble with some smaller etailers so i only use those if i have to. Just this week I had a lunchbox not get shipped because they were out of stock. Not just that (I should not have been able to buy it if they werent able to deliver) but I actually had to email them before they noticed it and paid back the money.
Isnt remote voting a priority because of the epidemic?
Answers: https://www.yang2020.com/what-is-freedom-dividend-faq/

He also talked about the actual implementation a lot during the campaign.
D's borrow checker fails in comparison to Rust's. It serves very little purpose and provides almost no guarantees. These issues have been brought up multiple times but they are brushed aside with ignorant responses like "I've been told my entire career what I'm doing will fail but I continue to do it anyways".
I haven't looked at D yet, but... yuck! `var` for return types in a method signature is seriously unhelpful!

If the docs are filled with this, then D is certainly coming off my list of langs to look at.

For functions that can return different types, I think interfaces or union types would be more helpful (not sure if D supports either though).
Satire, by definition, aims at the top of the societal ladder. Fox News, Russian state media, "alternative news" blogs? They aim at the very bottom of the societal ladder (i.e. immigrants, Muslims, poor people) instead. That's not satire, that is inciting hatred.
The best way to think about it is that 1 - 0.999... = 0.000...

The result of 1 minus 0.999... is 0.000 with zeroes that go to infinity. And I think its easier to reason that 0.000 with repeating zeroes forever is in fact equal to zero.
Show HN: Baseball Pitch Prediction with Deep Learning
This is one of those apps that makes you go “oh yeah that’s totally an obvious project, why didn’t i make that?”

Very nice!
It lets C++ almost return to C-style duck typing.

Whether that's really what you want and whether that is the best approach to solve the problem at hand is a matter of preference and the problem space.

It is also allows for a "gradual typing" approach that Dart 1 had.
Hmmm... I would find this extremely error-prone. Probably due to my own issues, but flipping through multiple remote sessions in tmux in the same window would get confusing after N=2 terminals.

But who manages THAT many remote sessions? Seems like an upstream problem to me, no?
? both are the same.
I agree that worries of inflation are unwarranted (if anything we are at risk of deflation), but what happens after the economy returns? Aren't we at risk of inflation from all of the new money dumped into the economy?
Why are they completely unwarranted? I'm not an economist, so it's not obvious to me why printing money wouldn't lead create an inflation problem that is worse than the unemployment problem. I would be very interested to know the details that allow us to say such things so confidently.

EDIT: Thanks to those who provided such insightful answers! Very helpful for a layperson like me.
How would you have it phrased ?

From https://en.wikipedia.org/wiki/World_War_II_casualties
"An estimated total of 70–85 million people perished"
It's pretty racist to say some groups can't figure out how to get a driver's license.
Rust does quite a lot of checks at compile time. It does the obvious ones like type checking (check out the static_assertions library[1]), but it also ensures that there are no race conditions between threads and other memory-safety things like that.

[1]: https://docs.rs/static_assertions/1.1.0/static_assertions/
This is needlessly dismissive. Even red states like TX will likely be forced to allow more mail voting. KY and others will also be doing the same, expanding who can vote absentee in order to deal with a public health issue.

Democrats think giving federal funds to states will help ward off recession and also want to prevent outbreaks in the fall. You can argue Democrats are wrong in those views, but states (including states that would prefer not to implement it!) will have to spend a lot of money on vote-by-mail because of decisions (some at court-level) being made that are the result of coronavirus.
How to validate a startup idea using a pre-launch landing page and $500 in PPC
Fairfield County, CT has 0.77 deaths per 1000[0] which far exceeds Stockholm despite having far less population density. New Orleans also falls short and has 0.78 deaths per 1000. The US is a big country, so I think it's a mistake to look at the whole country's infection curve rather than regional infection curves. Some areas have not yet been hit hard by the virus because their region was not hit first. Hopefully with adequate public health measures their curves will never match NYC or adjacent regions.

It's also worth noting that the death curve probably has a 2-3 week lag behind the infection curve. At a 2 week doubling rate, even if you miraculously came out with a vaccine tomorrow and immunized the whole population you would still have yet to experience half of all deaths from the disease.

[0] https://www.nytimes.com/interactive/2020/04/23/upshot/five-w...