skysight-inc/HackerNews huggingface dataset:
Map-dl: Download Google Maps
Suntheanine is a brand of synthetic L-theanine. It is considered the highest grade L-theanine you can get, but not sufficiently better enough than the others to pay extra for it.

300mg of L-theanine is equivalent to about 12 to 38 cups of tea (tea naturally has a wide range of L-theanine content, depending on the tea and how it is processed). Up to 1,200mg daily is considered safe, however, like with all drugs, you should only take as much as needed to get the effect you want.
My team and I have built SearchTrack, which lets you create a project around any topic and then save useful, relevant links, so you can access them from anywhere.

You can even build a context around each link that you save by adding a note and have your peers collaborate with you while doing so.

Basically, SearchTrack is a knowledge sharing platform which helps you save best resources around any topic and share your research with others looking for it.

But in this case, you can use the standalone value of the product to just access all your saved links just by visiting your SearchTrack Project.

You can give it a try here - http://www.searchtrack.co/

Hope that helps.
Honestly, I agree with the Slashdot comparison, except earlier in it's lifetime. However, that means HN is going to fall apart in about 2 years and turn into a toxic shithole.

Fuck.
Not available in UK store ...
> Every single SD card I plugged into my laptop was slow, even the cat 10 ones.

Could be that the interfacing chip in the computer is low-end and bottlenecks them. That has been my experience with some ThinkPads.
You haven't needed a full FB account to use Messenger for over a year now [0].

[0]: http://lifehacker.com/you-can-now-use-facebook-messenger-wit...
"Now.. Install windows 10 or die, cancer"
Site is down.

http://webcache.googleusercontent.com/search?q=cache:fossbos...

The article looks dangerously uninformed, from a brief skim.

It's based on https://www.reddit.com/r/linux/comments/53ri0m/warning_micro...

I can't find any info on what SSD the Lenovo Yoga uses but if it's anything like the NVMe drive in my Dell XPS, it's just the way the card is set up.

Depending on which kernel your installer is using it won't see the NVMe drive as it simply has no drivers for it.
Google Talk is deprecated, do you really expect them to enable new features?
I'm back from that paranoia period, my conclusions:

- In real life you have no privacy, but still you don't think about it (white pages, community hall inscriptions, driving license, medical history, ...), apart of white pages try to unsubscribe from any of them and see what happens. Internet made it just easier to track you.

- your safety is based on 2 things your habits and the peers that know you and are willing to lend a hand (family, neighbors, friends ...)

- what makes me feel secure about Google tools, is his business model, if they have a breach and expose people's data, they simply bankrupt, so their business relays heavily in security. (as soon as you enable 2 time factor, it becomes incredible difficult to hack you)

- what I don't like of them, they are in EEUU soil and I'm European, so I don't know if I could eventually get into trouble (like is happening in Facebook, they simply don't listen to European cases about cyberbulling, something I didn't read yet from Google, maybe because they are not so popular, maybe because they are truly Not Evil).

- so yes, I'm a product, and it also unlocks me to easily backup and access my family photos, that I can share via chromecast, or get my mails free from non nice spam and eventually find nice new products and know that I can click without exposing myself too much.

- I do have kids, and what comforts me, I can delegate to Google the block of certain images/sites thanks to their advance AI, still is not perfect so by the time they start, I'll also keep an eye. It is different to explain something bad that he just accidentally found, that place them out of his way until he has the age to understand it.

- and don't get started with the zero days exploits, the wrong architecture of some open source apps, and even the abandonware you have out there for free.

At the end, you need to trade something because one person alone can't get everything, and trust between peers is essential. And money made that trust easy, don't trust people, trust that they want the money :)
Abstract algebra is certainly abstract, but it is far from "metaphysical bullshit". Abstract algebra is just the precise articulation of patterns that we see across different mathematical formalisms.

Now, the fact that it is so abstract does mean that your average programmer won't use it on a day to day basis. I'm certainly not going to argue that it is the most important math to understand. However, we are finding that there is uses for it. Not just in a "oh look, I can describe my code using abstract algebra, nifty" sort of way, but in a "knowing this was essential to finding the correct solution" sort of way.

