skysight-inc/HackerNews huggingface dataset:
Earth faces “biological annihilation” in sixth mass extinction, scientists warn
Has anyone played with the ARKit yet to develop? Will be great if you can share your experience. I have made couple of games on Unity and want to dive into mixed reality applications.
Ethereum mining difficulty increased significantly
How maths helps us understand why music moves people
It actually has lead to confusion before when I assumed that someone I was talking to knew what this usage of "serverless" meant. And it was only 15 minutes of talking that we realized our conversation had wildly diverged and neither side knew it.
What's the benefit you get out of implementing an algorithm that you don't get out of reading carefully its correctness and complexity proofs?
Launching Today: CircleCI 2.0 Reaches General Availability
VPNs still work; ExpressVPN gives good results. Although I usually just forward gmail to outlook for the time being and will just use that for the weeks I am there.
Can't agree more about the importance of breaking the rules. In my foray to Windows Phone development, I spent a lot of time customizing components to implement the design language well in Reitit [1]. The early Metro/Modern design language had next to no UI chrome, so many apps that didn't do their app specific design work ended up feeling very empty.

[1] https://www.microsoft.com/en-us/store/p/reitit/9nblggh093vj
Study paper: http://m.pnas.org/content/early/2017/07/05/1704949114.full
You may be surprised to learn that in some countries (particularly the Land of the Free) the standard, for some weird reason, is for sending SMS to be free and receiving them to be paid.
When visual conditions are enough, pilots tend to do visual approach/manual landing even there is CATIII equipment and airline/pilot certified to do that. It is faster and more economic: https://aviation.stackexchange.com/questions/24275/what-make...
A company has a set IPO date and has filed documents with SEC on the number of shares they intend to float. The company thus has an urgency to sell 100% of that block of shares the day prior to the IPO or risk headlines of IPO being pulled due to the "lack of interest".

Investor doesn't quite have the same urgency. Sure, they could buy the stock the day prior to the IPO, but they could also get it the day of IPO, or the next day, or the next week, or a year after. That's the beauty of the public markets - there's always more shares as long as one is willing to put up cash.

Now, how will the company compensate the investor for the urgency?
> Now

There always was Docker or MSYS2, so if someone really wanted to, he could already use Windows for his Linux developments. There are some limitations, yes, but WSL also comes with it own set of problems.
Not just peeved, but confused.

"With serverless computing, your application still runs on servers"

So it's not serverless? Why are you calling it serverless?
A clock that flashes 12:00 is still right twice a day.
The "problem" with putting Lambdas into a private VPC is that then you need to do NAT, which means permanent infrastructure (NAT gateways, failover, scaling...). It can be done but there are more headaches than with a pure serverless solution. Unless things have changed since the last time I looked at this stuff.
Google's Attention OCR in tensorflow:

https://github.com/tensorflow/models/tree/master/attention_o...
Sadly putting Lambdas in your dedicated VPC introduces cold start times of sometimes ~5 seconds. Yes, seconds.
> It's actually pretty horrible but that's not windows' fault. It was designed for case sensitive unix systems with the appropriate ssh infrastructure and other shell tools in place which windows didn't have.

For me, that's Windows' fault.
It would have been more clear for me to have said: "for the purpose of discussion, let's view Rust's borrow checker as an interface to a O(1) garbage collector [..]".
My Nana does this but I haven't inherited it. Hospical, keckle. I can see the irritation but makes me think of Nana so it's more nostalgic.
Augmented Reality – The Future of Advertising?
It is definitely a matter of quality because I support a team with the same issues. I see the cumulative cost of quality issues daily.
So it's correct at 12 and possibly at midnight too
Expect something in a few hours :)
So many people use 'begs the question' as 'raises the question' now that it's a valid meaning for the phrase.

EDIT: To the downvoters: I don't think you understand how human language works.
Show HN: Tania – An open source farm management system
> The open source AMD graphics drivers in Mesa are considerably more stable than the equivalent Windows drivers

