skysight-inc/HackerNews huggingface dataset:
Assuming US, is this legal, even for an at-will state?

Whether it's worth suing over, is a different matter...
I wonder which has the higher correlation to instability:

1 formOfGovernmentX - ie democracy, socialism, dictatorship, etc
2 On america's shit list

?
>In a fairly tone-deaf delivery, he spoke of limiting his own business-class international travel.

I am reliably informed that business travel sucks donkey ass, (almost) regardless of class. It's tone deaf because travel has positive connotations to most people, not because he's out of touch with reality. To a business traveler, economy class is adding insult to injury.
Right, which is why I said we should treat Comodo certificates as if they were self-signed.
I lived in Venezuela as the son of a diplomat in the late 80s. It was a wonderful country. As a middle schooler (grades 6-8) I rode my BMX bike all over Caracas with my buddy with no fear in the world.

The funny thing is, at that time, Venezuela was known to have suffered quite a decline from it's heights in the late 70s and early 80s when it was on the cusp of being a 1st world country thanks to the oil boom and (relatively) smart investment in infrastructure.

Even back then they had price controls, where the prices of things were printed on the packaging of all products.

It's always a shame when a country suffers, and it's particularly sad to me because I know the country well, and there are a lot of great things to celebrate about the country.
Do you use a consulting platform like Upwork? Where do you source your clients?

I ran a consultancy for five years and it was fine, but it was always difficult to trudge up new clients and keep the pipeline active and primed while I was trying to juggle the responsibilities of my ongoing gigs. A client converted me to an employee a few years ago but I've been thinking about getting back out there.
Again not clear on why I'm meant to care what the Ann Coulter of the left thinks about Venezuela. He has lots of nice things to say about Fidel Castro era Cuba as well.
Anyone else think that the haunted faces bear an uncanny resemblance to the portraits of Francis Bacon? Which, unsurprisingly, are quite nightmarish in many respects:

https://www.google.com/search?q=francis+bacon+portraits
Why would you add a reasonably expensive ADC+microphone if you can just use BLE that's likely to have some other useful purpose for your IoT device?

Or, well, WLAN or 6LoWPAN, it is IoT after all.
Which shouldn't be hard since most scientific libraries rely on a standard body of Fortran code being reused underneath. The nice bits are the interactive development environment, or visual repl if you will, and Rust could reuse the efforts of Servo here to make something shiny and comfortable that is easier to get running than existing solutions on many platforms.
WantedData ScientistUpload Your CV Now and Get Hired
Typing this response using a Filco Majestouch tenkeyless keyboard ... with "black" cherry switches.

Keep it real ...
This is among the many use cases we're hoping to solve with our secure shell scripting language Shill (http://shill.seas.harvard.edu/).

We're currently working on a commercial version of Shill targeting Linux. If Shill sounds like a product your company wishes it could find, we'd love to hear from you. Shoot me an email at sdmoore@fas.harvard.edu.
What does it even mean to "hold an electorate responsible"?
Bitnami (YC W13) Is Hiring SREs, Remote or SF
There's also an even clearer historical tension between property rights and right-wing authoritarian dictatorships, so I'm not sure how much we can learn from your observation.
I believe it is the tyranny of the majority, hence why legal frameworks like a constitution are so important.

The majority can turn a democracy into a dictatorship.
I read through the Rust book, and the problem I was having with it and the other docs is that it was hard to map the Rust concepts with what actually runs when it is compiled. For a language that touts "uncompromising performance", it was difficult for me to find performance characteristics of the underlying abstractions and std library (for example, are algebraic data structures just tagged unions or does the compiler do more fancy things with them? What about iterators?). I'd really like to see a "Rust for C/C++ devs" guide that helps you figure out if you were using [some C++ feature] the way to get that behavior/performance with idiomatic Rust.