For instance, the folks working on .NET's LINQ knew they were implementing monadic comprehensions; they just had the good taste to not use the word "monad".

Furthermore, it seems that having an understanding of abstract algebra is essential to making a distributed real-time analytics engine[0]
[0]https://www.infoq.com/presentations/abstract-algebra-analyti...
I've been doing Stronglifts 5x5 for the last couple of weeks. You do 3 sessions of 30 minute duration a week.
Why would someone use Allo - giving everyone the awkward feeling that my responses are computer-written?
One thing to help with sleep that is https://freedom.to/, which you can use to make a list of websites to hard-block and then schedule them to be blocked either

1) now through 8hours from now

2) every SMTWRarsday from 11:30pm-8:30am
Why go through all this for a simple flask app (or even a more complicated one)? What do you gain over just using Elastic Beanstalk (which handles the monitoring/autoscaling etc.)
From Google's experience with SSDs: High-end SLC drives are no more reliable that MLC drives.

Source: http://www.zdnet.com/article/ssd-reliability-in-the-real-wor...
Yep, I later read the technique used by the OP, and is quite different compared to programs similar to this one, including mine, where a fixed set of shapes is evolved in order to find an optimal arrangement. This is a complex optimization problem that takes a lot of time. In the OP implementation old shapes are never re-arranged, just new ones are added in order to decrease the error. While the visual effect is still very interesting, you need more shapes this way to approximate the same level of details, and is in some way less interesting IMHO, at least conceptually, compared to "arrange N items to get the best result" which looks like a quasi-human task.
Decentralized news source: Journalism trust system
Well someone should tell my Psychiatrist that as it's the dose she started me at (actually 2x 30mg, once in the morning and once in the afternoon). The side effects were quite severe so I only took that dose once.
Yeah, what the hell? That wont even compile. Is this thing even real? Why wouldn't the just use the actual output of their tool?
Ask HN: Will the future have several more programmers or a few excellent ones?
Hey guys.

Just curious about this. Currently there seems to be an increasing trend in the number of people who are becoming programmers. But there also seems to be an increasing trend in auto-programming software and apps coming out. Now as machine learning becomes more and more effective, these programmes may be heavily driven by AI.

That said, it's interesting to think which trend will evolve over the other. What do you guys think? Will there be more programmers in the future or will there be very few, excellent programmers and building things would not require any programming knowledge at all?

Thanks.
Introducing Review Roulette
Awesome! Thanks for sharing this. Feature request: combine modes(e.g. triangle+rect).
The Mac client for Hangouts got a big upgrade. It's not really native, but more like Slack (Electron).
A 30min jog in the morning is also a huge boost to your day.
Have a look at Why3 for example or Coq. That's exactly what formal verification systems do: 1. Formally prove intention. 2. Generate code.
Big (if not major) part of humanity are used to some kind of drugs too (alcohol, tobacco, sugar, coffee etc.), but we don't say there's something more to it. Religion is a drug for one's mind to make feel better and ease existential pain/uncertainty.
Such as? I bet LSYS is much more knowledgeable and skilled than I am at providing services to the homeless.
There's a book I can recommend: Devops 2.0 Toolkit.
This was so predictable. And of course, the FSF called it: https://www.fsf.org/campaigns/secure-boot-vs-restricted-boot
No, it doesn't.

Google tore down the federation on purpose, with a configuration change. Rumour has it that it was a spam response.

There's an interesting similar spam campaign going on right now in email, BTW. https://wordtothewise.com/2016/09/ongoing-subscription-form-...
Php-shorthand – Calculate unique shorthands for a given set of strings
Although good, hasn't this just shifted the burden up a level?

With formal methods, we can get proven-ish correct implementation, now we need bug-free specifications.... this in itself will be the next challenge.

In the real world, specifications are very incomplete and fuzzy, partly because the business-level specifications are also fuzzy.

This will not be a panacea, its simply shifted the burden up to a (possibly more manageable) level.
Maybe "the masses" can code without struts.
You might regard unit tests and formal proof to be opposite ends of the same scale with model driven testing being somewhere in between.