What?? Not in my experience! Windows can even recover from graphic driver crashes.

> In many cases the open source drivers outperform the proprietary ones.

Maybe for OpenGL. But DirectX 11 is nearly always faster (e.g. bytecode shaders) and only available on Windows.
I thought it had "full win32" support, ie, you can run win32 apps but they have to be modified. It's clear as mud though, MS says one thing but their windows store migration guide says another. The existence of the migration guide is rather telling though.
There’s been some work lately by Tweag I/O on a linear types extension to GHC.[1][2]

It would allow us to safely allocate things from malloc memory or a “linear heap” separate from the main GC heap, and that should reduce pause times by reducing GC pressure, but I don’t think we’ll ever be able to avoid the GC entirely.

However, we can still expect some nice performance advantages from the fact that linear types can enforce guarantees about inlining & fusion (which are currently somewhat unpredictable) as well as resource lifetimes.

[1]: https://github.com/tweag/linear-types

[2]: https://github.com/tweag/ghc/tree/linear-types
Blockchain: the revolution we’re not ready for
Same here, also you can't really map NTFS to Linux filesystems (perms + max path length, have fun using Go with vendor / NodeJS), so you run into stupid issues where the only solution is to boot up a VM anyways - and then, most of the time, the VM file sharing does not support proper permissions. After dealing with that for about a month, I was pleased to hear that NVidia released drivers for 10-series GPUs for OSX, so I transformed a Haswell-E 8-core workstation into a Hackintosh and I get best of both worlds (except some USB soundcard issues, but it automatically switches to Bluetooth when it dies, so it's all fine).

Regarding notebooks, I paid the premium over Windows notebooks just to get a MBP. The quality is far superior to anything I could find and for some reason there's no equivalent of a MBP15 in terms of performance, size and portability. Everyone's stuffing the low-TDP 2-core i7s and 14 screens into their "ultrabooks" and calling it a day.
Show HN: Snowfl – a scrapper for various public torrent indexes
Why not put a big ass array of red lights to indicate where not to land though?
For sharing code snippets you can just do something like this:

alias paste='curl -s -F '\''sprunge=<-'\'' http://sprunge.us | tee >(xclip -selection clipboard)'

Which on my system will create a paste of whatever you pipe to it and put the link to it in your clipboard.
Not really. You could write a git client for windows that didn't have these issues.
I never quite get developers that don't use a system most similar with they deployment target... If I develop web apps intended to run on -nix, I use Linux, if I develop Windows stuff, I use Windows etc.

It creates a huge understanding gap that slows you down and makes you miss so many shortcuts...

Windows, Macos, Linux are all good enough to get shit done these days... so pick whichever suits current needs best. (I reboot to different OS depending on project since this also helps me avoid my dangerous tendency for multitasking... and productivity/office tools are all web apps for me so I can use them anywhere, including phone and tablet).
It's more efficient to let the unikernel start a HTTP server and keep running for a few minutes. With AWS Lambda you're paying for walltime even if the CPU is idle because it makes a long running network request. Imagine you're making 10 HTTP requests per second and each has a very long latency of 5 seconds. With 10 AWS Lambda "instances" running concurrently you're billed for 50 seconds. With a single EC2 instance you're billed for 5 seconds.
Exactly, I already choose Macs as the build time on a 15” MacBook Pro from 2015 is half that of a 2016 XPS 15” running Windows 10. It’s twice again if you use WSL on the Dell. Fedora natively on the Dell gets a lot closer to the Mac
Btw: I can recommend Notepad2-mod: https://xhmikosr.github.io/notepad2-mod/
It can replace Notepad and understands LFs.

You can install it with Chocolatey https://chocolatey.org/packages/notepad2-mod which will automatically set it up as a Notepad replacement :)
Any server search engines?
Is there any server search engines?
Which can help me find servers based on price specifications and reliability?
Just go through the official sample app and documentation https://developer.apple.com/arkit/, if you have worked on Unity, then working with ARKit will be an easy transition for you
Aren't there lights that have to line up if you're on the right course for the runway like with nautic harbors?
Or warning lights that are visible when you're not aligned correctly?
> I'm so glad I left that place. I've never lived in a place that was so obnoxiously proud of its past, all the while so completely hypocritical about its present situation. Great school, shit town.

