skysight-inc/HackerNews huggingface dataset:
> As I turn on the A2 I decide to drive at
> the speed limits, without the autopilot.

...

> The police told me that the driver of the
> truck had gotten annoyed with a car driving
> too slow in front of him, and started to
> overtake. He didn’t see, maybe he didn’t
> look, and had turned straight into us.

...

> What is clear is that after a violent crash
> we stepped out of the car on our own, pretty
> much unharmed.
Are you doing something like this:

* Define the series over the 2-adic numbers rather than the reals

* Associate every 2-adic integer with its corresponding sequence in the inverse limit Z/2^nZ for n = 1..infinity

* Truncate the sequence to a certain precision(an index i), and make an equivalence class a ~ b if a and b agree on the first i elements. You get a field Z_(2^n), and identities in 2-adic analysis should carry down to the equivalence classes. Here 1 + 2 + 4 ... = -1 in the 2-adics.

That isn't the way I would've thought about signed integers, but it seems like it would work.
I think the table mixed motors and cars (first motors then cars), so you have a comparison car power/weight and motor power/weight
The difference is that you have to pay your taxes in euros.
Why Tesla's Autopilot Isn't the Menace You Think It Is
Thanks. I couldn't not respond because that was really arrogant of him and I do know many think similarly. Ultimately I am an atheist, so not directly affected by his words, but that stance causes many problems unfortunately.
Many times now when people have looked at my carefully written, carefully reasoned, well-laid out writings, have gone:

Aaarrrggghhhh !!!

WALL OF TEXT !!!

Aaarrrggghhhh !!!

It seems that many people need humorous (for some definition of "humorous") images and animations to make them think tat what they are reading is entertainment. I hate it, but it is an increasing trend, and I'm not surprised.

Disappointed, but not surprised.
It doesn't satisfy the Cauchy criteria, it can't converge.

The trick step of assuming that 1+0+1+0.... converges is also not Cauchy.

It's interesting and string theory and some other physics get results by using -1/12 but it's not strictly correct. No more than the omni proof
Yes, it should be possible to run an email server as a Sandstorm grain. Note that you would need to grant the grain networking capabilities so that it could talk to the outside world. Currently, only the admins of a Sandstorm server are allowed to grant such capabilities, but that will change once we've implemented our plans for trusted "driver apps" that attenuate and manage admin capabilities.

A grain can keep itself running in the background by requesting a wakelock from its Sandstorm supervisor process. While the grain holds the wakelock, it does not get automatically spun down, even if there are no users visiting it.
Haha, I still just use the ROX filer. It's quite minimal but has some nice keyboard navigation shortcuts.
> It's disturbing that leaders (political or religious) would put their constituents in harms way.

Like this? https://www.youtube.com/watch?v=0r73p95I-eE

Or like in any military force, unless there was coercion going on here.
>the President of the Commission is still nominated by the European Council

Yes, technically correct. What happened last time however was that the EP said "We want Juncker and we'll veto anyone else". There was a long staring contest and the EP eventually won. A veto isn't a technicality that you can approximate away - it's just as important as being able to propose laws.

The national leaders generally didn't like this, because they prefer the EU being more like a (huge, weird) deal negotiation table than something with direct representation. The national leaders are ultimately in charge, so this whole episode is mostly an unforeseen consequence of past treaties that they're willing to tolerate.
"Hacker news"
I'm not sure. Many so called revolutions actually had outside help (usually from the U.S.).
can someone summarize it in like 100 words or so
He didn't say "bad definition". He said "unintuitive" and I agree. The video is obviously meant for an audience that is not intimately familiar with infinite series or their applications in string theory. I'm sure most people found it most unintuitive as it is very much in conflict with how sums behave in everyday life. The fact that the video failed to discuss the important details is well worth criticizing, as the article explains.
Why did Turkish coup plot fail?
So you resolve the forced one-dimensionality by making the dimension circular rather than making more dimensions?

The left/right divide is one of my pet peeves...
I believe it's mostly use to avoid having huge blobs of text and force the readers to have a pause to reflect about the text instead of leaving the page.

