skysight-inc/HackerNews huggingface dataset:
But...they do have a delivered status. I think it's "delivered to the servers" (probably doesn't work in "secret chats"), but it fulfils the same goal. Edit: It does work in secret chat as well

And yes, Telegram has an option (a default state actually) to store the messages on their servers, WhatsApp doesn't have that. Beyond "E2E should be on by default", I don't see how this point is for WhatsApp.
This is a gap in this kind of verification work. Systems like coq get around this by having a facility to "extract" code from the proof itself. You would define your algorithm as a Fixpoint, prove properties of that Fixpoint, then extract that Fixpoint into some ocaml code and use it directly in your real programs. This closes the loop you describe, insamuch as you trust the extraction process and the ocaml compiler and runtime (but other work is ongoing to close that loop as well).
It's really regrettable that he's swung hard into manipulative conspiracy theories and attacks on people he disagrees with or politicians he dislikes. It's much harder to defend his current conduct as journalism, and WL's conduct with more recent leaks and hacked documents (like Macron's campaign) leaves a lot to be desired. In the past, I think you could make a strong argument that he should've been protected as a pseudo-journalist.

I think if he had kept a level head and a more serious approach to these things it would at least be easier to defend him...
Well, search for "whatsapp mitm".
I found that many adults have sadly forgotten how to ask "Why?" and instead get set in whatever their mind decided is the reason for something being the objectively true reason.

Encouraging children to ask why is not only the most kind thing you can do for them, but also the rest of the world.
Expert Program Management
Yes. Should really have been a "For me at least*" with a note that it would piss others off until most cars can be summoned.
The issue is that cities and entire states (RI and CA) started banning elephants, so the "vocal minority" they listened to was the government. You're making it sound like they screwed up by following the law.
I love Telegram. It is a true joy and my circle of friends are enthusiastic fans.
You can write android apps in c# or JavaScript too.

I'm not sure if you consider them "supported" but they both have pretty advanced tooling for the purpose.
That does not explain the highly unusual step of overruling another prosecutors decision that there was no case to answer, the illegal release of information to the press, nor the insistence not to interview him in the UK - something she kept up for four years before finally accepting that there is no legal basis preventing her from doing so (one of the excuses used), and finally interviewing him last year.
EURJPY: Follows Through Higher on Recovery
"Remember filtering lists with for loops? Thanks to the functional approach to collections, we can also reduce all the complex, multiline instructions to only one line of code."

Erm, same can be done in Java with the Java 8 stream API.

I like Kotlin and use it with Spring, but articles like this where programming languages are not compared properly make me cringe.
Tech Companies Should Speak Up for Refugees, Not Only High-Skilled Immigrants
This reminds of that Churchill quote about democracy: "the worst form of government, except for all those other forms that have been tried." Besides competitive grant awards, do you have a better mechanism for reliably funding brilliant ideas? I doubt it. I agree the system could be improved in certain ways, like tilting the funding stream less heavily towards older PIs, and funding a few moonshots, both problems the NIH at least claims to be addressing now.

Also, some scientists do overhype their ideas, and a very few might make up data, but the majority do neither.
i dont like it when a rapist goes free. what i like less is his apologists. it is like with trump. if you have enough followers it is apparantly ok to mistreat women.

i suppose 5 years of sitting in an ecuadoran embassy is no fun but he still escaped justice.
Rust, Haskell, Lisp, Smalltalk. There are a lot of languages out there that are already better than Java.
I can only say I'm way more productive in Xamarin than I am in Android native with Java, I do a fair bit of both. I'm excited about Kotlin and will definitely give it a try, but Xamarin does still retain some advantages over Kotlin, even though it seems to be a slightly more advanced language than C#:

Xamarin allows you to target iOS, MacOS, and Windows in addition to Android. Though you have to rewrite the view layer for each platform. If your view layer is in HTML, then you mostly have WORA.

Xamarin converts a lot of crufty weird Android API to a slightly more modern form. So instead of int constants hanging off random classes all over the place, you have proper enums.

Coroutines and async/await seem much more ready for primetime in C# than in Kotlin.

Xamarin builds seem saner and faster than Android native.

There's some very advanced and battle-tested C# libraries that Xamarin opens up that I think are unmatched in native Android land. For full-application frameworks, ORMs, DI, databinding, and serialisation.

There's way more C# devs in the world than Kotlin devs.

Though I have to say that Xamarin has one big disadvantage - it adds another layer of sometimes leaky abstraction, and a whole new source of framework bugs to Android. So you spend a lot of time asking yourself "is this a Google bug, or a Xamarin bug, or my bug?"
> Are you new here? I'm sure that next week it'll go back to the usual threads about Rust or Haskell, or someone will start a retro fad around Algol-68 or something.

I just do not get how the disconnected list of events you provided justify the promotion of Kotlin we have seen this week. But hey, you might even be on the payroll.
Telegram is more fun (bots and stickers), but WhatsApp is more secure (no messages on server, no rolled-your-own-crypto).
> Well if you cannot question the accused

What do you mean? The Swedish prosecutor has been invited to question Assange for the last 5 years and declined to do so until a few months ago.
Aside from obscure statutes to do with privacy, computer misuse etc he may or may not (probably not) have been actually guilty of under Swedish law, I'd have thought anti-terrorism legislation (fewer legal safeguards, more reason to seize Wikileaks' digital assets) would have provided the perfect opportunity to put him out of action, as well as being the basis for all these renditions Assange-supporters keep referring to.