Another thing that is still tricky for me is figuring out when I should use 'unsafe' blocks in my code. Is it to be avoided if at all possible, or should I go there any time the 'safe' part of the language is making it difficult to express what I want? The meme that Rust is C++ without SegFaults and or race conditions is a bit misleading since the actual guarantee is that you don't get SegFaults or Race conditions outside of Unsafe blocks, and any nontrivial project will make use of unsafe blocks.
The thought, so far as it goes:

In many "classless", free-market capitalistic societies (and a bunch of similar ones), society ends up approximating social class by the logarithm of the wealth of the person. In these cases "liberty and equality" really mean "lack of government interference in use of wealth", which ultimately translates to government restraint on social status to influence society for your own benefit.

In cases where there's no special laws targeting the wealthy, you essentially have a feudalistic society without any formalized duty of or decorum from the higher classes to the lower classes, which ultimately leads to an exploitative and abusive relationship.

As with many cases in politics, the lack of an explicit structure merely means a more abusive invisible structure.

The further argument is that this is why we should have laws which target the wealthy to provide civic funding/service, eg, higher taxes above say, $250k/yr. That allowing the dynamic class assignment of free-market economies, but formalizing the duty of the higher classes to provide for those under them, provides for the strongest and most resilient societies. Which is generally speaking what the data shows.