Nevertheless, I feel the same way. I wish people would use simple diagrams relevant to the discussion (like the 1/2 + 1/4 + ... = 1) instead of overused macro images.
For the mathematically inclined, Terence Tao's explanation provides an easier intuition of the relationship using real-variable methods: https://terrytao.wordpress.com/2010/04/10/the-euler-maclauri...
> The arrogance here is breathtaking.

Oh we can definitely agree to that

> that what you consider the bad definition is actually the good one

Sum is pretty much well defined for different sets used in mathematics. In none of them the sum of infinite positive numbers is a negative number.

Here's a definition for a bad definition: it is ambiguous
I wouldn't assume my definition is a better one than any other. But I am just like the articles author confounded by the idea that you can communicate this equation on a public forum without making it absolutely clear that you are interpreting the equation in a way that is different from the way an undergraduate or just regular person would interpret it.

I get how it's fun for intellectual people to come up with new definitions for things that expand our knowledge and understanding of the universe, and tease people who have the old simple understanding with seemingly impossible quandaries. But I would like the emphasize that I think this teasing is counterproductive. It leads people to believe mathematicians operate in a field that is fully disconnected from reality. Either take the time to explain how you define your construct, so they can truly appreciate the usefulness and ingenuity of the equation, or use different symbols and present it as a valuable yet opaque contribution to practical mathematics by showing its applications. Both cases will yield the much deserved admiration.
How do app updates work with Sandstorm ? For example, if I host an instance of the Ghost blog. Now, say it updates from version 1.2 to version 2.0 (which means probably a breaking database schema change or something). How would Sandstorm go about updating it ?
There is so much you can put in a title.
Calling it as "clickbait" is too much.
They are simple instructions to get the maps of a continent online.
Administrador de Sistemas Red Hat
I'm curious as to how they prevent fraud.
Interestingly there is lots of politicians that want to be there.

Those from parties that would have little chance to get elected into a national government because of 1 3-5% hurdle.

The pirate party is a prime example for this, even though they hold no seats in germany they hold 1 seat as a representative from germany.
Current coup summary:

250 people dead (according to The Guardian), 1440+ injured.

According to Turkey's Chief of Staff, the coup was against President Erdogan's government, launched by troops from the Turkish Air Force and Gendarmerie.

Erdogan asserts the coup is over, but some reports suggest the calm in Ankara indicates the coup succeeded there, and that there is presently a stalemate between government and anti-government forces.