If a government conspiracy really wants someone in jail, it's a lot easier to make a proper false allegation - of pretty much any sort - with evidence under their control rather than try to force an existing totally unexpected and rather wobbly one to stand up.

On the other hand, prosecutors and police investigators regularly have differences in opinions about the merits of pursuing borderline sexual misconduct or domestic violence accusations with unenthusiastic witnesses without any semblance of a conspiracy whatsoever.
The C# tooling is good but it's partially closed-source and sold by a vendor (Xamarin). On that basis I don't think it really 'counts'. JS does, at least, since there are many ways to ship JS-based Android apps for free.
What you're describing is how net neutrality works, not how the Internet works.

> First, bandwidth is limited. It's whatever download and upload you sign for.

I said that I don't encourage bandwidth limits, not that it wasn't limited. The point is you usually sign a flat fee, you don't have universal access and then pay for traffic, more like in a country like Andorra.

> Second, there is no such thin as "full speed access to Netflix" or whatever. It's limited by your own bandwidth at least.

It's only limited because the ISP has limited it, it's entirely possible to give someone with a slower overall internet connection a higher speed to certain services.
> They don't have to update their infrastructure every time a new web site comes up. As such, access to Netflix, Youtube, or http://loup-vaillant.fr are not separate services.

I don't see you point. ISP do peer directly with services, but I never said they had to. You just have to have a separate exchange for full speed services.

> ISPs that treat access to particular web sites as separate services are just plain lying. The real "separate service", for which they actually spend money, is the throttling/filtering/censoring infrastructure they have to put in place to charge different web sites differently. Text book malicious features, not unlike DRM.

I don't agree with throttling, but "throttling" (or congestion) does occur naturally on the Internet.

I think you really don't get my point, so I'll try and explain in another way.

Today you pay a higher amount for something like a 100 mbit or 1 gigabit connection. That's for all the infrastructure and bandwidth for giving you that access (or at least hopefull something close to it). How this works differs, but generally your ISP would pay to access bigger networks.

Now imagine instead if your ISP only guaranteed you a certain amount of normal Internet traffic, either as bandwidth or data. And then it would be up to the services to pay for the infrastructure and bandwidth to deliver their content at a higher rate. It would really just be a formalization of what's already happening with transit vs. peering. If you want to see it from a technical perspective, how it is today, imagine having 10 mbit to the open internet and 1 gigabit to all the services that your ISP peers with (even in the extended network). Then imagine possibly your ISP getting paid by those services instead.