One may be well advised to pick according to what you need. Formally proving the behaviour of your whole web app would likely take you an order of magnitude longer to write.
Who validates that that statement is indeed true, we in our naivety should just plain believe it?
Has anyone actually confirmed this is anything but missing drivers in 3.2.x kernel versions?
I dunno, this looks like a smoking gun:
http://i1.wp.com/fossboss.com/wp-content/uploads/2016/09/B7g...
What's wrong with forever donating? If the government is going to cut funding for services then there's really no other choice. To be sure, tax-funded services are forever-donating, too (unless we get another Ronald Reagan ghoul).

Are you talking about eradicating homelessness completely? I'm not sure that will ever happen, which is why public services are so important.
On some recent Lenovo laptops.

I have a recent X260 running Fedora 24 and I'm very happy with it, and with Fedoras support. I use both smartcard and 4G data module with it. Only thing I don't use is the fingerprint reader.

Only sad bit is that I had to disable SecureBoot to run VirtualBox. I would have happily signed the VirtualBox kernel modules if it wasn't for Lenovo missing a small detail in the implementation of the UEFI spec that enables users to write their own MOK.
I've used it several times but the big problem with it is that once you have a nice, correct model that has been checked (and no counterexamples found), there's no way to translate it to code. This meand that your basically back on square one in terms of implementation.

I really like (and use quite often) the ASM method instead.

More of my thoughts here: http://ortask.com/how-i-designed-built-and-tested-a-temperat...
If i remember reading right, if you have a healthy diet and exercise noops don't help or aren't as useful as just being healthy.
Now you know how many teams Google has working on messengers.
Am I too old school to miss Google Talk even today?
Are you familiar with Alan Kay's Viewpoints research on KSWorld and OMeta?

What do you think about Qubes on a Skylake Skull Canyon NUC (small desktop with Iris Pro and Thunderbolt) as a desktop research platform? Qubes/Xen would allow existing Linux/Windows to run in parallel with an experimental OS. There is a cross-OS compositing graphics stack (like VMware Workstation Unity) in Qubes that tries to balance security with usability - could be extended.

Qubes also has hardware-rooted measured launch ("anti evil maid") to verify the integrity of the TCB, with keys under user/owner control. As systems get more complex, we need boot-and-runtime integrity measurement to ensure components have not been unexpectedly modified.

An interesting area of research is "data sovereignty" as a counterpoint to "surveillance capitalism". We need a modern storage API that shares the data portability goals of the EA/Amiga Interchange File Format, http://www.martinreddy.net/gfx/2d/IFF.txt & http://www.fileformat.info/format/iff/egff.htm.

As new data rendering capabilities are added to the OS, apps get support for free, as IFF delivered on the Amiga. In exchange, apps cannot lock user data into proprietary formats. This data interoperability then enables multi-app data analytics and UX compositing, with OS enforcement of user ownership and policy, rather than vendor or cloud policy.

Since app/service vendors are impermanent, standardize data interchange APIs with OSS implementations, ensuring the survival of user data. Combine this with KSWorld/Rebol ideas about DSLs for OS-enforced user extension of apps (think Excel declarative programming), and "apps" become data pipeline components, instead of fixed-function GUIs where users have to plead for changes.
Reminds me of the, uh, “mistrilogiation” that happened with the Hitchhiker’s Guide to the Galaxy:

> The novels are described as “a trilogy in five parts” […] The US edition of the fifth book was originally released with the legend “The fifth book in the increasingly inaccurately named Hitchhiker’s Trilogy” on the cover. […] the blurb on the fifth book describes it as “the book that gives a whole new meaning to the word ‘trilogy’”.

https://en.wikipedia.org/wiki/The_Hitchhiker%27s_Guide_to_th...
Indeed, one has to be careful with the term "magical thinking". Using it can easily deteriorate to name-calling, and I'd say that the author fails because of that.

I'm not a big fan of the prevailing belief in monetary policy as the go-to policy tool, but monetary policy itself isn't magical thinking at the same level as rubbing crocodile teeth to a banana tree. Unlike the true magic thinking of millenias past, there is an underlying transmission mechanism to monetary policy: raising interest rates can reduce the rate of investment in some sectors (probably mostly housing), and conversely, decreasing interest rates can increase the rate of investment.