The Turkish government just ordered the dismissal of 2745 judges from their seats. According to Reuters, there were 7604 judges in Turkey total, so ~36% were removed from duty.
Which is not really surprising as West Coast and NYC are where most of the Chinese immigrants live.
I am surprised, because this presentation style used to be restricted to children's books. I was unable to finish this article because I refuse to have Riemann mixed up with memegenerator.net.
In general, Europe is (much) more expensive than the US food-wise and I still can eat a four-course meal at a one Michelin star restaurant for less than $50 (without drinks) 10 mins by foot from my house (Netherlands - you won't get to wear t-shirt and jeans though). I'd certainly hope that $50 would get me exceptional food.
How does an infinite sum of integers appear in nature (physics)?
Bad example. Windows registry is well know as a source of problems.
It's been a while since I've read _Lolita_. If my memory serves me correctly, the novel contains no depictions of sex or sexual intimacy.

Amazing work of literature, by the way.
This was in one of Rumanajan's textbooks that he sent to Hardy.
It changes the semantics of established notation instead of invnting new.
Why is this flagged!?
How to Make Slingshot Pocket – Easy Way
I don't have high thoughts about schemes like this.

First off: Why plot pictures of communist leaders on the notes?

My guess is that they know what they are doing and want to put the "fog of politics" over it.

Don't accept our "patriot dollars"? I guess you hate our freedom, damn french person.

Think our "refugee euros" are a ponzi scheme? Nasty racist bigot.

Making sure that any discussion of the soundness of the scheme degenerates into a discussion of divisive politics.

Secondly: The 35 euros pr. person the state gives the city to cover all expenses of taking in refugees is probably not a windfall. It is probably too little as it needs to cover everything from hospitals, schools, food, housing, processing cost and so on. (And not enough to give cash handouts for the refugees to wire back home.)

But if you are a manipulative politician you can use the cash you get from the state to run a ponzi scheme and claim the temporary surge in activity is due to the benifits of multiculturalism, your forward-looking leadership or whatever.
Now substitute blog post with children book. It's unfortunate that text length, imagery and animation have all descended to the level of fairy tale writings.
Democracy means the majority vote wins. Clearly the majority wanted a european constitution.

I live in the Netherlands so I'm sorry to say this, but they hold way to much power in the eu. Their population is ridiculously tiny and they only have so much money because they act as a soft tax haven.

These referendums should be held EU wide and decided upon based on a total count of all votes from all eu members, where each person holds one vote. Not by asking every state individually and then having a all or nothing ruling.

Then it would be truly democratic.
Electronic cigarette aerosols and copper nanoparticles promote DNA fragmentation
Ethereum's Hardfork Code Has Just Been Merged
I'm still working on Full Metal Jacket: http://web.onetel.com/~hibou/fmj/FMJ.html

If you want to dive in, there are tutorials: http://web.onetel.com/~hibou/fmj/tutorials/TOC.html

Once it's ready, I'll release it, probably on a shared-source licence.
Why not just call it JSTerminal?
Length of the coast of Britain?
As someone with multiple family members with severe peanut allergies, this sounded nightmarish.
Pacu fish will live partly on table scraps, so there's that.
An Equation of Everything?
What machine are you running your terminals in? I have as little as 8 GB of RAM, and more CPU power than I could dream a decade ago.

Don't you think that maybe you are using your past environment to judge a current experience?

Visual Studio Code is based on Electron and works wonderfully. Doesn't feel bloated, it's quite fast to open and I haven't felt a slow down in any meaningful way.

I'm not imposing my computer specs to anyone (and I'm using vs code in a client machine in any case), but we have generally a lot more horsepower now and the discussion of performance might mean little for a desktop app (heck, we are running javascript on the server nowadays!).
Solving the stateful services problem in container orchestration
If you actually read the two sources for that statement, it's clear that the disagreement is about the party affiliation. Except for communists claiming it to be a false flag operation, there is nothing in support of that theory and nobody supporting it.
I'd argue that Brazilian food has gotten a bit more of a "higher class meal" distinction compared to its counterparts, but that's probably because they're often Steakhouses (which are often considered higher class), and it's offers a bit of a unique experience as people often come to your table and offer you all sorts of different cuts of meat that they carve for your right there. There's quite a few of those around the area, and they're not cheap places to eat. There's quite a few of those now in the Chicago area.

There's a Peruvian sandwich place near me now. I wouldn't say it's high class, but the sandwiches are more expensive than many other places around here. I just assumed it was due to it being more expensive to import the food they need, but now this article makes me think of the cultural aspects of it too.
In the numberfile video he doesn't explain the way he calculates 2・S_2. He says he shift it, but doesn't explain why that is valid.

Shifted version:
1-2+3-4+5-6 ...
1-2+3-4+5 ...
sum: 1-1+1-1+1-1 ...

Multiplied version:
2-4+6-8+10-12 ...

