skysight-inc/HackerNews huggingface dataset:
Nice idea to bring Oberon back to life.

Although I am a little sad to see this is based on the Original Oberon, and not on System 3 with its Gadgets framework:

http://www.ethoberon.ethz.ch/native/WebScreen.html

http://www.ethoberon.ethz.ch/eve/Leonardo.png

http://info.tuwien.ac.at/hsk/sefi/papers/schaufel.htm

http://www.statlab.uni-heidelberg.de/projects/voyager/
I guess it's also amplified by the fact that people tend to accept things as true by default, until it's proven otherwise. In other words, insertion of data is the way cheaper then its invalidation and probably happen much more frequently thanks to social media.
All the time, specially in the consulting world for Fortune 500.
There are alternative clients (pro-only).
Note: Facebook is quite inconspicuous about displaying fanpage likes; i.e. your friends will probably miss the information that you've liked some fanpage. Each of your friends most likely has hundreds of books, movies and commercial venues liked (you can check that in their profile), and you probably haven't seen a single one of them popping up on your timeline.
> So I've started "putting her to bed" and then coming out to do work

That is EXACTLY how I handle this

> But the problem is sometimes we have sex and then I fall asleep cuddling her, so it's kind of a trap.

Me having to sleep with a CPAP (or else horrible snoring and horrible sleep for us both) ensures that this will never occur with me (the falling-asleep-cuddling... not the sex... lol)
I don't get the tone of the article. Why is this a bad thing?

It's not the job of SSL to ensure a domain name is not owned by someone it shouldn't be. That falls to the domain registrar, if you have a problem with someone owning google.com.mg go take it up with the registrar or better yet leave it up to Google as it's THEIR trademark.

I actually find this to be a good thing that someone was able to get a domain, create an SSL certificate for it painlessly and start securing traffic between clients and their web property without having to spend a) tons of money and b) tons of time dealing with antiquated CAs that should be entirely automated.
As Facebook bats for Free Basics 4 engineers bring free Wi-Fi in Indian villages
FWIW a couple of the absolute worst periods has been under decidedly atheist regimes (Communist Russia etc + French revolution).

Then again I think atheism is a religion too.
Man Pinches Woman’s Bum as She Bends Over, She KO’s Him
Good Judgment Open
> Also, I fail to see what this is doing on HN, sorry.

It's currently #1 on HN. Think
about that. Just because you don't care about Bowies death doesn't mean it's not important to a lot of people on here. There's a ton of articles (especially sociology and science focused) that I wouldn't think belong here but they're interesting and I'm glad people post them.
I don't know Haskell, but assumed it would probably tackle this problem based on all the praise I've seen it get for things like this and its general type system.
Check out his description of some software he used to inspire lyrics which he calls the Verbasizer: https://www.youtube.com/watch?v=H7Sgq0XoxPw
Apple’s Beats said to be working on cord-free wireless headphones called AirPods
Few years ago Facebook was supposed to work with media to improve the activity feed. But from my perspective it is just became as bad as it can be, it gives me no relevant information and 80% of it is garbage. When close friends post something interesting, it does not get promoted and rapidity falls in the bottom. Filtering out noise in annoying so I end up not using Facebook as I used to.

What describe the article is not a Facebook problem, it's an Internet problem, Google and Youtube make you as dumb as Facebook does.
> as they seem to have made a correct calculation that they can extract money out of taxpayers through this junk paper, and that is not what any economist would praise as markets functioning for the benefit of society.