Similar arguments can be made about why you should have laws which provide damages if you buy a newspaper and lie about your business rivals molesting kids.
If you look over my application linked in the OC, you'll see our number one design goal is to connect users physically. There's something incredibly powerful about the social experience that school provides like you're describing that no big edtech platform today has made an explicit design goal. In short, we'll have to "design for trust" a lot like Airbnb did (see Joe Gebbia's TED talk). The locations could be anywhere from a local Starbucks to a public library to the nearest college campus. If educational content could be optimized for the smartphone, a lot like Snapchat has optimized the Snapchat story as their primary unit of content on mobile, then any place could become a sort of classroom. So long as you're surrounded by kids like you learning and making things with you that you care about. Meetup.com has accomplished this to some extent for working professionals, but we don't think it's specific enough towards specific projects in the context of youth education.

This is going to be a really hard problem to solve overall from a design perspective. And like you hinted, it will be even harder for us to do this for kids in poor or rural areas in contrast to rich kids in urban areas. But we're going to figure it out somehow. If the timing is right, self-driving cars and improved cheap public transportation will help this tremendously. Our app could then in theory automate the entire process of getting a group of kids connected somewhere safe and public. The value and safety of those kinds of experiences could be built upon even further if you add in a kind of crowdsourced mentorship experience on top of that, like Uber for chaperones in a way. If you're a local software engineer or cinematographer or biophysics researcher, you could give back to your local community by helping out local kids who want to contribute in your field. Now all the sudden everybody can become a teacher, which feels really good. Like Quora answers, but in person.
What does the T stand for?
There are better strategies than blindly relying on third party reputation. A primary approach is package management with hash databases, to ensure you are receiving the same code as others. Another is the use of multiple implementations whose results are compared, recently discussed @ https://news.ycombinator.com/item?id=12666923
America, land of opportunity? Not for young people, study says
https://en.wikipedia.org/wiki/GOST_(block_cipher)
Well, there's also accountability if I'm installing, say, docker.

Surely they want to make it easy to install their thing without a hitch, and that's why they provide https://get.docker.com for me to pipe into bash.

My point is it all boils down in who you trust. If you are downloading something unknown, sure, it's harder to go wrong with a package manager (if the package is available), but you're still trusting someone not to attack you or to leak the private keys.

Crucifying curling into bash has nothing to do with how safe you are. It's almost like saying "Never run anything you download from the internet, it's dangerous!"
"Absent T"

Is this a reference I'm not getting, a speech-to-text error, or a simple misspelling of "absentee"?
Venezuela had a constitution. The author of this piece is mourning its ineffectiveness. What's important is the continuity of the constitution.
Show HN: Introducing the Scale API (YC S16) Data Collection Endpoint
I have no doubt we'll see the end of the global internet in the next couple decades, but it's going to take quite a few more of these before we get there.
The SpaceX Mars architecture: it is the answer to an unknown question, an artifact from the future time traveling back to the present. The objectives and constraints that were used in the design process are not revealed. It is like Phouchg and Loonquawl getting the answer 42 from Deep Thought. People generally have no clue what to make of it.

I'd guess that if the objectives and constraints used in the design process were revealed, it would all make complete sense. Elon has a track record of making technical and business decisions that turn out to be 100% correct in retrospect. The epic size of the vehicles are a feature, not a bug, for instance.
Liberty and equality are at loggerheads. Liberty is the animating principle of the modern right, and equality is the animating principle of the modern left.
Baseline Requirements also allow domain validation via DNS or a HTTP request. Essentially all domain validation methods break down once you're in a position to MitM the CA.
Sounds good. Shoot me an email at keaton@bloomv1.org. Other social media info is in my HN profile page.
If you are still at the stage of finding product-market fit, you shouldn't be hiring anyone just yet imo.
Last I heard, Ollie was on Fox Business Channel?
U.S. Economy Falls Short of Obama's Forecasts Every Year
Preparing my startup for a Trump presidency
Something like https://en.wikipedia.org/wiki/German_collective_guilt? (obviously what is happening in Venezuela is substantially less tragic and not directly comparable)
Sure. The US had been rich since about 1850, and was broke like everyone else for a short time in the 1930s. But the grandparent said this kind of disaster is 'only possible with socialism', which the Great Depression proves is not true by counterexample.
Start by learning HTML and CSS. Then if you want to learn JS, learn plain JS and learn it well. Forget about frameworks and libraries for now or you'll confuse yourself.
Isn't Duterte significantly more popular than Trump?
Overall it looks good.

When I look at this :

"Production use measures our design success; it's the ultimate reality check. Rust takes a unique stance on a number of tradeoffs, which we believe to position it well for writing fast and reliable software. The real test of those beliefs is people using Rust to build large, production systems, on which they're betting time and money."

I see a little bit of haste towards production use. From 'Rust 1.0 is out just last year' to 'We really need successful production use', It does some to be a push from management to justify continued investment in Rust project.
I took too long to notice what was wrong, despite the subject of this post. Maybe punycode for ascii?
Cars can be moved and occupy shared spaces. Dwellings are anchored to the earth and exclude other dwellings from the same location.
So, only the second ring of hell. I'd have pushed them further in, but, whatever.
Sure, but that's the truth no matter what EDA toolchain you're using and has nothing to do with Microsoft, or their FPGA deployments at all - all modern, high-end FPGAs are proprietary from top to bottom, and every vendor has different logic libraries and hardware capabilities. High end customers such as Microsoft very likely have their own completely custom silicon with custom chip layout -- It would be extremely costly to start developing and supporting such things at a "consumer level".

And things like Chisel and Clash - despite my affections - are still actively evolving research projects, and they only concern themselves with one part of the overall process. They still leave many things to be desired -- for example, I'm still working out the best ways to integrate Clash with the formal verification tools of Yosys, in a way that doesn't just require me to shim some Verilog code. That might require improving the language/libraries to allow the notion of things like SystemVerilog properties. I don't know what it would look like to integrate multi-clock verification with the type safe cross-domain clocks of Clash, etc. There's a lot of things I still can't do with these tools alone, and because they're moving targets, that means I generally have to pick up the slack. They can certainly offer many advantages in terms of time-to-iterate and time-to-fabricate, but they aren't magic wands.

Furthermore -- and I really don't mean to be flippant -- if you're the kind of group who would benefit from FPGAs being deployed to accelerate your workload, but you're blocked on things like gluing Chisel code to your EDA toolchain -- well, you're going to be in for a very rude awakening when you realize that's an incredibly tiny, easy part of the overall process.
One reason is that Bernie Sanders, who was not that far off from winning the presidency, takes him very seriously.

From Michael Moore's website: "I first endorsed Bernie Sanders for public office in 1990 when he, as mayor of Burlington, VT, asked me to come up there and hold a rally for him in his run to become Vermont’s congressman."
Robert Zubrin has been planning for Martian colonization for decades. He's like the Kurzweil for the movement, his Mars Society has been on a quixotic quest. Hopefully SpaceX hires him on as a consultant.
If the government wanted to shut them down, it would likely be easier for them to just get a judge to issue an order (an NSL, perhaps?) to Twitter's upstream Internet providers to cut off their service.
Let's say that it's tragic for the people whose job it is to maintain those services.
I understand the frustration, but the Gödel objection will always be raised as long as someone asks for a prover that can prove itself correct (read "proves false statements or fails to prove true statements," which just is consistency). To put a finer point on it, once you get how "an axiomatic system [can't prove] its own consistency," it actually is rather obvious that "a theorem prover [can't prove] itself correct." How would it? Without axioms or classical logic? What's it doing for the things that aren't it itself?

Notice though, Gödel's incompleteness didn't end formal logic (all the better for Gödel). I know we're in a public forum, but I would note that your "But what about the practical applications!?" is misplaced (though not poor analogous reasoning--I think you're hitting the nail on the head, honestly). Formal verification is not futile because of Gödel's proof. However, a self-verifying formal system is--which is a useful insight, especially for those interested in formal verification.