You found the town was proud of its past and hypocritical about the present, and not the school?
The very first time I heard "serverless" I thought P2P, but even though I agree somewhat with what you said, think of it as serverless because you don't have to manage the servers yourself.
(50% off & free shipping) 3800 Lumen Super Bright LED Tactical Flashlights
The linked article just quotes someone saying this with no citation.
Lord Payback – Get Sexy for Me
Right, so again, I haven't used it, so I'm going on what I've read, but my understanding is that Mercurial (which is Python based) is much more Windows friendly, and I actually use Mercurial more than Git.

But still, regardless of whose "fault" it is, I couldn't imagine doing dev on a windows machine, some of which is because of the vastly different environment.
SafeStack is indeed very interesting, this is the only thing I see here which I consider to be fully superseding the idea of return-to-abort.
Microsoft’s default font is at the center of a government corruption case
To be technically honest here, NTFS and NT don't have a max path length problem and are optionally case sensitive. This is the abstraction layer over it (win32). I'm not sure if that does trip over that issue as I didn't experience either way myself but it is a massive problem when running things like Jenkins on windows.

Disparity between the Vm and the host OS is problematic when you use things like vagrant too. Much smoother on macOS.

15" i7 MBP here as well. It's really not much bigger than my T440 and a lot thinner.
What Are the Advantages of a Cloud Server Over a Dedicated Server?
My company lives on Outlook. My dev is fully targetted on Linux. How should I use Linux on my laptop/workstation?
Good work on getting this off the ground. ive seen all-sides before, but i think ur closer.

when i thought of this idea - in my head it was a heat-map, in a rectangular grid pattern. Political affiliation was just 1 gauge u could select. u could navigate the grid by clicking left and right on a page and u would be presented with an article. down the matrix would goto other sections of the news.

News needs to be disrupted, and politics isnt going to be the thing that does it. Think of it this way, if i go out, i dont go and hang with politicans. I hang out with ppl i like. I hang out with ppl with similiar interests.

If i like sports, why cant i read an entire newspaper, with my likes represented? Why can i only read a "sports magazine" or "the sports section"? ppl who like sports, are interested with things that effect sports. it could be the weather, it could be a policy change, it could be beers being on special on saturdays when i hang out and watch it with my friends.

My idea starts by presenting the user with binary options, the choices they make will lead into other choices and finally a curated "newspaper" is presented. each article they are presented with, they can rank in a binary way, which further curates their experience.

hit me up on captainjonoo [at] gmail if any of u are keen explore these ideas.
This isn't very useful, and has some pretty obvious design flaws.

Given any routine which ends with the very common pattern:

return foo();

Which is assembled to the very common sequence:

call foo
leave
ret

This project will instrument it to now look like:

call foo
jmp $+2
.byte DE, AD
leave
ret

Whatever return address I hijack, I can now just point it at this valid return site, and begin my ROP stack as per normal.

What's especially great is that the project guarantees this pattern for us. Now, every function has a path that looks like:

call __stack_chk_fail
jmp $+2
.byte DE, AD
< function frame cleanup >
ret

This is effectively a no-op for security.

I cleaned up the author's code, added a sane makefile, and an example exploit here:
https://github.com/zachriggle/return-to-abort

