skysight-inc/HackerNews huggingface dataset:
...and how much have you contributed to HTTP/2? Are you in any position to criticize Martin based on his avatar of all things?

edit: I apologize for the ad hominem nature of this comment. I just get frustrated when people attack major contributers to open source projects. We need to keep in mind how important these projects are and how thankless contribution can be.

Martin has done a lot of work on HTTP/2 and WebRTC. If somebody wants a different message in the HTTP/2 handshake that doesn't evoke immaturity, then that person can contribute sufficient to gain stature in the community and then change that message. Criticizing Martin's avatar is just dragging us into deeper waters for nothing.
Rendering Om Server-Side with Foam
I code or read. Usually a physical book, for the latter.

I specifically take the slightly-slower bus rather than the slightly-faster train so I can reliably get a seat even at busy times.
Show HN: USBPush for easy programming of FriendlyARM/QT2410/OrigenBoard boards
How Google Uses Angular 2 with Dart
WW3+POPEYE+CANCELLS+CHRIST+MASS+-+YouTube
Hope for Nefertiti’s Tomb, and Egypt’s Economy
I disagree! I think there's a pretty good case to be made that if the IETF is not in fact comprised of immature hobbyists, its overall behavior is well described by a reversion to that lowest common denominator.

There are some great IETF success stories (mostly from a long time ago), but most of the best IETF products are the result of forceful and expert engineering done by just one or two people, carefully documented. You can see how much better that kind of work is than the IETF collaborative process by looking at the v2's and v3's of standards that started out the other way.

It's not a crazy observation to make. Think about the culture of heavily-engaged Wikipedia volunteers. Wikipedia is an amazing resource, probably the most impressive thing on the entire Internet, but most HN commenters would have no trouble calling it out for immaturity, insularity, and frivolity.
It's called "satire". It's truth speaking to power.

BTW, "I'm rubber and you're glue..."

Updated: And what's gender got to do with it?
Snoop Dogg Marketing
Wouldn't including a constant block at the beginning of every message of the plaintext help to break any ciphertext generated from the plaintext?
Isn't the W3C the UN of Web Standards?

Why would you not expect programmers with strong political leanings? What kind of world do you live in where top researchers all share moderate views and modes of expressing those views?
And you should be convinced.

I'm a Google Trusted Photographer in Houston and I visit and talk with businesses that get targeted every single day. I'm loosely affiliated with Google and I have to make that clear. They get calls twice a day from "Google" and "Yelp" about their pages and reviews. This is their #1 complaint when I call them or walk in their door. Being local helps.
haha! Thanks :)
As a proponent of a universal income, I think that's where a lot of the debate fizzles out, and rightly so. Developing a UBI within the status quo framework of centralized government and the dollar (another highly centralized social institution) would be misguided and would completely inhibit the potential of such a system. A real UBI would be a distributed network, which is incompatible with such highly centralized systems.
I think Scott addresses that critique in the article:

HHIPP: “Radical candor is humble, it’s helpful, it’s immediate, it’s in person — in private if it’s criticism and in public if it’s praise — and it doesn’t personalize.” That last P makes a key distinction: “My boss didn’t say, ‘You're stupid.’ She said, ‘You sounded stupid when you said um.’ There's a big difference between the two.”
An Introduction to Unix (1995) [pdf]
30 days of tvOS sales numbers
True of communicable diseases to a great extent, but not, for example, diseases of aging or birth defects.
The gpio pins have low tolerance. Apply more than the 8mA or 3.3v and you permanently damage your board. LED's usually require 20mA to achieve a good brightness so you have to create a safe circuit using a bipolar transistor and the 3.3v power pin which supplies way more current than a gpio pin. If you hook up that transistor wrong or short the circuit it's game over.