As an aside, I don't think you need to convince anyone that's actually recreated Gödel's proofs to approve of continued work on formally verified code. We would get excited about that stuff even if it weren't practical.
And here's the original patent. I never knew until now that Sergey Brin wasn't on it.

Will expire in about a year and three months!

https://www.google.com/patents/US6285999
Want People to Behave Better? Give Them More Privacy
I've met some reasonable, leftist-leaning people who lived through the coup, and who told me that "Something had to be done" because the country was in a state of crisis. Of course, the crisis was manufactured, Pinochet committed crimes against humanity, etc. etc.

Pinochet won a referendum in 1980 to stay in power. It may have been manipulated, but judging by the number of people I've met longing for the days of Pinochet, I wouldn't be surprised if he had a true majority supporting him. People told me variants of "He kept the trains running on time".
Focus on high-performance servers, async I/O, C integration is very promising. These are Go's weak points, could become a good alternative and a direct competition for Go.
You’re probably doing DNS wrong
This is amazing and tragic. How did the US let this happen?
If syntax isn't going to be changed, is that really addressing the learning curve of the language?

Edit: I'm going to answer my own question here: yes. I just sometimes think Rust is a victim of its own success when people expect to learn Rust quickly because they learned Python in two days.

No one expects to master C++ in a weekend.
Well that is potentially huge.
People have lived in zero g for a year at a time, without significant health impact. The SpaceX proposed transit of three months is a quarter of that.

These year long stays were on the space station, which has similar or less shielding. The Earth's magnetic field helps, but really, by the time you get to your Mars habitat with unlimited shielding mass available, your total dose is not that high.
But doesn't the constant Gödel reference push people, exactly, to work toward effective cheats? Imagine if the people putting in effort to make real systems instead spent their time trying to create the self-verifying prover.
Someone(s) down-voted you, but I think you have a point.

In 10 years we'll probably find out that the CIA orchestrated this whole fiasco. I mean, that's pretty much the story of, like, every thing that ever goes wrong in every country. Or near enough. I don't mean to sound hyperbolic, but yeah c'mon.
What triggered the downvotes? Pay for play phrase? It is popular these days...
I think what the OP is implying is that these static admin passwords were put as a deniable backdoor. If it was a Chinese gov scheme it is quite clever as a real backdoor would have been obvious, while this just looks like total incompetence.
You're missing the alternative, which is what Allende was implementing in Chile: expropriation of private property (both farm and industry), hyperinflation, severe devaluation of currency, release of convicted guerrilla terrorists... the list goes on. In other words, what happened in Venezuela.
If that was your only reason for creating the group, I have a feeling the group would end being more about social issues then about programming. :)