The multiplied version shifts between +(2n) and -(2n). Following the logic that S_1 = 0.5, because that is the average between 0 and 1, I would argue that the multiplied version of S2 should equal 0, as that is the average between a postitive constant and its negative (but the variance is going to be infinite. Doesn't that have a say?).

What if we triple shift?

Triple shifted version:
1-2+3-4+5-6+7-8+9 ...
1-2+3-4+5-6 ...
sum: 2-3+3-3+3-3+3 ...

Look! now 2・S2 is equal to 2!
Serving Phoenix and Continuous Deployment
Which is because you can always have more power by becoming a leader of a member state than a leader of some part of the EU machine. Becoming a MEP or commissioner/MEP is not exactly a move towards power. Therefore it's usually a path taken by those whose time in the national spotlight have passed or those who have had to adjust their ambitions.

It's not anti-democratic that the players for the lower-rang positions are of lower rang.
I agree that the project not being open-source is a great no-go.

You guys should consider replicating the Wordpress model: open-source tools and paid plans for hosting & support.

Don't think that S3 or github pages are too simple for a user to being autonomous in deployment. IMHO typical use case for your product is a tech guyssetting things up for some non tech people to administrate and write content afterwards.

This means the keys are :
- 0 tech steps in administration (no git push, no jekyll generate etc.)
- plugins
- plugins
- plugins
- themes
- plugins

But clearly if this can become an alternative to WP, this is great because devs hate WP and it scales really bad, while static websites is the complete opposite.
Use Deep Learning to Automatically Colorize Black and White Photos
It's not dangerous. It's awesome.

There is all of this excitement around ideas like Light Table, allowing you to see the output of your code inline as you develop it. Being able to alter code and recompile on the fly in the debugger gives you a very similar experience.
Well I'm not a physicist, but I think at the very least we perceive time (locally) as proceeding in a linear fashion infinitely.

My mountain example obviously couldn't happen in the physical world. I suppose in that case you might as well substitute the infinite value for an arbitrary large one. Which is not really what infinite values are about in mathematics, as they are more about describing the (imaginary?) limit of a divergent series.

I guess my point is more that for a mathematician it would probably be obvious that when you talk about the limit of a divergent series it could be any imaginary or intermediary value. But for a layman infinite values and infinite series are interpreted as larger than any value you can come up with, and more than any repetition you can write down. So any explanation for this equality should, I think, involve first deconstructing that.
Quintuple: a Python 5-qubit quantum computer simulator
Free and Open Source Software – Jeremiah [podcast]
Report says Turkish body dismisses 2,745 judges
MAGICPIN
And unless one of them is really famous, the final design will be made exclusively of rectangles anyway.
Anyone know what app they're using to show the cell info? Can it be used on a consumer phone?
I haven't read the article and I'm not going to dignify it with my view, but I highly doubt its conclusion. The UK has a deeply undemocratic voting system and one of the leaders in government surveillance. Someone who cares for democracy and privacy can't possibly want Britain's institutions to be unconstrained by the EU, however little the EU may help.
To say the problem is solved you must first state it.

Maybe your terminal problem is solved (mine is), but their problem may be different.

Would you tell people who made chrome to quit back then, because the browser problem was solved? (IE, Opera, Mozilla Firefox) Or maybe tell Google to abandon drive and Microsoft onedrive and all that smaller companies like SugarSync to drop it because Dropbox has "solved it"?

This also means that indeed your previous question is good: it'd be nice if the author could explain the use case and business case for his terminal, seeing that we have a number of others around. (Google explained why Chrome with a comics thingy and got me immediately). But your questioning sounded like the author was already in err.
> until the phone melts down

Under what circumstance would that be considered normal, expected, or acceptable?

My phone just doesn't do that, and never has. Sure it crashes maybe once a month or so, but then I'm able to use it again within ~15 seconds.

I think that experience is mirrored by most people.
P22: The first additively manufactured, production titanium writing instrument
Well in cron "every two days" is more like "every second day of a month", and "ever 5 hours" like "every fifth hour of a day".
That depends on how you define an unhandled exception :)

You're right of course: no compiler can guarantee lack of exceptions when it comes to IO, but I would argue that GHC, indeed, does verify that - unless a function explicitly throws an exception - no exception will occur. This is very different from C, where an exception can be the result of just about any operation (if you do something wrong), rather than only an effect that appears when you use "throwIO" (or similar). It's the difference between exceptions being used as a tool by the user (programmer), rather than a way for the compiler to tell the user (after your program is compiled and is running) that it has no idea what to do now, and will abort. In Haskell I write the "error"/"throwIO" statement causing an abort, in a C program I might have intended something completely different, but the compiler throws one at runtime.