I actually think you can even damage the board if you create a short between the gpio pins and ground. So any kind of circuit requires a resistor, carefully reading the system manual and data sheets for your components and using ohm's law prior to hooking up components.
Then issue a warning. I actually think it's unethical to hide the animals. The public can't make informed decisions about visiting the zoo if the zoo is hiding the reality the animals live in.
Hey all - I'm the author of this post. I thought it would be an interesting article here because Staffjoy started as a college paper, then it became a side project, then with the help of Y Combinator it became our full-time job. If you have any questions, I'm happy to answer them.
They are not very loud; they have a smaller impact than a UPS truck or a pizza delivery guy racing against time. They will get lots of vehicles off the road. I see folks embracing drone delivery as a solution!
If you want a lot more information about stroke and linguistics, I highly recommend the book "One Hundred Names for Love: A Memoir" It's about an older married couple, both wordsmiths by trades (linguistics professors? I can't remember). The husband has a stroke leaving him with a single word vocabulary.

It documents what they did in his recovery process as well as mentions the various types of language impairments that can come with stroke. It's a great book - touching and educational.

IIRC, the book mentions that strokes affect single native language, dual native languages, and post childhood acquired languages differently. And that if you want to be able to communicate after a stroke you best bet is to learn another language. Though it's been several years since I've read the book.
Has the Parrot VM project been abandoned, or just Perl 6 support for it?
Eventually, orbital stations and deep-space manned craft will have to incorporate some kind of rotating habitat within a fixed shell, akin to designs appearing in recent sci-fi flics. The superstructure of a spaceship would not rotate, but would contain a rotating element accessible from the zero-G axis.

