skysight-inc/HackerNews huggingface dataset:
I'm not sure now, but 10 years ago I was really feeling the impact of compilation in eclipse.
On a big project that I was working on it was taking about 20 minutes for a full build and I had to disable the background compilation because it always messed up stuff and my code would be out of synch.
I think that in general Java compilation feels a bit faster, but for sure you can't say that you don't feel it at all in big projects.
This benchmark, lut and divide&conquer lut, seems to be really slow compared to paul's new itoa.
His biggest trick is to preallocate the target buffer size, and to avoid all this heavy branching.
Have a look at StrongTalk.
France imports in hot/dry summers when the rivers are overheating from cooling the nuclear powerplants. France imports in cold winters when their nuclear reactors are not sufficient to power the electrical heating for the homes...
QA testing on various levels, and real-world usage without incident?

This is what most software does and it seems to work fine in the real world, in most cases at least.
Gaming. Though that's usually not done at 100% brightness. IIRC my mbp with geforce 750 came with a 90W adapter, but that would also not be enough when running the 45W CPU and the 35-40W GPU at max with ram and screen power usage.
These "company managed" pension schemes have always fascinated me and would seem ripe for corruption / raiding by the company if they're short a few $$$.

Seems like in Australia we're in a pretty good position with "superannuation" https://en.wikipedia.org/wiki/Superannuation_in_Australia being compulsory since 1992 and is typically managed by completely unrelated parties to your employer.

The payments are generally made directly by your employer into the fund of your own choosing.

The biggest thing is once you've had this contributed to YOUR account, it is YOURS (drawable from age 65) and doesn't matter what happens to the fortunes of your employer(s) in the future.
Toilet paper. You'll still cut down your consumption (60% on average from my personal numbers) and you'll need it for visitors who are not into 'that bidet thing'
> The problem with that approach is it will only appeal to power-users. "Normal" people just don't care.

They do care. They just don't know better, and even for us power users content wins over the container. But everybody is complaining about slow websites that don't ever load, and this is leading more and more to the flocking away from the web to the apps. IDK if this is a good thing or not, but sometimes I think that if web became again a web of documents and applications again applications (albeit castrated tbh), that's at least better than what we have ATM.
I get your point but it still exists and "didn't" would imply that they have removed the feature.
The thing about first world problems is that, while they're not life threatening, they're real problems.
> I had the idea of a journal for research failures/dead-ends.

The problem is the following: If you seriously want to fix science you don't need one such journal. It would have to be the norm.

It's simply not plausible that the majority of empirical research leads to positive effects. Even if you publish a few negative results (or "failures") - that doesn't even begin to address the problem of publication bias seriously.

As long as the majority of scientific publications are not "failures" we should assume that the majority are false positives due to p-hacking or publication bias.
My MBA12 gets slow when the % charge is low, but I don't know whether they do it based on absolute charge as well.
It’s funny when Java devs mention that C# and .NET is a copy cat. The irony is the other way around , even though Java predates .NET , the same creator was then one that created Delphi which Java pretty much copy pasted not as elegantly. It’s great to see Delphi being around and it’s legacy continue through C# and .NET. The fact that Microsoft open sourced it brought a smile in my face. My Delphi days are over, nowadays I Code in Python, but .NET still feels like home.
My entire life, but especially in graduate school, I've had horrible sleep. Both falling asleep, and staying asleep.

I did multiple sleep studies, used sleeping medications, took supplements, tried to meditate, etc. and had no luck.

I went and did CBT-I, where they had me change my sleep hygeine (all your standard recommendations of "no TV in the bedroom", etc). But the biggest thing was they had me start off by going to bed at 1 am and waking up at 5am every day for a week or two. I'd be so insanely tired, I would start falling asleep quicker and staying asleep less interrupted (this was recorded on a worksheet). Then they had me go to bed an hour earlier, record it. After a while, we found my optimal schedule (bed at 11am, wake up at 630am), and I stick to it no matter what, every single day.