(Pull Request: https://github.com/cjdelisle/return-to-abort/pull/1)
This would be hyperventilation syndrome

https://en.wikipedia.org/wiki/Hyperventilation_syndrome

CO2 is not simply a waste product we exhale, we need it for pH regulation of our blood.
Blueprint Genetics secures €14M to disrupt genetic testing with AI
Being non-native English speaker, I didn't notice the subtle distinction - but it makes sense now with the explanations. Thanks for your comments.
Ah I see, upping the font-weight to 400 helped when viewing it on my laptop screen. I didn't really have that issue on mobile, though.
I noticed this with my new XPS laptop last year. After moving to GNOME, things started Just Working. A lot of what we consider basic functionality is implemented differently by each DE, and running in userspace, or is completely absent (like power management or automatic/easy wireless networking).
What a massive claim! Of course, after carefully reading the article several times just to make sure, it's just one attention-grabbing line said in one speech, by one person.

To prove this sort of claim, you'd need to challenge the millions of hours of research geneticists have done, all the open data they've published, all the medical advances they've fueled. Instead, without even considering that the claim might be wrong, without any scientific humility, without linking to any supporting research, Harvard confidently makes the most extreme claim; that zip codes have more predictive power than genes!

Disgraceful and absurd that Harvard would publish something like this. Disgraceful that I believed it even for a moment.
In their defense, I would guess that making such a system 100% reliable and unintrusive may be a lot harder than we realize. It's not uncommon for Google Maps to be off by a few blocks for 10 seconds or more, and that could very easily be fatal if you're using it to land an airplane.
English is not my native language, but shouldn't the headline have read "SFO near miss would have triggered aviation disaster"? "Might" seems to indicate that something else happened afterwards as a possible result of the near miss
On a low level it consists of multiple key-value stores (one store per contract). Keys and values are 256-bit integers (or 32-byte byte strings).

You never work with it directly, instead, you deploy a contract, which is sort of a collection of stored procedures. On the low level contracts are executed as imperative bytecode with special opcodes for reading/writing data to KV store.

There are also high-level languages which compile to this bytecode. Particularly, Solidity lets you to develop contracts using object-oriented metaphor: contract is an object, its store is accessible via object's fields. Besides primitive types, it supports types like structs, arrays and associative arrays, which can be nested. Compiler takes care of mapping field access to raw key-value store operations, particularly, it relies on cryptographic hash functions for layout mapping instead of deterministic allocation.

Contracts can also call each other, there is an opcode for it. Calls are done synchronously, so it looks exactly like OOP.

Since this database exists in multi-user environment, access control is necessary. The system identifies users using cryptographic signatures and exposes this information to contracts via `msg.sender` field. Contracts can use it to implement custom authorization policies.

The database is transactional, of course: a user-submitted transaction is either executed in its entirety (incl. all nested calls) or fails with all side-effects reversed).

Transactions are executed serially, one at time. So high performance is not a feature of the system, it is more like "high security".

Reading data can be done via "stored procedures" (well, I think technically you can read raw data from key-value store, if you want to). Also there is a separate "event log" mechanisms: contracts can generate custom event logs, which can be later read externally.

Distributed consensus: Each node has a complete copy of the database, so adding more nodes doesn't increase scalability.
Currently Ethereum uses proof-of-work consensus. That means that any (mining) node can propose a new block of transactions to be executed, and eventually they converge to a single chain. So it's stochastic.

