skysight-inc/HackerNews huggingface dataset:
Ordinarily, I wouldn't have used the Tandy 1000 as an example. But it's one of the computers in the article, and anyway, the complexity of adding hard disks to a T1000 is only linearly higher than the complexity of adding hard disks to a standard PC of the era. Getting compatible controller cards, setting jumpers and configuring IRQ's was always involved when installing a hard drive (or video card or anything else) up until some time after Windows 95 a decade or so later.
Honestly, almost all of the technical innovation in this breakthrough had to do with classical circuit complexity—-once you know my Forrelation problem, there’s almost no further input you need about quantum computation. (Well, a slight amount, since Raz and Tal had to modify Forrelation a bit to get their proof to go through.)

For an attempt at a popular summary of what the circuit lower bound innovations consisted of, see my blog post:

https://www.scottaaronson.com/blog/?p=3827

or, of course, their paper.

No, this doesn’t much change my priors about the power of quantum computation—for one thing, because we all (or at least I :-) ) were already pretty damn confident that Forrelation was not in PH. On the other hand, I was not expecting that the separation could be proved right now—certainly, not without first proving some weaker separations like BQP vs. AM.
I don't sweat the down votes. Most of the time I'm proud of them.

In this case it's probably the same people who like the idea of USPS photographing their mail so they can see what they're getting, not realizing they're actually being sold surveillance as a survice. That is, they're happy about it.

I'm more realistic. That scares a lot of people.
Assuming it's in the UK, remember the saying: two countries, divided by a common language :-D
Yup, agree. OP was probably doing something against the terms. Care to provide details?
Even if there wasn't a difference between electron and proton mass, it would still provide net force if the craft is already moving relative to the background plasma (I.e. swimming upstream). Incoming electrons from the front get reflected at their original velocity, but protons get accelerated out the back at arbitrarily high speed (limited by the electric field). The massive difference in electron and proton means it can provide force even if the plasma is coming from behind, which is much more useful.
I have to disagree. For sure, there is a lot stuff that is centralized at the federal level, but there is still a great deal of data managed at the county municipal level and there is a wide variety in how this data is managed (or not managed) and what format it is in. In the town where I live, they looked up my birth record (in order to provide me with an official birth certificate) in a large bound book. Most permits for construction are managed (at least in part) by the town, who knows where that data is stored. Hopefully most of it is submitted up to the state level.
>What's wrong with that? Most new technologies come about in that way anyway.

Nothing wrong with that, if it's a good idea. But as the comments above make clear, this idea makes no economic sense.
I use Visual Studio. It's free now and I've been using it forever, since it's first release.
Almost all of the ones mentioned by you and others here are listed at http://radios-tv.co.uk/Pembers/Teletext/index.html#After , and more besides.

It is interesting to observe that Bayerischer Rundfunk uses level 2.5 Teletext, with the bitmapped graphics. You can see more example BR pages at http://zapping.sourceforge.net/Zapping/Zapzilla.html .
Oh, yeah. If you live walking distance to work, you'd... continue to walk.

The $3-5 crowdcab... what we're really talking about here is the last mile, and it's been enough of a subject of conversation that it's not a market I'd estimate low lightly.

Also, West LA contains enough people who are doing other phases of life besides school or touring that there's no way everybody who's using the scooters on/around my block is a student or tourist.
India is fairly unique in how bad the cell phone internet is. Snapchat is a video & image heavy app even compared to instagram or facebook, which is why the app design doesn't work well. Get rid of the media richness and your back to facebook.
A (former) friend of mine used to work for a very popular porn site. He said that some absurd number of sign-ups were canceled through chargeback, and he figured it was kids signing up to a porn site and then the parents getting the bill at the end of the month. Apparently, he could tell, because genuine users would browse for a bit, download some stuff, but the ones who were more likely to do a chargeback would log in, download much of the site's content in a few days.
Do you have any sources for this? This is very interesting.