Personally, one of the things I love about most topic/hobby groups in America is how the bring people together that otherwise would not be - and most of the social classes and identity drops away.

I live in the South where shooting sports and car racing are popular. You can have a Bank of America executive and a plumber discussing competive shooting techniques and the relationship between them is entirely based on their shooting skills. Wealth, ancestry, skin color, doesn't matter a bit.

If someone wants to make any kind of exclusive topic group, they are welcome to. But it almost always devolve into meta meta politics. People who really care about the craft or sport will end up somewhere else.
Scala 2.12.0-RC2
Testcafe-Automated browser testing for the modern web development stack
Chrome 55 Beta: async/await, CSS hyphenation
Ghost Pepper Leads to Torn Esophagus
Feature Switches, Inheritance and Agile with Scala and JMX on the JVM
This house was built around the turn of the century as a single family house. At some point someone changed it to three.

I'm changing it back. I own it. If for some reason the town tried to stop me from doing short term rentals, I would just convert the house to single family and sell it for twice what I bought it for.

Unless one is opposed to property rights and free markets, I don't see how how one has standing to complain.
To give it some context, here are the Mars failures:

Soviet Union/Russia: 1M No.1, 1M No.2, 2MV-4 No.1, 2MV-3 No.1, 2M No.521, 2M No.522, Kosmos 419 (3MS No.170), Mars 96 (M1 No.520), Mars 1 (2MV-4 No.2), Zond 2 (3MV-4A No.2), Mars 2 lander (SA 4M No.171), Prop-M Rover rover (SA 4M No.172), Mars 4 (3MS No.52S), Mars 5 (3MS No.53S), Mars 6 (3MP No.50P), Mars 7 (3MP No.51P), Fobos 1 (1F No.101), Fobos-Grunt

US: Mariner 3, Mariner 8, Mars Observer, Mars Climate Orbiter, Mars Polar Lander, Deep Space 2

China: Yinghuo-1

UK/Europe: Beagle 2, Schiaparelli EDM lander

Japan: Nozomi (PLANET-B)

Also: Soviet Mars 3 lander (SA 4M No.172) landed, so counted as partial success, but contact lost 14.5 seconds later. And Soviet Fobos 2 (1F No.102) orbited successfully then lost communications during landing, so a partial success.

https://en.wikipedia.org/wiki/List_of_missions_to_Mars
In general, I think you are definitely right about this. Sound does have some potentially interesting applications. For example, if you had an exhibit that you wanted guests to interact with, that would probably eliminate many wireless choices. NFC would be a valid option, but not all phones support it, and you might need to make the user install an app. Quiet's sound transmission can work from the browser by using quiet.js. In general I think it's ever so slightly more versatile, or at least until browsers make it easier to access wireless options.
> any nontrivial project will make use of unsafe blocks.

Sure! But that's okay. Just don't use 'quantity of unsafe blocks' as a metric of quality and you'll be all set. Think of it like so: don't use it until you have to and try not to have to. For me, that means consulting experts on IRC (etc), "How can I express this goal in idiomatic rust?" No different from learning C/C++ for the first time, IMO. And if no good way exists you may have to use unsafe blocks.

Unsafe blocks aren't bad, just like #pragma-disable-this-warning and --static-checker-I-did-it-this-way-by-design aren't bad. They mean that you've thought critically about the pros and cons and you are going into this decision well aware of the risk. On the flip side they should be the first blocks to closely examine in the face of failures like segfaults/races/etc.
I feel like I hadn't thought of this as a market failure until reading your post calling it that. You're absolutely right about it. That's exactly what it is and the need for government involvement is quite obvious now. Suppliers are going to need to be held liable for the negative externalities their product offerings create, otherwise we're stuck at an equilibrium point where this situation does not improve.
And if having transient people churning through your house didn't affect your neighbours then there wouldn't be a problem. But it does.

There are numerous incidents of parties run amok, drug use, prostitution etc.
Generic Rest API Services Using Akka-Http
Dynamic Linking