There are also "private Ethereum" systems which let you to use different consensus mechanisms. Typically they have Byzantine Fault Tolerant consensus, likely inspired by PBFT. It's kinda like Paxos but with more digital signatures.
Sorry; I misunderstood (and to be honest even after my tenth reread am still having a difficult time parsing...) the end of your comment about the "issue" :(.
This may be quite useful to health insurance actuaries in the years to come, depending on state laws. Though I imagine in the long run, they would vastly prefer a fully sequenced genome for all insureds, or IQ tests.

I wonder if we'll see those kinds of things in the future. I guess on a long enough timeline, the question isn't if, but when.
You can buy them on Ebooks.com http://about.ebooks.com/drm-free-oreilly-ebooks-available-eb...
Yeah. When reading about modern air disasters, you often hear that five different things had to go wrong at once for them to happen. In this case, one or two things went wrong, the rest of them went right, and everything was fine.
Not even a "thank you" message from the TLD managers ? That is the most shameful behavior.
Garçon Coffee – A coffee guide for people who travel abroad
I think that description is more than a little better.

> Mapnik raster map rendering engine

An engine that renders maps as raster images, called Mapnik. Should be clear from the quote.

> CartoCSS styling language

A CSS like language to style maps (change the looks of) instead of HTML. If you know CSS, that should follow from the description.

> It was originally developed by Mapbox, but they've since moved to vector rendering.

Should be pretty obvious from context that Mapbox is the name of the company that originally developed the software.

ELI5: It is for drawing pictures of maps.
I've seen several very creative demos but I'm still struggling to see practical applications. It seems like massive, every day adoption of this kind of AR is going to have to wait for dedicated glasses.

Maybe I just lack imagination.
Interesting, could you say a little more about that?
I am glad I never used medium and I go out of my way not to read anything on it.

How are they different from many other blog systems before them?

The correspondence between op and the guy from medium just put me off even more. Like someone else before me already said...pretty ridiculous saying to someone 'your product is nothing new'...coming from medium

To me it just looks like another case of all words for openness but in reality my hand washes your hand.
Ermmmm wau. Are you incapable of Googling? Ory left Ushahidi in 2010. The board has new people.

And though I am flattered, I am not Ory.
Robert David Steele has interesting things to say about OSINT, but one must take him with an entire cow lick of salt. After getting interested in his ideas and watching several interviews with him, I was very disappointed. His personal narrative is exaggerated; he advocates conspiracy theories that are popular but ridiculous; he shows a certain arrogance. He looks & quacks like an aggressive self promoter without much substance to offer.

This man has claimed to be the father of OSINT one day, and said that Pizzagate was spot-on the next. No one with a clue about how to conduct an investigation should have swallowed that.

That is all to say, I believe we are in very troubled times, but I don't believe we are on the verge of revolution.
Ad hoc 'cache hierarchies' make chips much more efficient
This is awesome! I can't wait to start playing around with this :)
I had to look it up as well :)
不可替代的团队领袖培养计划
I never expressed support for electron. I merely mentioned it.

You've inferred that I'm young (nope), implied that I'm not mature, don't take my work seriously, that I have "hormones and stuff", that I consider electron a fashion statement (?), that I'm dismissive and arrogant, and that I'll never challenge my opinion. Phew!

For the record, I have dabbled with electron, and I'm on the fence about it. It's a quick path to MVP, but it has obvious performance issues and I'm not sure I wish to inflict these on my end users. I'm teaching myself react native and python/qt at the moment instead.

Thanks for proving my point so completely. Hey and look, a downvote too.
If you watch any 28R approach video for SFO on YouTube, you'll be even more surprised. Because there is no way you can mistake the taxiway for the runway. There is a huge array of lights pointing the pilot towards the runway.

I would imagine this would be more of a problem during the day because the lights are not as bright compared to the ambient light.

I would think the best way to get this detected early would be to integrate some logic into the ATC radar. As the plane gets closer to the runway (or taxiway!), it should be easy to tell where the pilot is going by looking at the track and issue an automated warning.
Mercurial is much nicer on windows. Git could have been the same but it targeted unix likes to start with and didn't evolve into something even remotely portable for a while.

I use fossil for my own projects. I find that agreeable on all platforms.
SAP front R100m 'kickbacks' for state business
Yes, I would call those changes workarounds for Windows' bugs (incase-sensitive filesystem, no ssh infrastructure, ...).

One of the reasons Git is slower on Windows, is that spawning processes is a lot slower than on Linux. Wouldn't you call that a bug?
Are you suggesting their current GPS systems have that kind of issue though? I'm just asking for an interface to be added, not a entire concept of GPS functionality to be added. I'm assuming the latter is already used. It's not like I was suggesting they use Google Maps.
I would love to see a write up about that. Got a source?
Not really. Retail investors have netted $-7 while "insiders" netted $0. This is of course assuming that they've held on to this day.
Mypy 0.520 Released
And if you have major surgery even on a "platinum" level plan you are still on the hook for tens of thousands of dollars. Fuck the system, its calcified nonsense at every step.