An orbital station would likely be similar, with a rotating section and a stationary section, for ease of docking and to reduce the dangers of space walks (we don't want astronauts flying out the airlock at 1 g acceleration). I believe this was the flaw in the orbital station in 2001: A Space Odyssey.

The criticism of centripetal force as a substitute for planetary gravity is that it has directional vectors of force that would make you dizzy every time you turn your head. Presumably, the larger the structure, the more subtle these forces become. Perhaps humans can get used to these lateral forces over time, if indeed it is an issue at all. Having the simulated gravity would be very useful, especially in medical situations but also simply for the purposes of maintaining bone density and muscular health, both of which suffer enormously in zero-G conditions over long stretches.
How long before someone from Yelp reads this and adjusts the numbers to favour their advertising clientele?
Internationally too. Three major ones in London so far, used to support Prime Now as well as same day delivery for a large proportion of "normal" Prime.
A success story for women: La Cocina’s kitchen incubator
She also has a coursera course (that I'm going through right now) - https://www.coursera.org/learn/learning-how-to-learn
The rise of “homeless” media: Publishers that don’t require home pages or apps
Ear damage, likely caused by a virus, gave this man out-of-body experiences
No, secure ciphers like AES are not vulnerable to known plaintext attacks
Shadow: an open-source network simulator/emulator hybrid
" stories like this make people interested in formal methods, and Coq, IMO, would be daunting for most beginners. TLA+ is a good, beginner-friendly entry point to formal methods (and you can slowly progress from specification to model-checking and only then proofs), even if you later choose to move to dependent-type approaches and tools like Coq or F*."

TLA+ is an easier intro to verification. However, the verification of C programs to any strong degree will require tools like Coq, possibly esoterica like separation logic, tough specs, tough proofs, and so on. There's no easy route for it for beginners except to straight up learn the necessary knowledge with Chlipala's book, Software Foundations, or something similar. Then plenty of practice and study of how successful work was done.

There's a reason we celebrate every time someone comes close to specifying or verifying a significant chunk of C language. It's because it's Just That Hard (TM). ;)

"I beg to differ. TLA+ is commonly (as far as the word "commonly" can be used when formal methods are discussed) used to specify and verify programs in C or any other language."

Hmm. Interesting. I should probably do another survey of TLA+ to see what uses it's had in sequential, low-level algorithms like the OP post is on. May be more going on than I was previously aware. All the top results are using Coq and Isabelle/HOL, though.
Are parents for whom 1/3 of their children die as infants happier than those with children who live to adulthood?

(Modern USA infant mortality is less than 0.6%)
Ask HN: What's the solution to internet connectivity problems in Windows 10?
Windows 10 has a habit of dropping WiFi connections after some time and also sometimes the ethernet connection is not visible or does not work. Does anyone know why this is so and what solutions exist?
Surgery at 10 RPM is going to be entertaining, at least.
How do you like that course? I was thinking about taking it.
The Internet is apparently in its "infantile" brain stage. Would we notice when the Internet's "memory" (the Web) becomes a cantankerously irreverent mentally unstable adolescent?

And we're imprisoned in this madness!
reminds me of rms' post-snowden email header.

[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]

3 lines. On every email.
This is the second letter from Imam Khomenei. You can see the first one (from back in January) here:
http://www.letterfortruth.com/
SSD Form Factor and Interface – Enterprise storage is set up wrong
Image size control lacking to be loaded on 'Picture' area
I noticed along with no supporting evidence presented in relevancy for this topic. Hence my comment. ;)
That's extraordinarily silly, because HTTP is already loaded up with much more useful runs of known plaintext.
Interesting, looks like a fun idea.

How difficult is it to get a new top part (the blue piece in the pictures)? Once you drill it out you wouldn't be able to use the original LED again.

It might be fun also to do something like this with a UV LED, then you could have a black flashlight.
BeYindi
Glamorous sparkle of crystals, silk luster of pearls, deep colors of natural gemstones – all you love about silver jewelry you can find now at BeYindi.com
> Python 2 vs. Python 3 is a complete and utter mess.

Besides being off topic and adding no value to this thread, for those of us who made the transition to Python 3 with minimal fuss, this is just pure hyperbole. I really wish people would quit grinding their Python 2/3 axes.
In that example, Sandberg tried a tactful approach twice before being blunt. If she had stopped giving the guidance because Scott didn't understand the tactful suggestions, Scott would not have learned from that scenario and may have been less successful in the long run.

I don't see anything in this story that paints Sandberg as an asshole. And the only thing "radical" about her candor is that most managers (myself included sometimes) shy away from pushing if our directs don't understand what we're saying the first time.

This article gave me some useful encouragement to push myself to give feedback to people who need it even if it's uncomfortable for me.
Two New Apps Offer Tools for Journalists in Conflict Areas
> Is the main advantage indeed synthesizing programs from proofs?

It's one major advantage, yes. And not just for the sake of software verification. Sometimes when proving a non-CS-type-math theorem you still want an efficient implementation of an existence proof.

But code synthesis is a lot harder than merely being constructive, and efficient code synthesis even more so. Use cases for Coq that depend upon code synthesis don't come for free just by avoiding LEM. So although it's fair to say that you can do classical reasoning in Coq, I'm not sure saying you can do synthesis from TLA+ if only you avoid LEM is fair at the moment (I might be wrong).

> Are there any advantages to using dependent types?

Here are a few other reasons for using Coq:

* Proof terms. There are two major disagreements here. The first grounds out in philosophy and the second basically amounts to "you really want to compose the proofs and make sure they are still a proof instead of just throwing away the proof and using the theorem" which has lots of good systems-y justifications

* Specifically wrt TLA+, Modus Operandi matters. If you want a formal proof in the typical sense of the word (rather than a verification of fact based upon model checker output), then Coq userlands's tactics and theorems are useful.

* Lots of people like to disparage the amount of algebra that FPers talk about. But it turns out that if studying those algebraic structures is your day job, the relationships between types and algebraic structures makes type theory convienant.

>simpler, more familiar

This is almost definitionally subjective. Which isn't meant as a criticism, in-so-far as one realizes that other people might have different experiences and so might (just as validly) consider other formalisms more familiar.

> and more flexible

There are (obviously) a lot of people who fundamentally disagree with the concrete arguments Lamport makes in this paper. I wish someone would annotate the paper with references to literature from the type theory community that address some of his concerns.

For the record, I don't disagree with Lamport. I think Lamport is right -- for some use cases, it certainly makes sense to stick with ZF. But he's also wrong -- sometimes, the type theoretic approach really is simpler, more familiar, and more flexible. E.g., in the case of this dissertation.
"I guess I could learn Spanish, but why?"

Where are you from in the US? Im from the Atlanta area and bilingual spanish/english. Most people I know from georgia, florida, even alabama can at least understand spanish just from being around it so much. I really think to not know spanish you would have to actively try to avoid it - especially if you are young and from the city. In atlanta you can easily live without knowing any english, when friends came from south america we always found people fluent in spanish most native (at Starbucks, McDonalds, Grocery Store, shopping, etc).
I have an Apple TV (dev kit, I wouldn't have paid for one, but it's pretty nice actually). I haven't used a single app besides Netflix and AirPlay (which isn't really an app), and I'm not even sure why I'd want to use an app on my TV instead of just using my MacBook Pro. I feel like this will end up the same way as the Mac App Store: no one will make money, besides massive players.