I'm not saying that it's a great idea, I'm saying that it is a winning one. Because consumers would pay less, ISPs would require less infrastructure or pay for less bandwidth (as you said these things are related) and it's actually creates incentive for people to roll out Internet access. And if you want net neutrality it's an argument like this you would have to be able to argue against.
He didn't :(
I like VS Code and I don't want to crap on it, but I frequently experience massive UI lag on Windows - i.e., I start typing and the letters show up five seconds later. I think maybe it's related to source control? The same laptop runs Visual Studio fine.
already exists for a long time.
Yeah, though it sucks both require a phone & sim card
If you write a C# app with Xamarin and have problems, then it's Xamarin's support problem. If you write a JavaScript app with Qt (I assume?), then it's Qt's support problem.

Now, if you write an app with Kotlin, then it's Google's support problem. I can see how that would change the game for a lot of shops.
I use both of them.

To my mind Telegram is a nice example of how to do things right. It's fast (in all senses), it's reliable and generally pleasant to use. It can be secure if you want it to :)

Not that WhatsApp is slow or not reliable. I can't formulate it but still I do like Telegram more. All the above is just my overall impression.

-------------

Speaking of security I'd like to admit that I'm not a terrorist or a serial killer so maybe I'm a bit out of this problem. I agree that it's generally bad to spy on regular citizens but at the same time it's obviously even worse to have negotiations regarding terroristic acts or other ways to commit a crime.