Particularly because Xerox photocopiers (yes, self-contained photocopiers) had exactly the same kinds of issues due to image compression engine glitches (https://news.ycombinator.com/item?id=6156238, https://news.ycombinator.com/item?id=9584172)
I don’t disagree but many economists do agree that something should be done about China — not so much for the rest of the world. Most likely Trump just happened to get it right with China (the sentiment at least, maybe not the method) while flailing around. Even a stopped clock is right twice a day.
> Sadly the things that you write are extremely dangerous for all the young people that start vaping.

Got any evidence for that assertion? Just saying it doesn't make it true, and the big problem with this research area is there are two different powerful groups (tobacco copmanies and public health policy makers). So the entire literature needs to be treated with great care. David Nutt, the british addiction specialist is a sober, sensible guy, and I'd go to what he has to say about it as a first port of call.
It's very hard to get unstuck from a local maximum
Shark oil skincare Review
You can't "mistype the account number", as it has control digits. I mean, there's a possibility, but it's really slim.
Make plans with some other friends from work (mixed gender) and invite her along.

Or organize a bowling night, build a team from you cube farm and ask her to captain a team from her cube farm.

Just be a grown up and don’t act scetchy. Show respect regardless of her reaction.
"Their craft", geez. It's whores taking pictures of their tits. What the fuck is going on in this world?
I enjoyed the article, but I worked for a startup in 1999 that was funded by a technology accelerator. So it would appear Ycombinator wasn't the first, unless this is meant in some more specific way.
One that fails to compile with a type error. Probably, pseudocode - enough to convey the concept, but eliding some details that a compiler may require.
Cause is easier to blame Mexicans and South East Asians than insufficient school funding.
It's not a perpetual motion machine because it requires energy. Every proton that gets accelerated lowers the charge on the capacitor plates by that same charge. So you have to supply current to keep the plates at a constant voltage.
Carding (fraud)
The Euler Archive
My argument is about the rigor of theorems. ZFC may be incomplete, but every existing theorem that builds up the entirety of modern mathematics is (in theory, admittedly) built upon a rigorous chain of truth, traced back to those axioms and definitions.

Most mathematicians who don't study metamathematics or philosophy of math have no reason to ever think about formalism or computability.

An aside for people who think Godel's incompleteness theorem somehow invalidates math: don't forget about the much lesser known Godel's completeness theorem, which states that if something is true in every model
Just go over to her, tell her she caught your eye and ask if she likes to have some lunch with you today or any other day. If she confirms that she would like to, great! spend some time with her and see how it goes.

If she is overwhelmed by you approaching her or tells you she would rather not, tell her that it's fine and that in case she changes her mind she should feel free to contact you (she knows where you work). Then just to back to your work and get her out of your mind.

edit: fixed typo
>a crufty ten year old bespoke codebase.

Anything you want to show up to us, bring it on, and our code will run rings around anything you can give us while spitting in its face.

We are high performance. Don't think that we wrote the first run 10 years ago that we haven't modified and improved and left it as is all this time. If you think you need react to do your job, then you can't work for us. We are professional programmers.
https://www.youtube.com/watch?v=E7cVmHQIiG4&t=300s

accout susspended for this type of content.
even if they unblock the damage is done allready.
Patreon will be just an optionality,
and I guess, some crypto will have to be used for processing, We can't rely on banks, that have their own twisted morality , It would be very good if oil proucers instead of using $ started to use cryptos. FED prints $ but it looks like it also controls banks and payment procesors. If you cant use $ for transactions, why use it at all, THis way they could potentialy controll every buissnes, ALL OIL PRODUCERS SHOULD START TO SELL OILL WITH CRYPTOS
If you remember 1/2 mv^2 = KE from high school physics, then you'll realize just how bad it is. It an N^2 relationship, and that's really expensive. Faster you go the more it costs.
It is, particularly since there is a) a premium price on the rental (3-5x last I checked) for that one day b) rental windows are shrunk (3-4 hours max is typical) and c) rentals are reserved back-to-back-to-back, such as 6-10,10-2,2-6,6-10,but often returned late, which trickles down. So last moves often end in the wee morning hours. Doubly fun when you're waiting on the previous tenant to get out before you can get your stuff in.