Well, it's not like the credit agencies bailed out the banks themselves. The version of the criticism I have heard was that the banks (and credit agencies) knew that the taxpayers will bail them out if they fail, and therefore they took unnecessary risk - making investments just as useless as the nails made by Soviet nail factories.
Was it caused by those things? Or was it just a speculative bubble popping, which has happened countless times in the history of the republic, long before the modern regulatory state and modern banks ever existed?
The tone of the article is such because the company writing it only sells EV certs and therefore is on a relentless quest to discredit DV certs as inferior.
Now that have to give people a smile on their face :)
Blogs tend to be the way a lot of advice, guidelines etc are disseminated in the software world, so that's the main reason. I don't know of any major forums in the Clojure world, for example, that everyone is aware of and contributing knowledge to. It seems to blogs, irc, the mailing list, stackoverflow.
Not authorised.
Strategies to better understand the world in 2016
OK it sounds like you are actually of the belief that spanking should be rare, rather than never. In this I agree, but I do think from personal experience that spanking is a useful "thermonuclear" option to stop dangerous behaviour in young children. To give you an example, I once caught one of my children at the age of two inserting objects into electrical power points. I gave him a good spank on the bottom and he never did it again. It is possible that another solution would have worked, but when you are dealing with a two year old playing with electricity do you really want to take the chance with another options? If spanking is rare children quickly learn that to get a spank means they have crossed a no-go threshold.

My limited personal experience of the results of disincline (of all kinds) is that inconsistent or random discipline from a parent is worse than almost all others. Children who live in fear of being disciplined for what appears to them to be for no reason, or where their actual behaviour plays very little role in affecting the discipline they experience, fair far worse. It is really hard as a parent, but being consistent is critically important. No means no.
I'm generally curious whether or not most people on HN still actively use their Facebook account.
And furthermore, you shouldn't need to get your identity verified and send in pictures of your ID just to make a website, blog, or custom email domain.
Clojure is a small "industry" with a few key players offering a lot of the guidance and advice. Nothing wrong with that, but often the community does in fact adopt the guidelines of just a few people, so that is probably why the author continues to contribute in this way. This author, for example, also wrote one of the tiny but widely-used functions used for unit testing in Clojure, for example. Almost everyone uses it at some point (the "is" macro).
Sounds like they want to make their phones easier to bend :)
Pretty sure you were lacking a fully open graphics driver.

The issue with a closed graphics driver is that while it generally works now, it may not work in a few years when the manufacturer decides to stop supporting it.

See for example

Five Years Later, Intel Poulsbo Is Still A Linux Mess

https://www.phoronix.com/scan.php?page=news_item&px=MTMyODA
People want small, lightweight, elegant phones with large screens and batteries. Something has to give.

I'm surprised there's a net market advantage in making a phone slimmer than 7mm or so, though.
Author here: DV certificates are inferior. Knowing whose key you're encrypting with is a good thing. DNS providers do not do identity checks.

Edit: 100% agreed with
laumars' point below regarding blogs and low trust sites. DV certificates have their place, it's just that high trust websites aren't it. I've added an author tag as requested.
Collection of utilities for working with Node.js Streams
Earn Extra Money on Amazon
Lights Out: The Top 7 Threats to America’s Power Grid
Pivot – How to Go from Survival to Epic Success
Amazing what fits in 2.8MB :D

I recall playing with it in the late 90s (it was old then) and being blown away by how much 'better' than Windows NT (which I was using at the time) it was.

I've always liked Pascal (being from the Turbo Pascal European Coverdisk Generation).

I'm going to have to download this and give it a spin :)
The Internet of Things That Talk About You Behind Your Back
Probably not a small nitpick, really, but the article explains not that we're dumber by using Facebook, but that we are less informed. I think that's an important distinction not only because people tend to conflate knowledge and intelligence/aptitude, but because we should worry as much about spending long amounts of time doing things that provide not even nominal information to keep our brains pliable and receptive to new knowledge and new ways of thinking.
It seems like you're assuming the post is saying that you need formal verification to write safe Rust? I don't think that's the case.

Note that the blog post is explicitly in the context of formally verifying Rust and its stdlib. This is not something that's necessary for a "good enough" guarantee that stuff works and is safe. The conclusion you can make is that formally verifying Rust is just as hard as C++ (I'm not sure I agree with this either, but it's really irrelevant), but this doesn't make Rust a worthless language since formal verification is not what you care about for everyday safety guarantees.

> If the burden of 'safety' is formal proof of the entire module, then you're (surely) no better off than using C++ and doing exactly the same thing.