We mustn't mix up IO with everything else, because reality is inherently unreliable, and it's just the nature of it that a certain file won't necessarily be readable tomorrow - we can never know that. But we can know whether a pure function, sans compiler bugs, will execute without throwing an exception. And I would argue that adding "error" or "fail" does not constitute an unhandled exception, as that statement was put there intentionally by the author of the program (perhaps to test out something).
I'm kinda tired of constantly reading about free speech and its virtues, and how people who don't have that culture are somehow backward. I know free speech is a good thing, but when you venture in the middle east, free speech doesn't matter because there is much less public order. Politicians know that people don't have this culture of free speech and must act accordingly.

Outside of the US, people don't consider using something as a political statement or general endorsement.

For example there are many politicians who are against europe in general. They still hold a seat at the parliament, because they can.

When poor people in africa use cellphones, should they change their opinion about the country it came from ?

What bothers me is the whole "you used a technology you were against and it helped you". Sure, it is contradictory, but when the stakes are high like in a coup, politicians have to forget their stance a little. It's another domain of scenario. History in politics is full of contradictions, so what bothered me is that easy sniping remark about social media while there's a freaking coup attempt. I don't think people care so much about a neat social media application while a parliament is being bombed. Those techs devices and infrastructure were paid for, everyone use them. The tech is not from there, so of course a politician won't really approve of it.

The general tone that bothers me is that when tech people read the news and they only read the tech part, not the rest.
Or they'll just do what tons of other restaurants already do and serve you fake lobster and no one would know the difference.

http://www.huffingtonpost.com/entry/lobster-not-lobster-subs...
My concern with the misuse of the world "operating system" is that I've seen this trend noticably devalues the term in my own operating system projects, which are actual operating systems.
That assumes details can be arbitrarily small, which Planck refuted.
I agree that there's too much indirection, and I wish we'll make it more directly representative.
Just watched the entire video. Using the same "proof" that they used, I can also prove that 1+1+1+1.... = 0

Proof:

S1 = 1 + 2 + 3 + 4.....

S2 = 0 + 1 + 2 + 3 + 4...

S1 - S2 =
(1 + 2 + 3 + 4 + ...)
-
(0 + 1 + 2 + 3 + ...)
= 1 + 1 + 1 + 1....

S2 == S1 (by definition, since all you're doing is adding a 0)
=> S1 - S2 == 0

Therefore
0 = 1 + 1 + 1 + .....

Obviously this is pure nonsense. You can't just "shift things around" and use elementary mathematics when dealing with infinite series that don't converge. Maybe there's a more convincing proof out there, but the one they presented in the video is bogus.
>Under the normal rules which hold for direct use obviously the answer is positive infinity just like you would be expect, you're not stupid and you could be a mathematician if you wanted to.

There is no answer for an infinite sum. It is impossible to sum an infinite quantity of integers. The answer is definitely not positive infinity, as that is not a number and the sum of integers must be an integer.

The article points out a few times that such a "sum" is undefined.
Metrics_distributor – Rust
[offtopic] May I know what was used to build those handwritten-but-not-really font in images? Any program or app that allows uses multiple glyphs for the same character?
Finally wrote down what I know about finances and investment on a practical level
I would generally expect Go's TLS 1.2 defect rate to be competitive with those of other mainstream TLS implementations. That code is very well regarded and designed by domain experts.

I'm one of the founders of Matasano, and started the crypto practice within Matasano that would have done that Go TLS review, and I can say pretty confidently that compared to the attention Go TLS already gets from experts, the long-term benefit of us reviewing it as a formal project would have been marginal.
You can audit the code, compile, synthesise, place and route the design, tape out masks, send it to a fab, decap a few of the chips you get back and look at it under a microscope. You should be able to compare that to the masks to verify the design hasn't been tampered with.

It's harder to audit ASICs that other people have had fabricated without having the exact same standard cell libraries, tooling versions (optimisations change over time), knowing what optimisation settings they used, etc. to be able to prove the masks came from the same code.