The same is true when using movers and moving companies, assuming you can find any with availability.
I do all of my searching with + Reddit appended. Get way better curated results.
I wouldn't know about any absolute rule. Including "thou shalt not eat babies", if the circumstances are extreme enough.

I understand why complaining about downvotes is looked down upon (off topic, distracting, feed the troll…), but there are cases where those are both unexpected and unwarranted. I mean, I originally replied to a comment that didn't add to the discussion with a comment that did. What was I supposed to do with it? What am I supposed to learn from it?

Not even you provided any meaningful feedback.
Some MIT professors use a method termed "practice-theory-practice".

https://ocw.mit.edu/courses/electrical-engineering-and-compu...

__

I see this as a "practical" lecure, also from MIT: the professor tells relatable stories to motivate the new concepts. Though I imagine good storytelling is harder than it looks.

https://www.youtube.com/watch?v=L3LMbpZIKhQ&list=PLB7540DEDD...

(I've actually been so inspired by this approach that I sometimes incorporate it into conversation whenever I really want someone to understand something.)

__

This is perhaps worth reading: Knuth - Theory and Practice. https://arxiv.org/pdf/cs/9301114.pdf

Disclaimer: I have not read it yet.
If the prisoner convinces himself on each day, “I will be hanged today,” then it is not be possible to surprise him. Paradoxes like this tend to make implicit use of assumptions regarding perfect rationality, deduction, and common knowledge, and I think the underlying problem here comes from a violation regarding these.
It took me quite a bit of reading and re-reading to understand the point you are trying to make (at least I think I understand now).

Nobody is owed a living. I wouldn't try to justify this move just like I'm not going to try to justify gravity to you: it just is that way.

How many of the great artists in the history of the world were able to earn money from their art during their lifetimes? It certainly is a more recent phenomenon. The starving artist is not a cliche for no reason.

If you would like to get specific and look to solve a problem I bet many on HN would be willing to help, but simply decrying the state of the world over this seems melodramatic and not worthy of HN.
I'd stop using Uber because you can't afford it and I would talk to my landlord to get them to give you better terms to break the lease since you clearly can't afford that either. Offer them to help find another tenant or try to get them to allow you to leave without another tenant lined up because they will end up with a renter in default, which will make it harder for them to get rid of you and will likely lose them money.

Also, I would take any job, even a non technical one, just to stay busy and to try to keep the bills paid and to stay in a regular rhythm.

For your medical / mental issues you should most likely simply consult a professional, no internet advise will help you there in ways that move the needle and/or are positive.

best of luck!

edit: And if you have family don't hesitate to call on them. I did so in hard up times and my kids do it with me and that's how it should be, it can take a while to find your bearings and that is one reason why family members should support each other. Of course if you don't have much family or they are in no position to help then you can safely ignore this.
Title should be "non-Euclidean"
My argument is about the rigor of theorems. ZFC may be incomplete, but every existing theorem that builds up the entirety of modern mathematics is (in theory, admittedly) built upon a rigorous chain of truth, traced back to those axioms and definitions.

Most mathematicians who don't study metamathematics or philosophy of math have no reason to ever think about formalism or computability. Godel's completeness theorem stipulates that there are self-contained consistent systems within the language wherein all of their nice proofs are true and universal, and where plenty of truth still needs to be discovered.
if we had UBI, everyone would become a scientist

Very few people want to be scientists. To see why, just replace "scientist" with "nerd", because for most people those are synonyms.

Moreover, anyone who wants to do science can become a grad student. That's at least 5 years of "basic income", and access to mentors/tools/resources. All you have to do is to find a lab that does what you're interested in.
One that isn't machine checked to conform to the specification (with Coq or similar). My standard is even higher for programs than it is for mathematical statements, because they tend to be orders of magnitude more complex.

On the other hand, it's okay for a program to not be proven, because it can be useful even if it has bugs.
> our

Freudian slip there?
It's not sourced, but the Wikipedia page says it uses something called JB2 compression which is susceptible to this: https://en.wikipedia.org/wiki/DjVu#Compression
This is sometimes accurately tracked by some government, but there are thousands of governments in this country. Getting thousands of organizations to a standard is pretty hard when they don't get a concrete benefit from it. At the same time, the federal government has no business knowing the shape of my buildings, thank you very much.
Yeah but people who move often have the help of a few friends. The percentage of people who are moving/helping would be more impressive.
That all depends on the return you get from the 1/10 good ones. If you do great with that one good team, it could be totally worth it. I could definitely imagine a scenario where picking no bad teams has higher value than picking more both good and bad.
No I don't. That's why my remark included "or what." But I listed those two because those are the two main types in the world today. Myself, I support liberal democracy in this battle.

And let me ask you back, what type do you support?
The vast majority of people who move do it on july 1st. So much that when I moved in march everyone thought it was impossible.
So, wow, this is a topic in which I am extremely interested as well. So much in fact that I wrote a book(woohoo!! Only took my a decade) and it has been on the market for a few months. The experienced CS teacher looking for new ways to engage with students is one of the primary target audiences. Anyway, if you think it might be good for some summertime beach reading, check it https://www.amazon.com/Computer-Science-K-12-possibilities-i....
Is there a quick intro to linear logic for people used to first order logic?
I bet that it would change if you actually looked at each of them right after taking.
British Secret Service (MI6) – Software Engineering Graduates Position
>"She made a mistake because she wasn't given the appropriate tools to succeed," the former air marshal said.

What kind of tools does she need so she doesn't forget her gun in the washroom?
Says the guy whose fantasy is just playing himself, who said "I'm glad I'm at the top of the food chain"! ;)
And nothing, I am not from the UK and I cannot apply, but it would be interesting to know what a position like this would be like, and what do they ask on the interview, the requirements and so on.
Decoding messages 1937 (just a photo)
I've been reading quite a few DjVu encoded documents and have yet to see a single occurrence of what you describe. If there are such errors they will be visually indistinguishable from the original, and a good OCR package would likely identify the right letter given the context.

