skysight-inc/HackerNews huggingface dataset:
I agree with point 1, however:

> This is an issue inherent in trying to apply consumer rights laws that were written (or at least initially conceived) when the KitchenAid mixer was the pinnacle of household technology to the age of smartphones.

I actually think it makes more sense having these laws now than before. A consumer buying a $3k television or $1.2k phone would expect it to be high quality and last many years, but has no way of actually telling it will only last warranty + 1 month because of x,y,z - so needs help from consumer protection. With a mixer it was probably easier, a simpler machine and easier to judge quality for the average person.
Well I haven't really used PowerShell, but if it emits objects, can those objects not be printed in some form?

Is it not reasonable to think of objects as having a description of some kind. Think of URLs, for example.

find -iname '*.c'

could emit file:// URLs rather than just filenames. Then anything can unambiguously understand the format of the output.
I graduated Hack Reactor in 2013 and have worked on the leadership team since then, so my point of view on our program would be no surprise, however there are few 'competitors' that we hold in as high regard as Fullstack. It's one of very few schools I have never heard a serious complaint about, and we've never had a Fullstack graduate need to go through Hack Reactor afterwards to get a job.

My advice would be to disregard the minor differences in the specifics of each curriculum etc, and decide based on the pace at which you'd like to absorb the material.

On the one hand, many who find it difficult to focus, myself included, benefitted from getting through the course intensively with nothing else to distract us. On the other, the most common complaint I hear about all the better immersion schools (including Hack Reactor) is students never have enough time to fully absorb the material in a sprint before moving on to the next project.