Well, formal verification is nice, but it's not necessary.

Take the Vec<T> interface for example. There are a couple of unsafe methods in it, and the invariant "len is always a valid length". It's easy to check if len is being modified elsewhere. It's easy to reason about these invariants. And it's easy to reason that it upholds the invariants that Rust expects for safe functions. Formal verification is harder, but practical verification is easier since it's contained in a small surface area.

On the other hand, there's no "containment of unsafety" in C++ and other languages and even practical verification can be hard especially when generics get in the way.

> In other words, if your rust program has any module in any dependency that has unsafe code (ie. every rust program), it is potentially unsafe, regardless of the borrow checker (because some code path may invoke a 'safe' function that has not be formally verified to be safe, and results in undefined behaviour despite being safe).

"Potentially unsafe" for a very small probability. You don't need formal verification to be convinced that something is safe.
So everything is working as intended? Great!
REST is a shitty abstraction. If you happen to need to do anything with
a resource, you suddenly need to reinvent RPC, except that error reporting
will not be standarized and most probably will cram two different levels
(transport and procedure execution) together.
The electric drone you can sit inside
> A slim phone plus a "bulky" lightning to 3.5mm adapter doesn't sound like something Apple would do.

Oh no, that sounds exactly what Apple would do.
Thats great to know. I thought Google stayed out from academia.
I don't think the Danish ambassador to the US said 'schnapps', he clearly meant 'snaps', which is somewhat different (and far more akin to Danish traditions). But I see this misquote often when reading about this story.

See: https://en.wikipedia.org/wiki/Snaps (In Danish, 'snaps' can really only be an Akvavit, unlike Schnapps, which is any strong alcoholic drink.)
Elephant in the room: vendor lock-in.
There have already been studies showing that frequent visits to FB make a person more unhappy in their overall life. Now this. So, a major worldwide internet power -- that is, a single company -- that is trying to disrupt so much of global life (India, anyone?), with the interesting side effect that it makes people unhappy and less intelligent. If you had heard this "reality" 20 years ago, you wouldn't believe the future could be so dark.
You could create a simple Google Form which saves this to a Google Drive Spreadsheet. Only really needs three columns: Thing, Place, DateTime
I would be quite interested to see how Dask, Spark and Dato's(or Graphlab's) SFrames fare relative to each other. My hunch is none dominates the other totally in performance and that each would have their sweet spot. Are there any well done, executed_in_good_faith benchmarks available.
I've never used facebook/AOL, never plan to. I use the Internet.
> thinking that something is capable of supernatural feats is not required for something to become a religion.

I basically agree, but I think the concept of "religion" invokes a lot of correlated things, and belief in the supernatural is one of the main ones. I expect most religions to differ from the 'prototypical' religion in a few ways, but I think sports differs in lots of ways.

(edit: or perhaps better, "beliefs about the supernatural". Religions say something specific. Atheists believe something specific. Sports teams make no claims one way or the other.)

> non-believers that believe so strongly in the non-existence of anything they haven't personally seen that they will hijack any thread that is remotely near using any religious word.

This seems like another example. I've seen that behavior from atheists and from religious people. I haven't seen it from sports fans.

People who dislike sports, on the other hand...
Make a poll?

I use mine actively, but from the discussions here it sems I'm in the minority.
Show HN: Live test a location request API
Really? An EXACT 50/50 chance?!
Here Are the Men Who Built Star Trek's Original Enterprise
Because it takes up lots of space inside the phone? In a phone that thin, the space for a jack connector and its supporting circuitry might compete with another 50-100mAh battery capacity. That's a difficult position for something as obscure as the 2.5mm jack.
Most larger Asian countries have quite their own music market. But everywhere else I think it's true what you write.
suggestion - have an option to copy url along with text.
Well I've sent a bug report to hn@ycombinator.com back in November.