Do you have some concrete examples of corrupted texts? I'd very much like them to use as test cases in a document processing pipeline.
That would let people drive trucks on Storrow, and they aren't supposed to do that. It gets enough traffic as it is/
...because they’re being tested in a language their parents often don’t speak at home?
They have still seen them after taking, which is what might actually be a trigger for the discussed offloading effect.
Get out of suburbia. Unless you have kids and the best school in the world is nearby.

Get help for your depression right away. It might be coming across unconsciously in your interviews.

Good luck! You can do it. You’re in a better situation than a huge percentage of the world. Think positive.
Credit cards definitely have check digits, pretty sure bank accounts don't, though I'm not certain.

Common enough that there's been a fair bit in the media[0] regularly, ever since instant transfers took off, and warnings from the Financial Ombudsman[1].

There's also been stories of people randomly discovering a few thousand appearing in their account and stupidly going out to spend it that day.

[0] First link in results https://www.telegraph.co.uk/personal-banking/current-account...
[1] https://www.bbc.com/news/business-22815716
People like to say that, but in practice it's not true and hasn't been for over a century.

It depends on the topic. When it comes to things like interstate commerce, you are correct -- the states don't each have treaties with each other.

But when it comes to other things, like education, that's very much a local function. The feds set minimum best practices (enforced by the threat of removing funding), but it's up to the tens of thousands of local school districts to decide what to teach their children.