It's a personal preference of very little consequence. You are unlikely to go wrong either way!
Will give it a try given time but I don't have high hopes for anything that messes with menus (was enthusiastic when I got a Mac at a previous job, positively interested in Ribbon but it turns out that for me traditional menus still wins comfortably.)
Word Perfect is used for many court cases because it is the only WYSIWYG word processor that paginates footnotes according to the US legal rules. In fact, it had a lock on the DoJ market for ages (and maybe still does) based solely on that. Word could never accommodate it because it breaks backwards compatibility (and whatever you say about MS's shady past, this is something that they stuck to even though it cost them a fair amount). I worked on WP when Corel first acquired it...
> That is science and tech for knowledge's sake, not a plan to make a profit.

To be fair, there wasn't much business incentive (although certainly a lot of political incentive) to go to the moon in the first place. But it ultimately led to numerous new technologies and markets, most notably GPS.

I'm not saying it's necessarily a good investment, but the biggest wins are always the biggest surprises (Google, Amazon, AirBnB, Apple were all initially hated by investors).
It's one thing to increase your profit margin after becoming established, it's another thing if you aren't able to even have a profit margin at current pricing.
What caused the drop in 2008? o_O
Uber has shown little adherence to principle but a great fondness for game theory. Game theory does not yield a lot of positive reasons why Uber would be backing Lewandowsky.

> from any old baseless accusation

The accusations may be false, but they are not baseless. They're so strong, in fact, that Uber is probably going to be hit with a preliminary injunction. Baseless accusations, by definition, would not have brought Uber to this stage.
Before you said this, I was wondering if he was making this announcent so that h could liquidate his stock without popping the bubble mid sale.
Show HN: A simple zsh theme, my tribute to the weeknd
"C is a language invented by Dennis Ritchie to help six-year-olds learn computers through interactive play".

:D
FWIW, XMPP has a double-ratched based upon the signal protocol called OMEMO.
From the Wikipedia page:

"Oshii based the setting for Ghost in the Shell on Hong Kong. Oshii commented that his first thought to find an image of the future setting was an Asian city, but finding a suitable cityscape of the future would be impossible. Oshii chose to use the real streets of Hong Kong as his model.[9] He also said that Hong Kong was the perfect subject and theme for the film with its countless signs and the cacophony of sounds.[6] The film's mecha designer Takeuchi Atsushi noted that while the film does not have a chosen setting, it is obviously based on Hong Kong because the city represented the theme of the film, the old and the new which exist in a strange relationship in an age of an information deluge. Before shooting the film, the artists drew sketches that emphasized Hong Kong's chaotic, confusing and overwhelming aspects."

https://en.wikipedia.org/wiki/Ghost_in_the_Shell_(1995_film)
You aren't exactly a household name. Does it matter if random people haven't heard of you though? The important thing is people looking for offsite backups can find you.
You make a fair point, yet overlook the fact that corruption is often how business works in these countries. You might not be aware that in a country like China it is common for foreign companies to be penalized for "corruption" that is widely known to be standard fare in local industry. It is how things get done.
Actually most taxi drivers are independent contractors, which makes it even clearer that Uber added something to the equation, and always makes it kind of funny how upset people are about Uber drivers not being full time employees.

https://www.washingtonpost.com/news/wonk/wp/2015/10/29/labor...
People have known that training NNs (for any purpose) using evolution works well since the 1990s. The rise of the NN frameworks has made doing differentiation much easier now than it was before (and having gradient hints is intuitively a good idea). But for OpenAI to allow their PR people to declare this as a novel advance is ... surprising.
Ask HN: Is inkbook a usable android tablet?
Saw the inkbook e-ink reader has a (bootleg?) android OS on it that can sideload apps.

What's the experience of text entry / web browsing on these devices?

(obviously video isn't going to happen).
HardMotivation
The financial crisis? You can see its effect in almost every graph.
fyi, Edge and Safari has yet to support this feature.
crawled google play data earlier and filtered offline.
Intractable problems i.e., the ones that can't be solve in polynomial time. Logic programming in general is NP-Hard, so it's suitable for NP-Hard problems (constraint satisfaction problems, backtracking, etc). If you try to solve polynomial problems, it doesn't perform well.
I could count the number of times I've had Horlicks on the fingers of one hand and I was born and raised in the UK.
I don't mean to sound too negative but I've attended Startup Weekend twice now and won't be attending a third time.

Both times I expected to meet fellow developers who were better than me and to learn something and interact with people that know how to run a product development cycle or design practices.

Sadly it ends being just regular guys and girls who can't code at all, or do Wordpress and consider that coding and a bunch of people with "ideas" and no design/product framework or concepts behind them.

Not much for me to learn and I just get a bunch of people trying to get me to build their unoriginal idea for them...

However occasionally you see or hear something truly different and learn something, even if it's just a new potential market for something really niche. Just not worth the full weekend investment.
Exactly, so you change your built-in speaker in your car then the engine breaks and you lose your warranty because you changed the speaker at a third party.
Getting Started with Microservices, Part 3: Basic Patterns and Best Practices
Xlwings: Python in MS Excel
Desert on fire
Because my work computer is owned by work, my phonr by me, and the desktop by my family. They don't want an unused monitor and docking station when my phone isn't there.
He's definitely the kind of judge who is able to avoid all kinds of procedural problems which are typically an issue in this type of justice system.
With unix that's exactly the mistake - what stops us from changing how some of the standard tools work in unix? They are used in existing scripts!

Making the same set of tools be interactive (so we need them to be concise, simple) and used in scripting (so we need them to be constant over time) has led us here. They now form a programming API instead of a set of tools that each do one thing well.
12" Macbook
It isn't that, the cab rides are never just $20, and often there are no cabs at all. The USA just has crappy non car transportation options. And it isn't just an hour walk in many places, but a few hours walk on dark streets with no side walks. When I was living in the Deep South, I sometimes had to take people home 20+ miles out in the middle of nowhere.
Downvotes? Looks like there's some kind of scheme against this thread.
How do you get onenote to update itself as more comments are made?
> It has always amazed me how casually people drink and drive in some countries; the US especially springs to mind.

You should see Thailand. Many districts in Bangkok have their own dedicated pool of motorbike-taxis often located at specific points. The group of them outside my previous apartment frequently shared whiskey or beer with me after dropping me off.
> Coq, Isabelle are interactive theorem provers or proof assistants, not automatic theorem provers which is a lot harder to do

Automatic theorem provers for first-order logic (FOL) have existed for some time [0], but higher-order logic (HOL) is another matter. The difference is that in HOL, predicates can be variables; in FOL they are all constants. HOL allows you to write rules for mathematical induction; for example:

∀P P(0) ∧ (∀n n ≥ 0 ∧ P(n) ⇒ P(n + 1)) ⇒ (∀n n ≥ 0 ⇒ P(n))

This says that for any predicate P on the natural numbers, if you can show, first, that P(0), and second, that for any natural n, P(n) implies P(n + 1), then you can conclude that P is true for any n. This rule is not a valid FOL statement, because it starts off quantifying over possible predicates, which is not permitted in FOL.

Reasoning of this kind, although usually informal, is necessary for programmers to understand any iterative or recursive piece of code. To understand such code, you have to know what invariant it maintains; proofs of such invariants are always inductive. So HOL is required, in most cases, for formal verification of software.

But no one has figured out how to build an automated prover for HOL. My own theory as to why is simply that the branching factor is higher. It's like the difference between chess and Go: the branching factor -- the average number of possible moves from any board position -- is small enough in chess that brute-force search can be sufficient to play at a world level, at least in the mid- and end-game; but in Go, it's much larger, so that brute-force search doesn't get you very far.

As you say, lacking a fully automated HOL prover, people have been using proof assistants instead. These keep track of the details of the proof, which is still a very useful function, and can perform certain simple deductive steps themselves, but require manual intervention at certain critical points, such as the introduction of induction hypotheses.

[0] https://en.wikipedia.org/wiki/Automated_theorem_proving
Indeed, Google did an incredible amount of marketing to suggest otherwise, but at the end of the day, I suspect Google discovered the costs of laying fiber to the home and providing gigabit service wasn't recoupable at $60 a month like they claimed it was.
There is a lot of flexibility there. If they forgive the loan then she owes tax on $25M (as if they had just outright paid her). I am impressed that the board could use her shares as a way of getting the investors not to sue. Seems like owning more of a nominally worthless asset isn't really better than just getting some of your cash back.
How can interest in computers develop if you are never exposed to it? I don't think the "interest develops on it's own" theory is true, not for any subject.
My reading is that it's not the results being judged, but the process of the search. Given the high confidence that seems to be assigned to the claim that 14,000 documents were downloaded, "we asked our employees to give us what they have, and this is all we got" isn't good enough.
Yeah I know I'm being pedantic here but Marmite is yeast extract while Bovril is beef.
https://threejs.org
> Whenever I speak to laypeople about self driving cars their mind immediately shoots to the 1 million+ ways that things can go terribly wrong, or even slightly wrong.

When I raved about self driving cars to my wife, she said to me: look, Google Maps is messing up on a continuous basis (GPS errors, software errors, bad routes, mapping inconsistencies, underestimated ETA). If they can't make a decent GPS app, how could they make a self driving car?

I had no way to counter that. It's true, GPS is an old tech purposefully dumbed down for non-military applications. But how can we convince people of progress when it is so lacking?
Yes - you summed it up nicely. They really haven't gone anywhere, haven't made an ounce of progress.

https://youtu.be/WCSt6Kobvzs
Not quite as taboo as many other countries [1], unfortunately.

You give two excuses to drink and drive. Both are indefensible.

The first excuse is "need a car to get around, have car". I live in a sparsely populated area as well, and everyone uses a car to get around. When we go out drinking, we plan ahead. The most common options are designated drivers, taxis, sleeping over, walking, or cycling.

The second excuse is "can't expect to make good decisions while drunk". That's a bit intellectually dishonest. The decision to think about how to get back later, knowing you're going to be drinking, is a bad decision made while entirely sober.

[1]: https://en.wikipedia.org/wiki/Drunk_driving_in_the_United_St...
In the early 1990s at least, high school guidance people in Massachusetts did in fact tell us to study whatever we liked. The claim was that the degree wouldn't matter, because you'd get a job that wasn't really determined by your degree. (in that case why get a degree, hmmm?)

I think it made sense to the people giving the advice. That was how their lives had worked out. They got degrees, then ended up employed to give high school students career advice. (this is a low-paying job) For some reason it never occurred to them to say "Whatever you do, don't go down the path I went down!!!".
As someone that has done most my maths using perl during the 90s and lately scheme, I have managed to miss BC completely.

Since some people here seem to use it daily, are there any other reasons to use it than "i am used to it" or that you actually need arbitrary precision?
Are you saying the New Yorker article is a pointless story? And what's the connection to your being a manager?
I really appreciate your skeptical view. It is awesome to hear it. I obviously don't share it at all.

My arguments would be what others already pointed out, that tourism is irrational industry and the crazier the ride, the more people will be interested.

I am really overjoyed that something is happening on space front.
"and as terminating programs compilers"

You keep using this phrase, as if the halting problem has any real bearing on what compilers do.
Certainly you realize it's solvable for machines with finite bounded memory (IE all real machines. Especially since, for example each intel chipset/processor has finite bounded memory they can even be hooked up to)

The problem there is it takes too long. Not that it's impossible.
Unrelated but I heard that after a fair bit of therapy he was able to get rid of his childhood lisp too?
If I hit cap, it's not gunna force me to look at ads. It's gunna make me reinstall the ol adblocker.
"Insertion of runtime alias checks still appears like magic to me."

ICC does it, gcc does it, etc.

In fact, things like Polly, pluto, etc are built around being able to add the right conditional guards to make loops execute in perfect orders with no dependences :)

IE

if (a bunch of stuff is true)
execute perfect loop
else
whatever was there before.
Imagine a reusable rocket, like the SpaceX one, but bigger and being able to reflight in, say, one week.

If in every flight there were a satellite + space tourists, going to the space would be much more cheaper, and it's feasible I'm the near term. I see both SpaceX and Blue Origin offering "cheap" traveling to Space in less than a decade.
Problem: most businesses find out they've have a data breach at the same time as everyone else, which reflects very poorly on their brand.

Project: Putting together a SaaS which will scrape a large number of sources for evidence of a unique canary which we supply them with. Each businesses canary can be triggered in a number of ways; being found on the internet, receiving any type of email, or even receiving a phone call.
Currently it's in development but I've put together the classic landing page to try and get a list of potential early adopters to help shape the project once it's in closed beta. You can see it here https://breachcanary.com

Any feedback would of course be greatly appreciated!
Worldclass Roofing
?! Does this even require stating, let alone an entire article? What am I missing?

When Uber launched in my city, that's the first thing I began using it for. Lack of other options meant that I either had to wrap up drinking sessions early or risk DUI.
I like the pragmatism in this letter: "What the Unity8 team has delivered so far is beautiful, usable and solid, but I respect that markets, and community, ultimately decide which products grow and which disappear."

Ubuntu has done well in growing the Linux community. I hope they continue interesting work in the future.
So will ZeroNet map addresses to immanent Tor onion addresses, which are much longer? That change will screw OnionCat, sadly enough.

Also, I wonder if MPTCP would play nice with ZeroNet. MPTCP works very well With OnionCat. I could create TCP streams with hundreds of subflows over all possible combinations of multiple OnionCat addresses.

https://ipfs.io/ipfs/QmUDV2KHrAgs84oUc7z9zQmZ3whx1NB6YDPv8ZR...

https://ipfs.io/ipfs/QmSp8p6d3Gxxq1mCVG85jFHMax8pSBzdAyBL2jZ...
Not sure your suspicion is accurate... Constantinople was a deliberate break from Rome, given that it's people spoke koine Greek and not Latin, and that before falling to the Turkish invaders was attacked and ransacked by the Crusaders who carried the banner of the Holy Roman Empire.
Personal anecdote: I once asked a retired Japanese computer scientist why the 5th generation project had failed. He replied with:

"What do you mean 'failed'? All my colleagues who worked on this project have become professors!" In this respect, the project was actually a smashing success.
Just FYI I listen to a lot of popular startup podcasts and oftentimes the guests are asked if they recieved VC or if they are bootstrapping.
This works for walled gardens like Reddit, HN or Facebook. If the content is really distributed (think for example SMTP or NNTP) there's no way to reliably recall something that has been posted. In this case it is up to each node to make the decisions what content they keep and what remove (and who they give the authority to make these decisions).
And HSBC routinely circumvented all capital controls made to protect us from gangs and terrorists, for gangs and terrorists.

This law only targets compliant civilians.
Something I would like to be able to understand/know/study is how logic programming languages are implemented and how their runtime looks like.
Besides that, from the open source perspective, RedHat's contribution is greater than Canonical， especially the linux kernel.
You could make it as convenient as existing flags are, only you wouldn't have to learn a different set of flags for every cli. No need for sarcasm.
I think part of the reason os that it os a chance to explore and "tame" new lands.

I am from Brazil, that is a gigantic country with stupid amounts of land. Also I really wanted to live on a rural community and farm a bit, yet somehow it seems 100% of the land, even the most inaccessible places, have an owner, and prices of land a ludicrous (land in Brazil somehow cost more than same land in France plus real medieval castle in it...)

So, colonizing mars sound awesome.
I feel the saddest part was the response of others to his death. Instead of understanding the root causes or trying to help others in his situation people turn to more conspiracies and finger pointing. "The government was behind this. CIA assassination" etc. It completely dehumanizes the issue of mental illness and distracts from the real issues at hand.
There's also an issue of trust. I had an NYT subscription. NYT has always (more than) leaned left, but never in such a biased manner as in recent past. Their coverage (or lack of it) of Bernie's campaign for example.

So with a subscription, I'm not really subscribing to a rigorous and diplomatic institution that is helping me develop into a more knowledgeable person, or indeed, filling any useful role in my life. Instead, I'd be subscribing to further some numpty's propaganda pieces. And that would make me feel gross.
> Really just screw public school in general. The whole place was 95% waste of time followed by a "congratulatory" piece of paper.

John Taylor Gatto (and John Holt, and many others) say "wasting time" is the whole point of compulsory education.

https://en.wikipedia.org/wiki/John_Taylor_Gatto#Main_thesis

"Against School: How Public Education Criples our Kids, and Why" - http://www.wesjones.com/gatto1.htm

Archive.org should have the complete text of "The Underground History of American Education", which was formerly posted in its entirety at http://www.JohnTaylorGatto.com

Also search for "I quit, I think", and ... "The Seven Lesson Schoolteacher"... several copies of these essays are scattered around the internet.

Edit: favorite'd your earlier comment, as I like how your teacher was good at teaching physics in spite of not having a congratulatory paper from a "higher education" establishment.
Looks like you can develop in the cloud https://phaser.io/tutorials/getting-started/part3

I've used Cloud9 for ruby on rails and it's a great way to develop.
You're being asked to be a consultant, you know. They want to pretend that if you rewrite Prolog in C#, it'll be simpler, and that the average C# programmer (the cheapest one they can hire) will simply understand (badly written) logic programming solvers and be able to modify them.

Eventually you'll figure out to simply double your hourly rate and ask "do you want a bad Haskell implementation to go with that as well ? How about SQL ? Lisp ?"

Don't forget to terminate with "by the way here's my card" (asking them to mention their personal referral code "ID10T") when the inevitable happens, nobody understands that code at all when they have to modify it. And every time they ask you to update it you increase your hourly rate 20%.

You know, management realism. You can be victimized by it, or you can make a living out of it.