They said "It's a bad bug and we're going to fix it". So I'm waiting.
David Bowie Dies at 69; He Transcended Music, Art and Fashion
I've occasionally wanted to run System3 again. I wonder what it would take (for OS X)...
You might like this http://steve-yegge.blogspot.de/2008/06/done-and-gets-things-...
What It Looks Like When a Dam Releases 13,000 Cubic Feet of Water per Second
I've seen another try of doing something like this some time ago here on HN. Don't remember what was it.

I think it is an awesome initiative, but also one that takes too much manpower to maintain.
MesoGlue Hopes to Eliminate Electronics Soldering
Another kind of "new news" site I wished to see was something that showed only the hard facts, one line. And numbers, all relevant numbers.
Video: Exploring the Arctic Is Beautifully Difficult
In the example with take 3 (map (+7) (map negate [1,2,3,4,5,6,7,8])) (http://i.imgur.com/dsNJYyx.png) I personally find the Haskell version the most readable of them all, then my visual version, and the Racket one the least readable.
For all its faults, old fashioned broadcast media was better in a way. It spread information to you whether you agreed with it or not. Having a strong opinion on anything was rare, because for all you knew you where alone with your views. You where not exposed to as many like-minded people. There wasn't this feedback loop where you decided what information to spread on to that group of people, and they decided what to spread back to you.
> He said that his TV repair business was already running at a loss and that the fine would bankrupt him.

Yet he bought a £1,000 drone.

Why exactly is the guy surprised that he's being held accountable for his
drone?
This is great, but my use case is a little different:

"Is your website up around the world?"

and this is perfect for that!
Ask HN: Best email service for kids?
Looking for an email service for my Godson to use. It would have to have white listing for incoming mail and some mechanism for parental oversight.

Has anyone had good experiences with this? Also interested in whether people think it's a good idea for a nine year old to have their own email..
I keep thinking that this is the origin for Vikings.
I've pondered over this for ages since half of me comes from the Danish town of Vig; inland now but only after Sidinge fjord was drained for farming.
Agree- I think an anonymous dislike button might help catch some of the bs posts- I know I would certainly use it a lot on my feed!
At the very least, it would make the poster consider what they have posted in some cases and realise that people do not agree with or trust the content within that post.
They do both, but Facebook version is more appealing with the added drama to it because of comments. People, especially those with narcissistic tendencies are attracted to drama. FB (and other social networks) evolved this to new extremes.
You should be aware that your bias is ruling out tons of great developers. Defence, finance, biotech, etc. frequently have very restrictive ip agreements with their developers, such that if they do have public repos it will certainly be at best toy examples.
How to Make Money with Wealthy Affiliate
Elon Musk says Tesla’s autopilot is already “probably” better than human drivers
the full recording survives in mixed quality, but his performance of I Got You Babe with Marianne is relatively-well preserved. great hidden gem in his back catalogue :)

https://youtu.be/EeBTz8n0vzw?t=2085
Well, yeah, I'm just saying it wasn't a picnic at 40nm or 90nm, either. It didn't go from a walk in the park to a nightmare at 28nm.

Also I believe all the bugs in TFA are logical bugs where the circuit would have misbehaved in a logical simulation, not the kind where the circuit "flips zeros to ones" or vice versa because of physical implementation issues. In this sense advanced nodes make things worse only indirectly by enabling larger, more complex designs.
In that case, I think I could make a compelling argument that gangster rap is more of a religion than the Amish faith.
Start with Minimum Viable Process
You totally can re-implement the data soup in JavaScript. At the same time, revamp the data soup for a default-untrusted environment (with accompanying management UI/CLI/API), and extend it to multi-user contexts, and I think it's worthwhile to explore for use in groupware. I'm not entirely convinced the way we're currently sharing referential data in groupware is sustainable, though I don't know large-scale data structure design well enough to know if a new kind of data soups approach would be any better for a global scale. My gut reaction is data soups are not extensible to the global Net, but groupware-oriented applications would likely benefit since there is so much back- and cross-referencing in groupware transactions. The data soup's union capability would be ideal for helping manage mobile "islands" of data, as consumer/employee mobile devices add ever-greater capacity and synchronization to the data on those devices is introducing unacceptable latencies to live, accurate data representation.
> Am I heartless?