Personally I'm almost O.K. with government spying on me unless it tries to sell me goods and services =)
Ask HN: What are the best books/articles for startups?
EDIT: I know one, Hello, Startup
Alleged.
That's true. But once registered you can use Telegram on any device. That's not true for WhatsApp: they have app only for iPhone and you can't run it on iPad even in compatibility mode.
I still wish Duolingo would make a course on Chinese :(

Currently my favorite app is "Decipher Chinese". I read one story a day, save words I want to remember and get quizzed on them periodically.
User accessibility, userbase size.
Ask HN: (discussions) should comments stand on their own?
I rarely use the "newest comments" view (https://news.ycombinator.com/newcomments) but now I clicked on it and saw a list of various comments without surrounding context. Yet, there are the buttons to vote on them.

That made me think, do people peruse that list and vote regularly solely on the comment's content without context? Suddenly some irrational voting patterns start to make sense, if there are people voting "blindly".

Should the view have vote buttons at all, make people to see some context before deciding on a downvote?
Shout Link – An API to Generate Memorable URLs
I doubt it's being paid promoted, but I don't think your cynicism is unreasonable. It is pretty obvious that the big tech companies maintain a presence on this board and attempt influence through human and automated measures.
> To give you an example of the folly of fuel economy regulation, consider that 90% of automotive pollution is created by the oldest 10% of cars on the road. Does it really make sense to force all buyers of new cars to pay
extra? Why not charge a tax that increases for every year a car gets older, so that the person driving the smoke-emitting clunker has an incentive to upgrade into something that is cleaner and safer.

Isn't the problem the pollution emissions, not the age of the car? Charge people an emission tax based on manufacturers' guidelines, and then switch to periodic measurements after the car is greater than N years old (N>5). That way, people can buy new, polluting vehicles as they wish & their budget can stretch to.

This is the UK's approach, which works because cars have a yearly check for roadworthiness.
"delivered to server" is different from "delivered to device". Let's say my friend is abroad with no roaming, I have no idea whether a message was delivered to him/her or not. WhatsApp has both.

As I wrote, I think (I might be wrong though) that if you enable E2E encryption on Telegram you can no longer use additional/desktop client.
Let's Encrypt: Active Incident
Oh cool thanks! useful link too
Check your priorities.
opponents to the US In many countries around the world were captured and sent to Guantanamo. Do you need any rules when you are the one with the largest power In the world?
Reverse Virtual-DOM
The loop is always open though. Who verifies your verification code? Who verifies the processor implementation? All you can do is reduce the gap in the loop surely?
from what i've read they bought several other patents that kind of covered mp3 but expired later to stretch out their hold on them, i wish i'd saved them since google is just returning hundreds of articles about whether mp3 is dead or not
If you want a taste of an up to date roguelike, you can try Dungeon Crawl Stone soup.

You can also play online at https://crawl.develz.org/. It uses the Nethack keybinding for the most part, and you can get access to help in game by typing '?'.
I think you're just underestimating the huge number of Java programmers in the world, and what this announcement means for them, that's all.

HN is usually flooded with stories like "Show HN: I wrote a config parser in Rust" or "Show HN: a web server that serves JSON in Go", which are irrelevant to 90% of working programmers. We just get blind to it. There's no money at work there, just the enthusiasm of the users ... along with a dire need to spark enthusiasm in others given that Rust and Go hardly interop with anything except C.

Kotlin's getting a lot of attention right now, but it'll die down because Kotlin users don't need to win converts to their ecosystem. You won't be seeing the next two years of HN front pages be filled with "My experience of converting a microservice to Kotlin" type stories, because Kotlin users can just use all the Java and JVM ecosystem support already, so there's no need to win people over. Getting more Kotlin users in the world doesn't make a huge difference to your own experience.
DevOps Team Assistant, 1.64.1 released
What makes it preposterous? You're thinking the real CIA would've at least sent Jason Bourne?
Losing your funding is one thing, but Hillary Clinton allegedly requested Julian Assange be killed.

It's unproven one way or the other, here's the Snopes article:

http://www.snopes.com/julian-assange-drone-strike/
yeah otherwise it would be hard to justify the invasion of Iraq among other things.
>Strangely, the women's lawyers had a slightly different view of their desire to pursue the matter through the court than the Assange campaign to prevent the matter going to trial.

You mean the politician-lawyer Claes Borgstrom who was subsequently fired by the woman in question because he wasn't representing her and "he just wanted to be attached to a high profile case"?

Yeah, nothing suspicious about that.

>It stretches credulity to argue that responsibility for the affair
lies more with the "big powers" than the decision of two apparently major fans to report him to the police

"They are trying to arrest him on suspicion of XYZ … It is definitely a fit-up… Their timings are too convenient right after Cablegate." -- GCHQ officer, "straining credulity" with their wacky conspiracy theory.

>And suggesting the "bad apple" most at fault for the whole affair is somehow the second prosecutor to look at the case is just unhinged.

Because cases being dropped and then picked up again suddenly by people much higher up the political food chain isn't at all suspicious. That's just unhinged...

>If the state wanted to railroad Assange, he'd have been in jail a lot quicker on much more straightforward charges

Aside from the whole "first amendment" problem which prevented the straightforward charges, rape is a much better charge than treason if you can make it stick. It kills his credibility and prevents him from being martyred (like happened to Chelsea Manning).
Rclone has been banned from Amazon Drive
Story of a junior developer after a coding bootcamp
They had five years to question him before they finally did. The Swedish prosecutor's bluff was called by the prosecutor refusing to question him without extraditing him first.

Edit: not normally one to complain about downvotes on HN but Assange inviting Nyberg to the embassy repeatedly over the last 5 years is factually provable and not in dispute by anyone pro or anti Wikileaks.
That's why you implement it in Ada 2012 w/ SPARK 2014. You can encode the verification conditions as contracts. All the basic ones should be proven automatically. Those that aren't can be turned into runtime checks.

https://en.wikipedia.org/wiki/SPARK_(programming_language)

http://www.electronicdesign.com/industrial/rust-and-spark-so...

Here's an example of combining Event-B with SPARK to split overall verification between tools with each handling what they're good at:

https://pdfs.semanticscholar.org/481c/d4d2409115429f4b824f37...
News tends to follow current events.
if u are just looking for startups then I can recommend u => https://www.cofoundme.org
The list of events seem pretty connected.
Ask HN: Are there any affordable, quality MBA/Masters programmes?
Looking to take a less beaten path without paying an arm and a leg.

Looking for a anything focused on Information Systems/Strategy/Finance or a combination. Suggestions welcome.
The Greek Debt Crisis Explained
Are there any good ways to keep your data in sync between a model and the DOM with Web Components? Something similar to what Vue or React have?
> I would love to see the world through his eyes, it must be glorious.

Please please please don't let this be crushed out of him.
Yeah. Those nefarious Elm and Nim cartels, using Russian hackers to push their #fakenews to the top of HN every other week.

(I feel like I'm living through a bad acid trip)
Yes because the entire value a husband receives from his wife is her housekeeping contributions.
Theresa May Wants to Regulate the Internet
Facebook blocks Pulitzer-winning reporter over Malta government exposé
Really? We're congratulating people who successfully skip bail now?
More kid friendly and consistently entertaining than theater, not Ringling. I say more consistently entertaining, because you never know what you're going to get with theater. .
If i believed for one second that he committed rape there is no way i would defend him. This was an attempt to frame him due to his political journalism. To infer otherwise is to be malicious or incredibly naive. The people out to get him have a war machine behind them that has millions of deaths on their hands and somehow we're supposed to believe he would be treated fairly. If you believe that I've got a rich deceased uncle in Nigeria who wants to send you a few million.
How to build a customer advisory board
Будил ли встроенная поддержка typescript?
Or "Inside America's actual war on, eh, almost everybody."

Seriously, it seems like a large part of the US is completely oblivious to (the effects of) the US foreign policy over the last 70 or so years. Interfering in elections? Boo fucking hoo.
Getspeed.co- a New Tool to Test Your Internet Speed
When he still was just a journalist receiving and disseminating leaked information, I supported him. But after the Manning leaks, his power seems to have gone to his head, and he thought he could get away with anything.

Journalists need to be protected from persecution for their work as journalism, but they don't get a free license to violate laws in completely unrelated cases. Rape is still rape.

And his recent grandstanding trying to manipulate elections through mostly bluff, is really disgusting. I'm done with him. He doesn't stand for anything I support anymore.
The usefulness of a language depends if you are going to use.
I got your point, China is HUGE and extremely important at the moment and future.

But at the same time japanese can be seen as very useful because:

- its a very important ally of the USA;

- introduce you to the ideographic writing system;

- be very similar to korean grammar (and particle system).
It's been done down to the hardware. Originally by Computational Logic Inc for FM9001 whose prover became ACL2. Then Verisoft went from apps to OS to C subset to VAMP processor (DLX-style). Recently people are doing HOL to hardware that will integrate with HOL/Light whose core is a few hundred or thousand lines to trust. Those people eliminated trust requirements in everything from extraction mechanisms to provers to assembly generation:

http://www.cse.chalmers.se/~myreen/

Follow he and his colleagues work for all that. Especially Milawa and CakeML. If you want a starting point, a small, Forth-like processor verifiable by hand on a node verifiable by eye could run the initial interpreter and prover for the first, real CPU. Plus, common practice is to split work into untrusted generation of artifacts with traces that are verified by a trusted checker that's comparatively tiny and simple. The little CPU would just run the checkers. You can run the generation on anything you like with the speed benefit. :)
I want more information on these topics you mention, please. Thank you.
I corrected someone that described someone with male chromosones as "she"
> Part of that fear was presumably based in the unusual persistence of the Swedish prosecutor, which implied something odd was going on. But that "something odd" might simply have been the prosecutors ambitions.

The law is the law, and Assange stood accused of a serious crime in Sweden. The idea that Sweden would simply forget about it because Assange had holed himself up in an embassy for five years seems misplaced.