Some of those local school districts are huge, on the order of 10's of thousands of students. Others can be as small as 15 or 20 students, or even one individual school.

When it comes to the topic at hand -- GIS information -- It is pretty much a county situation. There are numerous competing GIS standards and products, and each county or municipality chooses the software that works for its needs, and budget.

So, yes, there is creeping federalism in the United States. But claiming "it's not true and hasn't been for over a century" shows a lack of understanding of local civics.
This may be an acceptable format for some electronic versions of scanned books, but it's not a "PDF Alternative".

Also PDF is an open format.
What’s the point of this in 2018 - now that PDF is an open ISO standard?
What am I supposed to learn from it?

That not everything is about you is a decent start.
Re: Continuum hypothesis: the way I try to explain this is, take the statement S = "x^2 = -1 has no solutions". In Z, S is true. In C, S is false. What does it mean to say "S is true" without specifying the system? It depends on which underlying axioms you choose. There are extensions of ZFC where you can prove CH is true, and extensions where you can prove CH is false. In both extensions, the proofs are rigorous and valid, and there is plenty of valid mathematics to be done.

But ok, my point is, how can you say the CH is a true statement that can't be reduced to axioms? What does it mean to be "true" besides that something follows from other truths? The choice of axioms matters, sure, but everything that's true within a system follows from the axioms of that system.
"my — the royal our, you know, the editorial." [0]

[0] https://www.youtube.com/watch?v=E09LU6XVyxs
I mean, are we going to create suboptimal products and services, ceding economic growth to other nations.
What is going on here is a blatant market failure. There are people producing content, and people willing to spend enough money on that content to justify its creation. In an ideal market, these transactions would go through, and everyone becomes wealthier.

To be clear, there was a market failure before Patreon entered the scene because there was simply no market for these transactions to take place. But now, Patreon is deliberatly re-introducing that market failure. Further their reason for doing so is a generic excuse of "porn bad for payment processors"; not some specific "we noticed that the porn monetized on our platform results in an unacceptably high level of chargebacks". From the outside, it looks like this is a market failure that has no reason to exist other than institutional bias that is no longer grounded in reality.
Are we sure releasing new engineered corals is a good idea? I get the whole replacement, thing and protecting biodiversity that the corals help protect. However, this could be bad long term, what if there's a blight that affects that specific coral. What if there's something we don't realize about the distribution of species of coral that is important to the overall ecosystem.
Hu? How the hell do you get that from what I said?
Microsoft Fixes Faulty Debian Package That Messes with User Settings
It should be trivial. It should be standardized.

Your use of the word "trivial" indicates you've never worked on complex GIS systems.

Whether it should be standardized is a matter of debate. Currently, each county or state or municipality uses the software and standard that suits its needs, and more importantly -- it's budget.

The GIS needs of New York City are not the same as the GIS needs of Saint George, Utah. Saint George doesn't need skyscraper functions, and New York doesn't want to measure airports on top of mesas.

The real world is messy, and so is pretty much every single GIS deployment. The real world doesn't digitize well.
One of the most interesting blogs I've followed over the last couple years is Garbage Finds, a guy who picks historic/vintage stuff out of the trash in Montreal. Learned about Moving Day from him. He finds amazing stuff!

https://garbagefinds.com

https://www.instagram.com/garbagefinds
Regular Google support: two days after your stuff goes down, you get an email saying the algorithms decided you're fraudulent.

Enterprise Google support: one day after your stuff goes down, you get a phone call saying the algorithms decided you're fraudulent.
This could benefit greatly from specifying what operations are available for each structure.
See also: the Quooker story. There was a fantastic article about it but I can't find it anywhere, highly frustrating.
The difference is that MIT draws on the world population whereas Ecole Polytechnique draws on the Francophone population.
The topics are inherently dry and boring. Let's face it, we aren't spitting the atom or sending someone to the moon here.
But that they failed is what is interesting. They look so obvious and so simple and yet if you look at them closely they are super clever.