Most of the benefit is that I don't need to plug my laptop into the projector to watch shows now. Unless it's an Amazon show.
TSA Agent Confession
Do you mean something like this (from the article)?

"Three years later, a Swedish-American team, led by Peter Eriksson of Sahlgrenska University Hospital, published a study in Nature that showed, for the very first time, that neurogenesis – the creation of new brain cells – was possible in adults. In 2006, a team led by Eleanor Maguire at the Institute of Neurology at University College London found that the city’s taxi drivers have more grey matter in one hippocampal area than bus drivers, due to their incredible spatial knowledge of London’s maze of streets."
It's a nice idea, but London is hopeless - looks like they've missed out the rail network completely. I guess other cities may be better, but you really only need to miss out one key route or mode and you change the map completely
One of my commutes involves driving 30 minutes each way. I usually listen to local AM talk radio (Bloomberg or AM 770).

The other commute is a 1.5 - 2 hour trek each way broken into legs. I use my laptop on the safe leg unless crowding prevents it. On the unsafe legs, I read a magazine or book. I was reading the latest issue of 2600 today and will do so for the next commute or two. I listen to music the whole way.
Most Tibetans were slaves according to any reasonable definition. Chinese government propaganda uses that to try to legitimize their invasion of Tibet as a “liberation.” From the other side, we behold the bizarre spectacle of liberal American Buddhist intellectuals defending Tibetan slavery.

This is a lesson for naive Western people who have no clue about arguing with twisted communist logic.

The correct answer is the following. Yes, they were slaves, but you did not liberate them. Replacing one repression with another one is not liberation.
Hold on. AES is not intrinsically vulnerable to known-plaintext, like every modern cipher probably going back all the way to DES, but that doesn't mean AES constructions can't be attacked through known plaintext runs.

This particular text isn't a vulnerability (after all, HTTP is full of known plaintext), but I think you've overplayed your argument. :)
Happy to answer any questions.
What happened at the time before time?
That's right, unless animals felt safe since they are in Zoo and their behavior is different than out in dangerous nature...
Also, don't reflection and/or interface casts for anything larger than a pointer allocate on the GC heap in Go? That is, isn't it using GC to implement no-GC?
I've found that installing Linux or downgrading to Windows 7 seems to clear these issues right up
I think it's less what Perl 6 has that other languages don't have (almost everything is implemented in at least one language), and more that it implements everything together in one language. The pure breadth of what is supported is somewhat staggering. I posted the other day[1] about what I thought were some interesting features, so that might be a good start for some things that might set it apart.

1: https://news.ycombinator.com/item?id=10642153
"Yelp is all but meaningless in San Francisco, probably its most popular city. Really average or even crappy cafes, salons, restaurants have greater than or equal 4 star ratings... it's a little baffling. I presume from the stories you hear that it's because the businesses pay."

I have noticed this as well, but if you read the reviews you get a good idea of what is happening in SF: tourists.

Joe and Jane Honeymooners come to SF from Tulsa/KC/Duluth/DesMoines and have the "best meal/coffee/pastry/brunch EVER".