This transmission mechanism may not always work. For example, when people have too much debt to begin with, decreasing interest rates isn't going to have a great effect. For another, changing interest rates is a very blunt tool without the possibility for fine-tuning (which means that relying on only monetary policy is a bad idea, see also the Eurozone).

Similarly, fiscal policy is far from magical thinking as the author wants us to believe. When the government buys things, that has clear and direct real-world effects. It's dishonest to put it at the same level as performing a rain dance.

One can and should criticize policy ideas, of course, but just painting with the broad brush of "magical thinking" isn't helping. It doesn't clarify or enlighten.
Supposedly Intel's NVMe variant of Rapid Storage Technology is currently unsupported on Linux. I find this puzzling because conventional RST doesn't really do anything that matters to the OS other than changing the AHCI controller's id, so Linux "support" is trivial. But conventional RST relies on the PCIe target being on-board and, with NVMe, the target is the SSD itself, so I don't fully understand what the newer NVMe does.

My laptop won't even POST with RST on, so I can't meaningfully experiment.
As much as you would any other company - Apple, for example - unless someone trawls through the source code to verify the claim.
I don't think being able to change the drive to AHCI mode would fix the problem. The BIOS (actually UEFI) "locking" and storage driver are two separate issues. I mean, hell, if someone wants to send me one of these laptops I'll test it and do a full writeup.

Of course Reddit has gone off without anyone actually confirming what the issue is. Microsoft would be smart to come out with a statement on this if it picks up any steam.
Assuming sleep works for everyone the same way is not very scientific. And such drugs help transition between an unhealthy lifestyle and a healthy one without having to give up productivity, focus and whatnot.
Beats me why Altman is steering the yc brand towards this socialism nonsense. First UBI,now this. Just build great companies and reward employees who make significant contributions and you'll have the eutopia you're so eager to create.
Microsoft 2016: lots of open-source, still closed-minded.
Microsoft will ‘solve’ cancer in 10 years by treating it like a computer virus
Just out of curiosity, what's the rationale for MS & Lenovo to do this, why to risk PR? The number of people wanting to install Linux is marginal and they are already "on the wrong side".
It's so predictable that people would run with conspiracy theories that make no sense and link to things that are completely unrelated.

The "issue" that came up today in this article has absolutely nothing to do with SecureBoot.
I work with a typescript project, and the classes of errors that are caught by the TS compiler are not worth the hassle of having to use typescript.
It's almost as if they want you to abandon their stuff even before they do...
No, WebRTC and codecs do support low bitrates. Someone got lazy coding the client.
Automated lamb deboning system.[1] Starts with an X-ray to find the bones. Laser scanners build a 3D image. Robot saws and knives cut at the right places. The system is kind of slow and rather complicated. About two more generations of development are needed.

Automated fruit picking for delicate fruits is still a research project. There are lots of slow demo systems with robot arms. 1 apple per second is the state of the art.

In practice, most fruit is picked using mechanical systems such as a tree-shaker that makes all the fruit fall off.

[1] https://www.youtube.com/watch?v=za2dsB0qrMg
[2] https://www.youtube.com/watch?v=TBcWZcjXr-I
Because the majority of them is just happy using Windows and IDEs, hence why the hardware vendors target them in their tooling.
Is it more of hardware/pc manufacture issue rather than portraying it as "Windows" issue?
Experts found apps in Google Play serving Overseer malware to overseas travelers
Firefox 49 supports background-clip: text, but thanks to these changes, the safest pattern to use to get it working in Firefox is still the -webkit one!

color: #0dd;