It's solved my sleep issues, full-stop. I get tired by 11 pm, and wake up at 6:30 am feeling just fine.

FWIW, grad school - with no solid schedule - was disastrous on my sleep. Moving to my 9-5 corporate job has made scheduling my sleep a whole lot better.

Just my experience.
I don't see the benefit of not enforcing immigration laws on illegal immigrants or offering lottery based diversity visas.

Most people agree that skilled immigrants are good for the economy, so make that process more streamlined and based on merit. If there is a need for low skilled seasonal workers, reduce the cost of getting those visas. But allowing unfettered illegal immigration and creating a large number of second class citizens seems unreasonable.
Robert Kraft was in the headlines (e.g. atop CNN.com) for two days when that happened.

How may CEOs get that sort of public attention and have it be FAVORABLE? It was an enormous PR win for him.

And then the ass had to go support his buddy Donald Trump ... :(
It seems to me that the arguments here are fair, but maybe the conclusion isn't.

But the guarantees that we expect are much stronger than a correct protocol, handshake, or compiler optimization. We need the entire system to be reliable, and we need proof effort to be minimal for widespread adoption to be feasible.

Ideally, yes, of course that is true. But even if it is not currently true, having some aspects of a system formally proven still means we can focus our limited resources on the other aspects and the integration, and that's still beneficial.
I live in North Germany and there is lots of wind. The new wind turbines in the North Sea are quite efficient.

In a decade, North Germany will have a surplus of electricity and storage will be more useful. For example a one GW dc powerline will then be operational to Norway for storage - with one or two more possible. Storage in old gas storage systems either as air, windgas or in large batteries will start to be common...
Employees like it if and only if they can control it. Having music forced on you for a 10 hour shift is hellish.
I'm torn on this subject. I truly believe in a social network. But it drives me nuts to see people milking it.

My neighbor in one side of me is in a wheelchair from an injury from an altercation years ago. His previous profession would easily accommodate a wheelchair. But he's an asshole and does not participate in society. So he's on disabiluty.

My neighbor in the other side had a sit down sales job before having a stroke at a young age. Now he has to walk with a cane and says he can't concentrate and is tired. So he can't work. But he's fit enough to go out nearly every night until 3am partying and can concentrate enough to play poker 5 nights a week. He's an asshole too.

Then I see the poor single mom who's busting her butt to make ends meet and going to school but she never gets a paid sick day.

This seems like an allocation disconnect problem in the system to me.
It's interesting to speculate whether Latin supports this style better than other languages like English, or whether it's just a matter of taste.

One difference between these two languages is that classical Latin does not have implicit word order in sentences whereas English is incomprehensible without it. Mentally you have to keep the pieces of a Latin sentence in your head until you reach the end to get the basic meaning. In English you generally know the subject and main verb up front--the rest is details.
An Introduction to Agents and Tasks in Elixir
figured out!
https://github.com/edavis/hnrss
and custom IFTTT applet
I think it was supposed to minimize the number and kind of logic gates that would be required to build function.
Am I weird because this sounds really appealing to me for some reason? Didn't do any wood work since sløjd in school :D
.Net, C# and a version of Visual Studio have always been free since their release 17 years ago...
Needlessly pedantic
Text name by Albert Paul Malvino?
I observed my kids and at age of 5 or 6, they drew super well (I mean, incredibly well for their age). Then they stopped practicing and the apparent talent faded away.

Personally, I decided that I wanted to draw in my early twenties. I may have had some natural talent so I was able to draw complicated things. But even if I consider this natural talent I can assure you that 99% of drawing is practice (which I don't have time to, unfortunately). Just look at the classical masters (Caravage, Rubens, whatever).

Drawing is first and foremost, observing, looking and watching. Watching with the eyes first, and the heart after. I can assure you than when I look at something to draw it, I "feel" that something inside of me. Drawing is an act of communion for me.
https://www.faa.gov/about/office_org/headquarters_offices/as...

Up to 100 Wh / battery, up to 160 Wh with airline approval. All laptops I know of have a 100 Wh battery at most. Macbook pro's used to have that size, but the latest gen has a smaller capacity. You can carry spare batteries, as long as they are for "personal use".
Adrian Colyer's review of "An Empirical Study on the Correctness of Formally Verified Distributed Systems" covered in The Morning Paper

https://blog.acolyer.org/2017/05/29/an-empirical-study-on-th...

Thank me later :)
Electricity from wind is nice, but on the other hand there are mass layoffs in the fossil fuel industry, like siemens and general electric owned plants in germany are shutting down. Whole cities, like Görlitz, are drowning now. The nuclear industry was butchered, too.

All in all, the EEG is causing massive losses to germany and the environment (dont forget the outsourced damage to nature in china inflicted by solar panel production!).

Deutschland has the highest CO2 emissions of all times and the highest cost of electricity of all times now. This is a severe warning to the world! Never use a socialist approach!
Autocorrect gets it data from all iOS/macOS users, so "just" a few million ppl have to correct it back so it changes for everybody :/
Be aware that most "genuine" replacement batteries are counterfeit. I bought a replacement battery for my 2011 MBA too, but it only worked good for a couple of months.
The problem comes when autocorrect is too aggressive and changes things that are already correct. Correcting, say, "inferoor" to "inferior" is useful on devices where mistakes are commonplace. However, these are examples that I've notice my phone "correct" over the last few months, often changing the entire meaning or making it nonsensical:

"if" or "is" to I; "ran" to "Ra"; "nan" to "Na"; "drew" to "are"; "near" to "new"

I've also had a couple of occasions where trying to type a specific letter has resulted in the letter to either side (e.g. "o" or "p" when trying to type "i") and it's taken multiple tries to hit the right letter because the device thinks it knows better and has (presumably) made the touch target so tiny (and I know it's not a hardware/screen issue, because I've seen the keyboard display that you've hit a certain key then input something different)
I think your view is a little biased by your work. Much of biological research still relies on statistical methods. The Higgs boson, most of patho-biology, drug research, are just a few fields/discoveries I know for sure rely heavily on statistical models.
Mono is a reimplementation of .NET Framework. It supports most APIs and modules from the full framework, with one notable exception being WPF, the UI toolkit. They've been integrating code from .NET Core for better compatibility, but ever reaching 100% feature parity with the full framework is rather unlikely.

Mono used to have it's own C# compiler in addition to the runtime, but since the official C# compiler is open source, well-engineered and cross-platform compatible, it now uses the same compiler as other runtimes.

Xamarin is based on mono, and Unity ships Mono as their .NET runtime. Mono supports the most platforms out of all .NET implementations, including all current and previous generation gaming consoles.
This is on a desktop/laptop not a phone. macOS also does autocorrect by default
Formal verification techniques can be very useful, especially for finding deep, often insanely complex bugs.

The process of developing the proof can produce a lot of insight about the system and expose hidden assumptions that were never considered while designing the system.

It is the final proof itself which is the problem. It does not contribute anything except for terminating the debugging process.

Because the specification can be just complex as the system, the proof can only provide a false sense of security. A correctness theatre.
Evil Coding Incantations
Unless you suddenly get more people spending more time in the theater, something depending on other factors than just how good the movies are, it doesn't matter how great the movies are.
Interesting

I'm hoping the formal verification crowd will start to influence ethereum developers. You have small amounts of relatively simple code, that absolutely must be correct or at least predictable, seems like a perfect match
Default auto-correct is industry standard (see Office software). Not that it is right to follow that lead.

I wonder how people would react to an alert box "I've noticed you have terrible spelling. I may be able to help. Do you want me to auto-correct always and assume the small but real risk of me using the wrong word changing the meaning of what you wrote?" (yes | no | cry)
One proposed use is for real estate data registration. You put the individual entries of ownership changes etc. on the blockchain, as prior historical data should be immutable. Then going forward you enter new data as it comes in. When you want ti do a title search, you just go through the changes for that address.
But you won't see many jobs requiring scheme or haskell.
I had a similar problem with late 2012 rMBP starting from El Captain - often after a touchpad click anywhere a rolling ball appeared for a few seconds before allowing to do anything, which was making it unusable. Then logic board died. So it might be a symptom your MBP is moving towards end of life or to "hot oven maintenance" checkpoint.
I am not criticizing the laws. What I have issues with is the fake outrage. It seems so hypocritical to me acting suprised about this situation. For me it is on the same level than breaking the news that rock stars are taking drugs and having sex with girls half their age. Sure, it is illegal and for some morally problematic, but pretending this is a scandal is beyond ridiculous.
export $(cat .env | xargs)
That almost makes it worse. The fact that this level of incompetence nd negligence is coming from a cabinet level department is nauseating.
No, this is attractive but plain wrong. If you look at scientific research in Nature, there are very few papers that don't mention p-values.

Successfully building your biological proof-of-concept is lovely and remarkable but depends on a whole bunch of research done with p-values.
Birds use cigarettes to fumigate nests
'The difficulty is the point': teaching students how to really read
Methodology merchants like “Uncle Bob” have built careers and even companies on that strategy
A correctable error (e.g. a typo, as most will still be understood) is better than an uncorrectable error (e.g. a change to a word that may still made sense in the context). Offering to correct a word, rather than silently doing it, will like lead to correct text, rather than text that _appears_ correct faster - I can very quickly scan for a UI prompt suggesting there is a typo, but I might never notice when a word is silently changed for me.

I've noticed this on Windows Phone - on WP8, the background colour of the suggested word briefly changes on an automatic correction, so it's easy to notice and double-check it's done the right thing. On WP10, it only gets slightly bolded and only until you hit space. I've had multiple emails where I've not noticed a erroneous correction until I'm later re-reading it for whatever reason.
As I deliberately omitted? The next line of the sentence you're quoting is "...which is predominantly based on a racial and class-based culture".

I think you should consider your own position before accusing others of deliberate omission.
They are busy porting millions of lines of code to work on Linux. Cut them a little slack on HTTP2. It's coming I'm sure.
Thanks for taking the time to clarify your points. Although, I still disagree on a few views. Even if OP is 30 there isn't an inherent reason college is too late either at the undergraduate or graduate level. If OP had the funds or made specific life choices they could enroll back into a university and study. Some people aren't married/have kids at that age and can work side jobs or what have you to enroll back in school. Not everyone studied CS in their 20s and are satisfied with the careers they had up until that point. I know of individuals that made career changes in their mid-20s/30s. Most of them went back to school in one form or another. I think for those that did that actually set themselves up for a "career upgrade". I've seen students in class that look much older than everyone else taking undergraduate courses. I don't know their story but they aren't treated any differently by the university and I've even heard from professors they prefer older students over younger ones as their graduate students. Also, I've seen a CS PhD student that is 40+.
Bitcoin is either worth nothing or worth a lot more than it currently is. I think most people agree that its current valuation is very wrong.
Yes, better to do one thing well than two poorly.
> Small, appropriately scoped structs are ok.

Indeed. Structs are specific, self is "the whole shebang". And while (annoyingly) explicit in Python, it is common and OO-practice to pass self to all non-static members, thus defacto the self is mostly there. Writing member methods as static (or class methods, as called in Ruby land), is a great way to make code a bit more "functional".

At some point you simply do not use self anymore and the class is merely a namespace with some unused features.
I recently wrote about working with .NET Core on macOS and Linux [0].

The TLDR is the dotnet install script works great. Use Jetbrains Rider if you want the best experience (though not free). VSCode is just ok.

Overall I've really enjoyed my dive into this world I never thought I'd be a part of (let alone exist).

0: https://doesnotscale.com/developing-with-net-core-on-macos/
In the US predatory pricing only applies to companies who use their market power to earn above-competitive profits. So the earlier actions could only be dealt with by the FTC after they drove competitors out of the market and raised prices.

But another distortion is the regulatory arbitrage angle. Ride sharing companies that don't comply with taxi regulations, Airbnbs that don't have to follow hotel or zoning laws, etc.
The only realistic plan to go to the stars and return within, say, 40 years without using techno-magic is to use lasers [1]. Nukes just cannot do that at all, they are only good for efficient travel within solar system.

[1] - https://www.academia.edu/1884741/Roundtrip_interstellar_trav...
I see. That's actually really neat. I was pretty sure that it didn't select them when I installed it on a machine couple months ago (Germany), but I suppose my memory might be playing tricks on me. Or perhaps the machine didn't have the locale set up properly (not my machine, so idk). I've never noticed this since my machines are usually set to either US or UK locales, but this is very nice for lots of people here...

Thanks for making uBO!
Just PhDs, the undergraduate bit was added by accident. Fixed my comment.
Export leaves things in your environment. The tool only puts them in the subproc's environment.
There is a journal that does exactly that:

http://www.journals.elsevier.com/new-negatives-in-plant-scie...

On a slightly different note, I would love to see a section in journals devoted to publishing the results of duplicated experiments (performed by graduate students and interns, probably).
I rather think that most parents would prefer to spend time with their children over their current desperate need to amass enough wealth to carve out a meagre existence.
Your example isn't laziness. I'm going to write a script (postman, bash, or another language) so that my progress is better documented than my bash history and I can easily come back to the task later when it needs repeating or derivative work. That's efficiency, not laziness. I can get more work done. A lazy person would use their efficiently acquired extra time to browse dank meme pages instead of additional work, but doing your due diligence in implementing basic efficiency in your work flow isn't laziness.
Don't forget plant science!

http://www.journals.elsevier.com/new-negatives-in-plant-scie...
First society will quickly transition to electric transportation. Second, society will start synthesizing the organic feedstock it needs for making plastic products.
Does that mean he no longer agrees with his findings in "The Holy Mushroom: Evidence of Mushrooms in Judeo-Christianity" and "The Pharmacratic Inquisition"? Which later works are you referred to? Because I wouldn't even define him or Andrew Rutajit as necessarily "pro psychedelics" even if you can read between the lines that they used psychedelics that's never a major point in either of these works. Their works are not even remotely some kind of commercial for psychedelics. The documentary "The Pharmacratic Inquisition", of which one can find a LQ version on YouTube, is a complimentary work to the book which has a foreword by Jordan Maxwell (aka Russell Pine, a jehova witness), a fraud from whom Irvin has distanced himself [1].

[1] http://www.esotericonline.net/forum/topics/jordan-maxwell-ma...
The existence of the square root of two (2001)
They could just give the chance to change it while setting the default behavior for better battery management. So the common user would be ok and the power user could decide what to prioritize. The problem is, indeed, the fact this is a no reversible decision atm
Bitcoin is backed by nothing but trust. Just like US dollars.
If businesses are expected to conduct large transactions in Bitcoin, its price has to be high, owing to the fixed supply. Otherwise there will literally wouldn't be enough Bitcoin available to make transactions work.

That said, I think cryptocurrency ought to be cheap, so people don't hoard it. All this speculation hype has been fantastic for awareness, but I hope it dies down so that people can start actually transacting in cryptocurrency.
Watch Dogs 2 and the Fantasy of a World That Cares
Pentagon Watchdog Cites Top U.S. Space Contractors for Quality-Control Lapses
Impeaching Trump: four myths
Victimhood is all about consent. A victim is someone who had their rights violated, which is conventionally understood as having their person or property transgressed without their consent.

Creating a moral framework that gives those who consented to involvement in a third party's life a right to determine how the person and property of that third party is utilized necessarily creates tension with the individual rights of the third party, and conflicts with a moral framework based on both consent and self-ownership.