Good for them.
Chrome to adopt secure cookie prefixes
Wikipedia is big, stable, midly incremental and dominant[0]. Does it need more money that its current baseload income?

If we applied the same traits to the browser market we'd be crying-out for an alternative.

I don't know what that alternative is, so it's difficult to donate towards it. But I don't believe that encouraging more donations to Wikipedia is going to move collective human knowledge forward.

In contrast, Mozilla is constantly having to chase new technological targets and compete against well-funded corporate alternatives. I can understand why they need to keep expanding their income.

[0] deliberately setting-aside all the other subjective complaints about its internal processes.
> The answer is that all the money Mozilla Corp makes is reinvested back into Mozilla Corp (salaries etc). The Mozilla Foundation -- a non-profit which wholly owns Mozilla Corp -- is not funded by Mozilla Corp, but relies entirely on donations. Mozilla Foundations is responsible for philantropic education and awareness campaigns.

Like...what? This answer and the one below from the Foundation employee don't actually give any specifics. That's actually slightly alarming, as it's a guarantee that donations won't be directly supporting the browser (or Rust, or...) but will instead be going to some vaguely described campaigns.

I'm all for marketing Firefox and defeating the TPP, but let's confirm that's exactly what we're talking about here (and get some examples of recent work). Mozilla in the name isn't enough when the only Mozilla I know is what this money isn't going to.
Not YC backed, but we (https://angel.co/scalable-informatics) are offering our NVMe appliance at $1/GB usable. See https://scalableinformatics.com/forte for more info.
Let's talk about '3D printed' circuit boards
Are you joking? Off topic? He made a comment about perl doing a poor version transition, and perl was largely replaced by python which also did a language transition. It makes complete sense to bring up python2 -> python3.

I also made the transition to `#!/usr/bin/env python3` fairly smoothly. That doesn't mean that the majority of the community did. Python3 came out in 2008, next week will be seven years of it being out. Yet `#!/usr/bin/env python` still defaults to python2[1]. That's not quite the expected 5 years of transition that they hoped for. At year 5 it looked like this [2].

[1]: http://legacy.python.org/dev/peps/pep-0394/

[2]: https://web.archive.org/web/20131204094939/http://python3wos...
I think that it's even more interesting what you can learn about humans observing our cousins.

It's like observing children: the core of the issue without the varnish.
Sounds like either baboons should not be subject of captive display or kids should not be allowed to zoos.
I.M.F. Makes China’s Renminbi One of World’s Select Currencies
This is not the first article like this. Or the second, or the third, or the hundredth. There is plenty of evidence of the widespread disenfranchisement of citizens who are pushed through the criminal justice system; long form journalism from major newspapers, video records, books written after years of research, if you're having trouble finding evidence at this point it's because you're willfully ignorant.

People don't know if evidence is suppressed by the prosecution until much later, a journalist digs deep and finds out. We have evidence that journalists are able to do this in many cases. It is not a logical leap to assume there are many more undiscovered cases, it is a logical fallacy to assume otherwise.

We are allowed to be outraged about (in fact should be outraged about), yes, even one case. This judge as quoted is completely disgusting. Publicly stating anyone accused of a crime has no rights as a judge and then proceeding to take them away is not even close to comparable to following the law and letting people free on bond and having them commit crimes. One is an unfortunate aftereffect of having a justice system that does not simply execute everyone, one is the wholesale destruction of the rule of law and every protection citizens have. It's worrying to me that you would even draw that equivalence for the purpose of argument.

Not long ago there was a story about a head prosecutor in Louisiana who was a member of the KKK and was quoted as saying something to the effect of 'God wants me to punish black people, my only regrets are that the black people I executed didn't suffer more' who unsurprisingly fabricates evidence constantly. What is troubling and telling is that you as a lawyer are not horrified by this and instead say "well, n=1 so who cares, show me another, at which point I'll say n=2, and we can play this game until we get to n=10000, and then I'll say 'it's just some bad apples'".