background-image: -webkit-linear-gradient(to right, #0cf, #0fc);
-webkit-background-clip: text;
-webkit-text-fill-color: transparent;

https://jsfiddle.net/8kyzg826/
Which is more likely? That Lenovo shipped a crappy BIOS, like plenty of OEMs have done before? Or that Microsoft is engaging in a covert conspiracy to block Linux users via forcing Lenovo to put the HD into Intel RST mode rather than ACHI?

It just doesn't make a bit of sense. If Microsoft wanted to block Linux, they would just require that SecureBoot not be disabled and require disablement of user key enrollment.

Besides, a clean copy of the Windows installation media doesn't boot normally either unless you slip the Intel RST driver into a custom built version of the install media.

This is just another conspiracy that I don't think makes any practical or logical sense.
Yes. The hint is in the screenshot that mentions not being able to use the drive in the Windows 10 installer (WinPE).
> Lenovo for example confirmed that they singed an agreement with Microsoft for this.

If true, it's illegal product tying, and those who signed such "agreement" are violating antitrust law. Someone should sue them until they stop doing this. Lenovo are infamous for refusing to refund Windows tax until brought to court, but this is a new low for them.
Have a look lenovo forums [1] (also linked prominently from original article), where OP has following to say:

I am attempting to install ubuntu 16.04 on my yoga 900.
The bios can see the 512 gb samsung hard drive and so can Windows.

The ubuntu installer can not see it at all.

...and first person to reply adds:

I have the same issue with the 900S model.

I have tried the newest kernel 4.6 but linux doesn't
even list the pci express device in lspci.

So no, positively not the 3.2.x kernel to blame here.

[1] https://forums.lenovo.com/t5/Linux-Discussion/Yoga-900-13ISK...
Even worse is when you loose your phone. I just lost mine (still hoping some nice Berliner turned it into the lost and found) and I guess I've gone and lost all my whatsapp history + contacts there.
For most people, in both cases "incognito" means "porn mode".

Chrome: "Won't save your (porn) history"

Allo: "features like discreet notifications and message expiration" (ie, for sending naked pics)

The transport layer security is great too, but for a lot of people "message expiration" is the key feature.
So they did lie when they said "Microsoft Loves Linux". https://blogs.technet.microsoft.com/windowsserver/2015/05/06...

Meet the new boss, same as the old boss.
This article could certainly use some clarification. I bought a Lenovo Yoga 500 two weeks ago and had no problems whatsoever with installing Ubuntu 16.04 after setting the UEFI to 'legacy' and nuking the complete drive after making a disk image backup for warranty purposes.

Did I dodge a bullet here? It came with Windows 10, but perhaps it wasn't this 'signature edition'.
> Again, too low-level. A programmer working with a high-level language should be able to spawn as many green threads as she wants to, and let the language's runtime system handle multiplexing those green threads over OS threads.

Do this in Go and you'll be surprised how quickly you run out of memory.
Lol ...

And the crowd has a lot more wisdom to offer in the future. For example, we noticed that visits to Buckingham Palace spike around 11:30 and stay a bit longer than at other times of the day. This seemed a little strange to us, but when we looked more closely, it turns out to be the time of the Changing of the Guard. We’re looking now at ways to incorporate this type of timing information into the itinerary selection algorithms.
People can live with a few seconds of latency on GSM. Chat is mostly half-duplex.

It is usually lack of bandwidth or major packet loss that cause trouble.
A random post by a nameless employee in a forum which offers absolutely zero substantiation...? If that's a smoking gun, I know who killed JFK...
TL;DR; "We had to react very quickly to Apple updated iMessage so instead of updating one of our existing clients we rolled out this new App which is a carbon copy of iMessage*"

PS: Oh and yeah we have made this useless encryption as an opt-in per session variable instead of standard...
How do you rip it out if half of the HTML code is written only to suit Bootstrap?
And they can just switch to Dell and buy an external Lenovo keyboard.
I doubt that. It's more likely that Best Buy's "Lenovo Product Expert" misunderstood the review and referred to the agreement to not install any software on Signature Edition devices.

I have no serious position on whether Microsoft is currently enforcing secret deals to sabotage Linux, but I'm sure the employee assigned to respond to product reviews would not be given such inside information.
Support reps often have no idea what they're talking about.
semantic-ui has some nice components and their look and feel is nice, but it breaks in a lot of ways when you try to create something yourself. This is the big benefit of BootStrap; it's robust and lets you fiddle.

It's not a big knock on semantic-ui's part; there aren't a lot of products that don't break within an hour or so after I start using them, it is however, a big plus to bootstrap that it rarely does break when I try something.