skysight-inc/HackerNews huggingface dataset:
It would be really useful if there were some historical example of a sudden increase in intelligence leading to a new class of agents taking over the Earth and determining it's future.

Or maybe if there were any evidence that AI capabilities are increasing, like becoming dominant at Chess or Go, driverless cars, or a slew of recent papers on transfer learning.

Maybe if one of the co-authors of the leading AI textbook, Stuart Russell, voiced concerns, we could count that as evidence.

But you're right, it's better to wait until we know for a fact that someone's built an agent smart enough to end civilization before we commit any resources to the problem.
Smart TV Hacking (Oneconsult Talk at EBU Media Cyber Security Seminar)
For anyone wondering what Idris is, it's pretty much Haskell with dependent types. That is, it's easy to encode thing like "vector of length n" in the type system, so you can go from
concat :: Vec -> Vec -> Vec
to
concat : Vec n -> Vec m -> Vec (n+m).
Cool, but a couple of days ago I used [another Android app](https://play.google.com/store/apps/details?id=com.floriandra...) that does the same thing, even with a cross-plattform Java server, too. Is there anything different with this one (except the price)?
>> It's good that younger people can't easily buy property.

No, it's not, and it's not even to the owner-occupier's benefit that the market inflates so much.

>> Dwellings should be purchased only by those who are very likely to be able to afford this

Young people can afford this, who the hell do you think is paying the buy-to-let mortgage crowd's mortgage? The fecking fairies?

>> That's why stable job with good career prospects, married with children, being able to afford substantial deposit, being older, are good heuristics for who should by property.

They're good heuristics for who should already have property, and already have a substantial sum paid down. Something unachievable if people cannot get started in their 20s.

>> Giving a mortgage to everyone encourages financial rectlessness, which lead to the financial crisis of 2007–2008.

I'm not advocating giving a mortgage to everyone, I'm advocating giving out fewer mortgages to those who wish to buy more homes - they're effectively leveraging cheap mortgages to get someone else to buy them a huge asset, and at the same time making that asset further out of reach for the person who is really paying for it.
Hi all,

For a few years now Mike and I have been dreaming of this day. We've seen the trends, we've watched from the sidelines, always waiting for the right moment for our big release.

Today, for no specific calendar related reason, we're launching Stories as a Service (SaaS for short).

SaaS enables you to add Story functionality to your site in just one line of code. We know you've all seen Stories by now, they're all over the face of the web. But you've not seen them like this.

Including revolutionary features such as +1™ (each story lasts for 25 hours), FaceStickers™ (our stickers are IRL and very sticky) and Photoshop1™ (pretend you're in Bali whilst in your underwear in your 1 bed flat), we think you're gonna love SaaS.

We're super excited to finally bring down the curtain on what we believe will be a revolutionary product.

We can't wait to see what you do with it (especially you, Facebook).

p.s. You can read the (short) story of the behind the scenes here: https://twitter.com/FredRivett/status/847825413422415872

I'll be about today to answer any questions you have (but may be asleep at times due to last nights late night push).
Well, there is that whole thing about their founder being illegally indefinitely detained and denied due process. There are no MRI machines in that embassy.
The scheme standard actually bit my sorry behind recently. I was porting a small library between scheme implementations, and my tests were failing.

I had always thought it was evaluated left->right (which it was in the first scheme implementation), but it is in fact standardised as "The order of evaluation is unspecified". The reason I hadn't noticed before was that most my code is rather functional. Now I was reading a char from a file handle, and peeking it as the other argument.

It failed because read-char is destructive (it changes the position of the file pointer), and since the order was the other way around in the scheme I was porting to, all the procedures relying on my "read-until" method started failing left and right.

It just took me ~20 years to figure it out...
>> Looking at the current storyline on Russia, I know there are daily leaks from "unnamed sources". But I can't think of a case where these sources turned out to be wrong – maybe there are, but I'm pretty sure the vast majority have turned out to be accurate.

>> journalists quoting unnamed sources put their own reputation on the line as a stand-in for their sources.

> Isn't that exactly the point? Their credibility is gone.

What makes you say that?

I could see a good argument that they are not impartiality, but that seems a different thing.

To some degree one can look on a case-by-case basis.

For a specific example, I find Fox's George Russell reasonably credible, but he is clearly not impartial.

On the other hand, Fox's Judith Miller seems more impartial but has some pretty serious credibility issues.
"The Open Philanthropy Project is a collaboration between Good Ventures and GiveWell in which we identify outstanding giving opportunities, make grants, follow the results, and publish our findings. The Project is not, itself, an organization."

edit: I cannot reply to the below, so I will edit my comment.

I am aware that GiveWell does not invest money. Instead it provides impartial analysis of investment impact. My contention is that this was not impartial. Dustin can handle his own money, but:

People using GiveWell to decide their own investments should now think twice in my view. Which kind of defeats the whole point.
What do they do to make money once they have their users on board?
Quite recently Kin has been open-sourced (see http://blog.kin.today/post/156970937113/kin-is-now-open-sour...).

Have a look at the client (https://github.com/KinToday/kin-web-client) and the server (https://github.com/KinToday/kin-api-server) on GitHub. It's definitely inspired by Sunrise, but might be a suitable replacement for Google Calendar.

Even better: Contributors get the hosted version of Kin (2€/month; 20€/year) for free.
Just because they seem to be doesn't mean that that is their intent.

Being open about sources defeats the whole purpose.
It's worth pointing out that:

1) Controlling memory layout is not as big a deal as people think. The JVM is highly optimized (really it's probably the most optimized system ever devised) for allocating and deallocating objects on the heap.

2) It is in fact possible to control memory layout today because Java has access to offheap memory where you can have all the control you want.

This has actually been the case for nearly half a decade but for some reason a lot of people are convinced that "big arrays" can knock over the JVM.
Scientists Think They've Solved the Mystery of Namibia's Bizarre Fairy Circles
Yes, that's what I wrote.
Same, i recently decided to overhaul my RSS addiction. I did a ruthless curation of my RSS feeds and picked only a select few that i truly enjoyed. Then, i looked for the publication's Twitter and added the accounts to the relevant list.

The upside is i no longer feel compelled to finish reading everything in Feedly. Before, the unread markers was distracting.
Well, one can train birds of prey to use nets for disabling drones. And there's always jamming.
If it was security as claimed the laptops would not be allowed in checked luggage either.
No, it's been a victory for those peddling the fear articles and soliciting victim bucks.

It's really simple. First you make outrageous claims, then you define everyone who disagrees as a harasser. Find the one tweet or comment that's a bit off color, and pretend that's representative. Or just false flag it.

It's the digital version of how to discredit an opposing view or protest, you just need one person smashing a bus stop or looting a store. Once you have enough fear, it becomes self justifying.
Microsoft May Never Fix the High DPI Issues in Windows 10
That's how those bug finders fees work, I'm not sure if introducing money into something ever makes it more ethical though
Show HN: Visualize and play with movie graphs
The configuration is very, very, very cool.
The only downside I see is that the weight steps are a bit too spaced... the 2nd position is not bold enought, the 3rd is too much. But I suppose you can't satisfy everyone !
I've been very happy with Source Code Pro semibold anyway :)
I've been using iosevka (regular and thin) anywhere I have to read a whole lot of content, which in my case is within atom editor, terminal (vim), and irc client (quassel). Iosevka is a feel-good font. The regular and thin styles are very nice. ^_^
What they've oftentimes fought for since the birth of the country - powerful business interests sometimes masquerading under political campaign rhetoric of "freedom" or "justice." Whether it's over taxation or slavery, economic impetus is the seed for most conflicts in the US and in the 20th century evolved into ideological conflicts that harm US business interests.
> So why the focus on Russia?

China vs USA is a business competition. Both think that can get an advantage out of it.

Russia vs USA is a struggle for power and influence in Europe. If USA losses the EU it is isolated. If USA becomes Russian ally it is a major shift in the world power and will bring with it a lot of instability, and that means lose money.

Brexit can be an example of the late. Brexit movement foundation relays on the so called fake-news. It is a big shift in power, but not so big as the UK was never well integrated into the EU. The monetary loss is immense.
And TBH if you don't have the finances to be able to hit a $1k minimum buy investing in individual stocks is probably something you should leave for a few years.
It's a forum dedicated to a certain political candidate and their views. By definition, such a place will be an echo chamber with a (usually) low regard for neutrality.

It's no different from a hobby forum simply not tolerating people who don't like that hobby. You don't go to say, a Microsoft specific forum and expect to hear why Apple or Linux operating systems are better. And if you did keep saying that, you'd probably be chucked out or flamed to a crisp.
Though unlike Haskell, it is strict.
i was hoping all of this was a april fools joke but sadly its not. Obviously they will sell the acitivities. If you keep milk infront of a cat, she will obviously drink it. Guess we will have to turn to privacy guarding services like tor, purevpn and duckduckgo. I wonder which right will be removed next? We should buy their history to be put on display. Then they would know how it feels﻿
Especially the USA its looking quite expensive atm an index fund targeting the USA might not be the best bet right now
Not a great way to make friends
I actually see the rise of social media as a double edged sword when it comes to blogging.

On one hand, you have people spending more time updating their feeds.

On the other hand, it also means people are less compelled to start a personal blog describing their day to day lives (remember the days of livejournal?).
It's not sufficient due to certificate pinning, and it also completely short-circuits any browser-based security policies keyed on the certificate or options advertised in the protocol like SPDY. That would be the worst possible outcome, and why any correct solution (i.e doesn't break security or functionality) would be hard to reach
Insomnia associated with increased risk of heart attack and stroke
The hole in your logic is that you have the idea that drugs are taken because people feel badly, when in fact humans simply have a natural preference for altered mental states. Also, the vast majority of human cultures condone the use of some recreational drug, and no one is "just giving" anybody anything.

If you want to talk about social policy, it's quite clear that the actual 'opiate of the masses' is alcohol, and you may recall that Prohibition failed. If what you're talking about is not a return to Prohibition then it's fairly useless to try to imply that cannabis has anything like the social problems of alcohol. You're rationalizing your morality and trying to say "people should only do drugs I approve of". We've tried Puritanism. That it is a hopeless model for society is precisely why cannabis is being legalized now.

There is not a reasoned argument for cannabis prohibition, and thinking otherwise represents a flaw in reasoning.
Research paper: http://journals.sagepub.com/doi/10.1177/2047487317702043
So holding a similar world view is enough for me to get a $30m investment to pursue research? No; holding a similar world view, being friends with, and having familial ties. This is the definition of nepotism.

Otherwise a large percentage of Hacker News should now be expecting similar investments to pursue research projects.

Look, I do not really care if somebody rich invests in somebody they know. But I do now doubt GiveWell's impartiality of analysis in other instances, and general good judgement. I will not be using their judgement to inform my charitable giving.
And then there's the next paragraph:

> The Open Philanthropy Project typically recommends grants to the Open Philanthropy Project fund, a donor advised fund at the Silicon Valley Community Foundation. Support for the Open Philanthropy Project fund comes primarily from Good Ventures, though other donors have contributed as well. In some cases, the Open Philanthropy Project makes grant recommendations directly to Good Ventures.

It's basically all GV money - that is to say, Dustin and Cari's money.
don't use a browser addon. don't use one with cloud features. that takes away a lot of attack surface.
The Professional Guitar Masterclass
Local root certificates are prioritized by all browsers over certificate pinning, for exactly such intentional MITM.
I believe by social, he probably meant cross posting links to social media as a form of marketing.

It's tricky though, because Twitter is a micro-blogging service, and Facebook has Groups and Pages.
> Which is better: Finding a bug and bringing attention to it, or someone malicious finding the bug? The latter is objectively worse, but people keep trying to punish researchers for not following the third path of "Report it in private, following strict and lengthy procedures, and make no mention of it until a timeline of their choosing."

He put a lot of details out there that simply weren't necessary, and I think this is where the problem lies for a lot of people. Please explain to me how making the distinction between "There's an RCE" and "There's an RCE that's exploitable by messing with <feature X> in the API" benefits anybody besides nefarious actors (when the software developer is already working on a fix, as LastPass was at the time)?
I felt the same - not that worse than in a modern language (of course someone should rewrite in Go with the new algorithm so we can decide if it would be good enough :)
I feel you on that one. I was never a utopian, it's just allowing more people to communicate with more people after all and people are what they are (mostly not informed, compassionate, open or enlightened). But I didn't expect the result to be this bad.
Clash. http://www.clash-lang.org
I think people here are confusing startup school with accelerator program. The startup school invites are in, the accelerator confirmation will be on April 3rd.
The nice thing with CAR and CDR is that you can have combinations like CADR, which is (CAR (CDR A-LIST)). Many structures are rarely linear (say a s-exp repr of a JSON object), and the C*R family of macroes are really useful.
Algolia's CSS API client:
https://blog.algolia.com/js-is-dead-all-hail-css/
The problem there is that it is certainly possible to legitimately post hundreds of times a day. I mean yes, someone who posts or votes too much could be a troll. Or they could be a perfectly good, yet exceedingly dedicated community member with a bit much too much free time and a lot of passion for a subject. Limits like those tend to screw over more active users in general.
- FLAVOR: [Ubuntu Desktop]

- HEADLINE: hardware manager

- DESCRIPTION: A place where I can see and manage (on, off, drivers) all my hardware devices.
Firefox opens up their Awesomebar API on April 17 with the new FF53 release.

We are actually actively building the full-text history and bookmarks search as a chrome (and soon also FF extension)
(http://worldbrain.io)
It's also all open-source.

We have some ideas regarding the server infra as well: https://github.com/WorldBrain/Research-Engine/issues/43

Maybe good to connect and share some thoughts. (We are also in Germany. Berlin to be exact.)
Samsung Group’s de-facto chief Jay Y. Lee earned $1M
Yes, but it turns out you can do some cool things with dependent types.

I always felt, as a C++ programmer, that Haskell was just restricting me, without providing me any real benefits (of course, other people's opinion can vary!) -- on the other hand, Idris provides tools I can see as useful, things like checking at compile time all file handles are correctly opened before use, and closed after use (that's a very simple example, but just one type of thing you can do)
I don't think I've ever met anyone who enjoyed QA.
That makes sense, your likes/shares aren't for you they are for other people to see. So it's more important to like and share the things you want other people to see you like/share than to have them reflect your actual preferences.
You can't get filled at a worse price than the lit exchanges are showing.

I have no affiliation with Robinhood and think that they're bad for the markets, but what you listed is FUD.
I'd say SBCL and CCL, but CL implementations are not like Schemes where there are huge incompatibilites and practically you have to target a certain compiler. With CL the compiler-specific stuff are very-rare and small in number, so most of the time you should be fine on any compiler with ongoing development.
Yes. That one. No one claims they didn't have any bugs of their own, but they tend to fare better. That bug also only affects Windows users and is only locally exploitable, compared to LastPass which is pretty much always RCE.

Just b/c they also have a bug doesn't make them any worse than anyone else or diminish their track record in general. And contrary to just about everyone else LastPass doesn't care to notify you of updates or have the auto-update mechanism on.
You can always run it on a real, unimportant machine not connected to anything. (And never connect that machine to anything ever again.) That feature just makes it slightly more difficult and costly to compromise program security.
this kind of satire is actually very common (they're just making fun of a entire subculture by condensing as much of it as possible into a single extremely over-the-top person), but mcsweeney's always takes it to the next level.
Show HN: The Tao of tmux, available for free on the web, has been newly edited
Hi,

Last year I began a book for learning tmux called The Tao of tmux. It is based off a free resource originally part of the documentation [1] of tmuxp, a tmux session manager [2].

I made it available for free online at https://leanpub.com/the-tao-of-tmux/read.

Since February of this year, I have incorporated suggestions and feedback from readers on quality and completeness of the book. For one, I have passed the book through a professional editor, as well as rounded out chapters with summaries and even added 3 new sections, including:

- Sending keys to tmux, aka `send-keys`

- Copying pane contents to the paste buffer programmatically, aka `capture-pane`

- Building and using tmux-mem-cpu-load [3]

Countless areas of the book have been rewritten for clarity. The process of editing alone fielded over 650 tweaks. New graphics have been added. The configuration chapter has been overhauled, and various new examples of usage for targets (`-t`) [4] and formats (`-F`) [5] have been added.

The book is available for purchase on Leanpub, in DRM-free epub, mobi and pdf format at https://leanpub.com/the-tao-of-tmux.

In addition, the book is available on Amazon Kindle at https://www.amazon.com/gp/product/B01MG342KU.

The book will always be available for free on the web.

P.S. If you found this book helpful, please review on Goodreads [6] and Amazon [7].

[1] https://tmuxp.git-pull.com/en/latest/about_tmux.html

[2] https://tmuxp.git-pull.com

[3] https://github.com/thewtex/tmux-mem-cpu-load

[4] http://man.openbsd.org/OpenBSD-5.9/man1/tmux.1#COMMANDS

[5] http://man.openbsd.org/OpenBSD-5.9/man1/tmux.1#FORMATS

[6] https://www.goodreads.com/book/show/33246223-the-tao-of-tmux

[7] https://www.amazon.com/gp/product/B01MG342KU
Kind of.

In any case, bytecode as executable format, goes back to the early days when CPU were microprogrammed.

It was also a common approach on mainframes, with OS/400 being the best example.
Sudhar jao- a must watch short film
As someone who loves singular they, I have a request: please don't do this. It is OK if grand parent uses he/him. Thanks!
April Fools day is the worst. Thanks Internet.
Titanium Mobile App Development Company India – Titanium Developers
Awesome indeed. But oh-my-git is shipped with 3 themes only. So I just stick with their themes. Other methods are way too complicate to fix font issues. All I want is just a font that can be imported into font book or fontforge and let my iTerm2/Terminal to use. That's all.
Finally killing the dreaded ~4j for good
XWiki 9.2 Released
> Order execution quality. RH sells order flow. How much this matters is probably beyond my knowledge. I'm inclined to think that it wouldn't matter too much, and is more likely to adversely affect competing HFT firms who are in competition against the order flow buyer(s) than it would people trading at even the upper bounds of retail frequencies.

This problem is that if all of the uninformed flow is internalized then I have to quote wider on the lit exchanges because all of my fills are going to come from informed traders. This is bad for the market as a whole.
Enpass: https://www.enpass.io/apps/linux/
I've used FastMail calendering for several years now, I've got to say I've never had a single issue with it, accepting links / invites from other people on gmail etc... all works perfectly and events sync and update not only quickly, but reliably. I've (been forced to) used O365 for work for years and that shows a stark contrast where events go missing, have incorrect timezones from people in not just the same timezone but same organisation, disconnection issues, many year old appointments popping up at random etc... I've never had any of that with FastMail's calendering - just the way it should be. However I know that this Ask HN is about open-source calendering and FM is a hosted solution. The biggest issue I've personally had with most of the available CalDAV web interfaces I've seen / tried is that they tend to be written in PHP and while I don't want to hate on languages and it's not that simple, PHP isn't something I want to add to my existing web-stack of Ruby and Python which while both far from perfect feel more modern to host / deploy.
I'm not sure that is quite a simple example actually. Sounds kind of complex to prove that all file handles are closed after use (how soon after use?) in the general sense, especially when they're opened dynamically.

Also, you can already do half of what you described in Haskell. Just require the functions that work over open files to require an Open type which the open function would return.