Other people may remember him as a soundtrack to important bits of their lives. And he was a major music hacker. You are not supposed to care or weep or anything ; in fact it's an excuse to celebrate his music today (thanks David). Does it bother you that some other people care?

Yes that was a heartless comment.
Duly noted. That one /is/ an odd one, though -- it's a 747-48E that was originally from Asiana, so it might not even have the mount for the 5th engine (as it's an optional extra). Still, you are right that it makes more sense to be related to contracts with the engine mft.
Four young engineers bring free Wi-Fi in Indian villages
I can see how it happens at the largest corporations, because they have staff to filter applications they don't understand, or let recruiters do the same work.

Hopefully this is a dying practice.
I use it for events.
Naysayers have been predicting the demise of China for the past thirty years. See Gordon Chang, idiot extraordinaire.

The reality is that growth, in the long-run, is now in Asia (think of the hundreds of millions of Chinese still living in the countryside...).

This round of modernization (the third wave, after England, America+Western Europe) involves 4BN people led by India and China and they're just getting started. Take a pause and think of what that means. Four billion. BILLION.

We're entering the age of Asia. Just wait and see.

I think the bigger fear in China (at least amongst the leadership) is some crazy environmental disaster. Think of the hundreds of millions that live on the Yangtze... a massive flooding event that wipes up power/clean water is much more likely cause of revolution than an economic meltdown.

The US can barely handle Katrina... China is 10x more dense. Something like that would be death knell for CCP control.
This anecdote has unfortunately been on the front page of reddit and all over the internet for years.
OK, well argued. Have my upvote :-)
Great discussion why User-Agent sniffing is bad is on the front page right now...
Finance: The ultimate reading list
I'd be careful to apply what's happening in the bay area globally. It's a bit of a unique set of circumstances. On the east coast, where suburban sprawl is much more common, we don't have the rent issues of SF even in places like the triangle where there's a fair amount of technical development going on.
Never, never allow an employer to dictate your next move. This is your life, and your career.
Exactly why I'm not taking any efforts to use Babel. I got no problems with .bind(this) and webpack. I don't need another task running just for some syntactic sugar.
Would love to but not planned, not yet. Focus first on iOS then we'll see... that said, Android keyboard API looks easier and there are probably even more geeks!
Programming guidelines (for PHP developers) – Part 1: Reducing complexity
There are tons and tons of areas in software that aren't web (or mobile, which is usually just web with another toolkit).

Games, Desktop apps, Industrial, embedded, ...

Personally I do desktop applications and love it.
It's really, really far from releasable code. The examples I posted are screenshots from my mockups (made in Excel).

What we have now as actual working code is a visual editor that allows to connect nodes together, a typechecker that prevent connections between different types (and invalidates / blackens existing connections if they somehow go wrong), and multi-input / variadic nodes such as lists and tuples.

It's not yet executable - you can't run the program in our visual environment yet, you can only construct / typecheck them. Also, we have a metric ton of unsolved problems: function definition and signatures, deconstruction of ADT values, definition of ADTs, preview of intermediate values for each node etc.)

Based on what I see right now, it will take at least a year before we have anything resembling a proper language. Also, I predict that the runtime performance will be awful.
Ford tests self-driving cars in purpose-built towns
A sad way to start my day. His version of Hallo Spaceboy w/ Foo Fighters immediately came to mind.

Wrong bit in the article... Tony Sales was the drummer in Tin Machine. His brother is Hunt Sales, who was the bass player in the same band.

Bowie has a half-brother, Terry, who passed in the mid-80s.
Because it is old and wrong. Just a way to keep my fellow HNers from wasting their time.
David Bowie dead the musical genius was a financial innovator
It might also has something to do with the fact that not all good music is simply radio-friendly. That is, it's hard to appreciated it in a similar way it's hard to appreciate a good movie unless you're watching it somewhere in a quite place without distractions.