skysight-inc/HackerNews huggingface dataset:
> Autocorrection in general is bad

My emphasis. I dispute this. I use Vim and I have set it up to automatically correct common spelling mistakes I make. It's quite useful and I can see no downside to it.
>it seems to work fine in the real world

I thought the whole premise of this conversation was that this is a total fabrication?
Specifically, trust that other people will accept it as a store of value.

You can think of cryptocurrency as an IOU for "an equivalent amount in my home currency".
I think in a few years though people will stop referring to the currency in bitcoins and refer more to Satoshi's. A Satoshi could still be a spendable unit. Although with the fixed supply it could still be too expensive to spend.

I've also heard about idea that Bitcoin could mearly be like your savings account at your bank. You would then transfer that into another digital currency to buy stuff.
And that reservoir can emit very significant biogenic methane. Large reservoirs for pumped storage are likely not a scalable option for climate change.
Off beat tip:

Also if you want to convert any existing website to light weight you can use https://googleweblight.com/?lite_url=<News Article URL>
It is mind-boggling how anyone can claim tracking equipment with computers all the time is a cost efficient and robust mechanism to ensure sterilization. Where these simple things go wrong complexity is never the answer. Why nobody challenged these assertions is a mystery to me.
I suspect Eugene Fama would say it is priced exactly right.
But who are you trusting?
Standuply: Run asynchronous stand-up meetings and track team performance in Slack
This is what many people are missing in their understanding of formal verification. Things that reduce bugs are not proofs, but a different thought process that sort of double checks everything from a different perspective.
I don't doubt that venture backed startups distort the market but I also can't recall anyone on H.N. complaining about it. At the end of the day, regulations aren't supposed to protect incumbents business models, they are supposed to protect the consumer.

As for the newspaper business, I think Craigslist is the culprit there. Traditionally, newspapers sold ads to pay for their journalists, etc. Craigslist destroyed that model. (And Craig did it on shoestring budget.)
The difference is that you can actually buy things with USD.
The VA complaining that tags are too big for small things and HP complaining about the wifi tells you the level of intelligence going around here on both sides.
Having more unique names would bring its own set of problems. Structured names are deliberately similar to convey specific information without having to memorise unconnected names (e.g. if it's *-pam, it's probably a benzodiazepine).
I do wonder how that's going to pan out. Are they going to block reddit, imgur, 4chan, and tumblr?
Sure, HN is exceptionally SV-skewed. .NET is the bread and butter of most small and middle businesses around the world, as it's Java and Oracle for upper-middle and enterprise.
If you’re comfortable with a soldering iron, there is a pretty easy fix for the GPU. I fixed mine earlier this year and it has been rock solid since.

https://youtu.be/DzcgT_fiVTA
Decision theory: Preference construction
Perhaps but such changes, if they occur at all, would likely be gradual and so shifts in the structure of academia would cushion the fall.

In any case, if we can't expect and even demand high-quality research from professional scientists, I fear we are doomed as a species.
I, for one, appreciate going back to the HTML4 roots I grew up with, when the web was much more simple and fast, and could easily be navigated with the Lynx browser and your arrow keys.

Links should be blue and underlined.
Confirmed by whom? Which source? I went to the entry about "Robert Anton Wilson" and I didn't see any quotes to references that he is linked to the CIA. It is also not mentioned on his Wikipedia page AFAICT.

That R. Gordon Wasson was part of the US government doesn't surprise me. That fellow thoroughly grilled John Marco Allegro with all kind of fallacies which are thoroughly debunked in Irvin's "The Holy Mushroom".
Maybe in part, but hitting the wrong key on a mobile device is just a mistake, not a "failure of education".
An alternate digital currency would have to be more convenient than Bitcoin for transactions -- enough to make up for the transaction costs of transferring Bitcoins in first place.

But that does nothing to address concerns of hoarding. Either people come up with a way to have inflation in Bitcoin, or it's going to be hoarded. This is Gresham's law, and can't be appealed.
> Life doesn't proceed by proof.

Please distinguish proof and evidence.

> Not all that counts can be counted.

How do you know that?

> However, he claims we naturally do so all the time, our moral and political ideas being obvious examples.

Yeah, and so incredibly successful, too, how people believe that black people are inferior or homosexuality is an abomination, without any interest in objective evidence.

> When you believe that your mother loves you or in the sincerity of your best friend, you have no conclusively objective evidence.

Yeah, it's absolutely impossible to know whether your mother or your best friend is objectively treating you well or terribly, so what can you do? You just have to assume that they love you!

> In addition, you will never be able to secure such evidence.

WTF? Next you tell me it's absolutely impossible to know whether animals are aggressive and you will never be able to secure evidence?

> Yet it often seems unreasonable to refuse to commit to believing such matters; if we did so, the pragmatic consequences would be a more impoverished social life.

WTF?! Yeah, believing and acting as if someone loves you without any evidence is so socially enriching there is even a term for it: It's called stalking.
OnePlus 6 reportedly launching in March 2018 – Viral Docks
I can buy USDs with my bitcoin. Lots of them.
Yes, and students from those schools are super confused when they want to write anything for real use. Schools teach a lot of things in a wrong way.
.NET core seems to install and work fine on Fedora 27 using:

https://www.microsoft.com/net/learn/get-started/linuxfedora

There were issues with Fedora 25 which is what I was previously running, but that resolved itself after I dnf upgraded to 27.

Or am I missing something here?
It's not quite that medicine is more complex, it's that Medicine is practical and accepts not understanding the details. If drug X works then that's enough we will use it even if we don't understand exactly why it works.

The downside is we end up building simplified models well Y is correlated with bad things so we should treat Y as a bad thing. Often this actually works really well, but also opens the floodgates for all sorts of issues.

That's not to say a less practical approach that simply looked for the details would be more effective. But, it would look very different.
i agree.
When I was younger, I'd be able to play intense video games and fall asleep right after.

Now, the older I get, the more I need to force myself to relax 1-2 hours before bed -- meditation, massage, quiet reading, chill music, whatever it takes -- just to be able to fall asleep.

It's a big bummer, really. It's so easy to want to code into the night -- to make that final commit at 12:30 am and then hop into bed satisfied with real progress on a project. But the reality is, I'll be wide awake until 2:30 am thinking "oh if I refactor it that way!" "what if I did that as a next step" "did I account for that edge case? can't remember...".

So now I force myself to stop at 10, to give myself 2 hours to let all the thoughts fade away (and often put them in a notebook as they pop up during those 2 hours so I can let go of them), but it's frustrating.
How did the pharmacist have access to the information - symptoms, test results, medical history - they needed to make the right choice?
Transferring to another currency to spend your money seems awfully inconvenient. You have transaction costs, time delays, and have to worry about exchange rates. How is that better than the current system?
Demystifying container runtimes
Curiously, the “relay” mentioned in ARRL, is a form of a DTN. They were doing this a hundred years ago, just manually!
I don't use those.
Why isn’t some abulance chaser on it already?

Seriously, proving loss due to something like this should be not too difficult. There is money to be made here - with the ancillary end result being Apple loses, what little position it has, in the point-of-care market.
One infrequently discussed but very real issue with pumped storage is biogenic methane. In some cases, reservoirs can make more greenhouse gas per kWh than coal(!). Earlier we thought this was just bad in tropics but more recent studies indicate it may be most strongly correlated simply to reservoir size. If these are even moderately accurate, pumped storage for significant energy storage is not an option for a carbon-free system.

[1] http://pubs.acs.org/doi/abs/10.1021/es401820p

[2] http://journals.plos.org/plosone/article?id=10.1371/journal....
I’m looking forward to when tech is about creating neat new things again and not pure zero sum gambling/speculation.
Basically this, but they also push things like Application Insights, which is heavily tied to Azure.

The VS Code editor is also embedded in the Azure web portal. So by getting people using Code they may find it easier to up-sell to Azure. In fact, Code started life as the Monaco editor in Azure and was spun out into a separate product.
GNU seq uses this trick:

slow path:

seq -f '%.1f' inf | pv > /dev/null
...[ 12MiB/s]

fast path:

seq inf | pv > /dev/null
...[ 491MiB/s]
Is meant to, yes, but it doesn’t, because it isn’t possible to capture pricing differences in a single number. In general, cheap to transport durable goods (such as electronics) move easily between countries and, hence, are priced similarly (barring taxes and import tariffs).

Less cheap to transport (e.g. bricks) or less durable (e.g. fruit) goods move less easily, and labor moves least easily.

Consequently, it is way cheaper in poorer countries to have personnel, to pay people for repairing stuff, etc.
Sure, the more expensive series: Quadro and especially Tesla.

NVidia realized that their consumer products are good enough for many people in Deep Learning, and they like that not one bit.
Well, the Department of the Interior runs Indian Health Service with similar results and has been thrown off the internet because of incompetence, it’s not exactly surprising seeing a cabinet level department being this dysfunctional.

I still wonder why the VA isn’t part of DoD?
All of my formal verification experience comes from using it in hardware, so the following comment may not apply so well to software where I have no experience of formal methods (beyond learning about it at university).

I think the mistake the author is making here is seeing formal verification as an all or nothing affair. Either you formally prove your program to be correct or it's useless. I would agree with them that doing this is a huge amount of effort and potentially just not feasible for real systems.

However there's a huge amount of value in formal verification as an extra tool to assist you in your verification efforts. By combining traditional verification techniques (normal testing in software terms) with formal methods you have a whole new way to find bugs, one which works rather differently and hence tends to find different bugs. You may not get anywhere near confidence you've formally proved everything (for one I find the more interesting properties just never get proven, but leaving the tool to run for a while often throws up bugs that are tricky to find via other means) but it does accelerate your verification efforts.

It's also a useful tool for exploring certain scenarios you as the designer (or programmer) may be worried about. You can overconstrain it to just look at certain behaviour and you can ask it to show you some specific execution that hits a particular property. Maybe there's some code path that's very hard to stimulate for whatever reason and you want to check out it's functionality. You can get the formal tool to hit it and then see what it does.
Agreed. I am using opera at the moment with javascript turned off by default. But there are some sites I want to use that are simply non-functional without javascript enabled. I add those sites to a list of exceptions. However, as a result of having javascript off by default, I will sometimes find a site that I cannot view and it makes me ask the question -- do I really want to see this content? is this a site that I want to add to my list of exceptions? I find it useful to ask those questions and step back from browsing to reflecting on whether that is the best use of my time right then. ymmv.
Why You Need to Write Assumption-Less Proposals
Regex Parser in C with Continuation Passing and O(1) Stack
I raise your hypothetical destruction three persons who engaged in all out Warfare, either against ones own nation or against one another, with thorough destruction and civilizational decline.

[0]https://en.wikipedia.org/wiki/Adolf_Hitler

[1]https://en.wikipedia.org/wiki/Joseph_Stalin

[2]https://en.wikipedia.org/wiki/Mao_Zedong

My assumption is that those scientists working on the bomb, where perfectly aware of what humanity was capable of (even with democracy and hightech) and decided to raise us this rockets as a monumental finger of "Never again or never ever after!". Way to go to tame a beast, who thinks you are a useful plaything. Well played Mr.Oppenheimer.

Rage all you want upon this monument of reason, erected against the intellectual treason you commit against the humanity that is- not the humanity you wish for.

The inferno of the first WorldWar, the Inferno of the second WorldWar, the various Colonial Wars and all the useless carnage before - these all started with a humanity capable of deducing deterrence, but true deterrence appeared first in presidential discussions after the existence of ICBMs.
Sometimes such regulations are for health or safety. I agree with those. Other times they are simply barriers to entry established by the current players. I don't agree with those.

I do think companies like ride-sharing and home sharing should have regulations that are health and safety related.
What Socrates Taught Me About Uncovering Client Pain Points
Keep in mind that you need to know the duration of transactions as well as the volume. Eg, the time between an employee getting paid and the employee paying rent, or a construction project being funded and the materials purchased.

If $1 trillion worth of transactions happen per year and each transaction lasts a month you need around $100 billion in currency. Ten years between transactions and you need $10 trillion. If there is less than a day between money being received and spent you need maybe $3 billion worth of currency to support a transaction volume of $1 trillion per year.
Same issue here! Mid 2012 slowing down drastically since High Sierra. It's a common issue apparently! [1]
I'm guessing it's a bug/feature in the WindowServer [2].

[1] https://www.youtube.com/watch?v=nBCPtcfL_Fs
[2] http://www.openradar.me/35122177
The ability to buy something does not equate to value of a currency.

This is a pretty bad example but if I write a check to you for $10 I have given you a $10 note. It's backed by my promise to you that I have the money. You cannot buy anything directly with the check. It's made out to your name. All you can do with that currency is trade it into a bank for another currency we all use.

Another example may be gold. If I have you a gold bullion I hardly think you'd have an easy time spending it at a store (unless you're in Dubai). This doesn't mean gold doesn't have inherent value and it also doesn't mean gold is not a currency.
Twitter Sentiment Analysis using variety of machine (and deep) learning methods
When/if Bitcoin becomes accepted everywhere and all bitcoins have been mined, but we keep producing new stuff we can buy, the value of a single bitcoin approaches infinity.

That’s why I don’t like them.
No, he is not wrong. There are many fields where p-values are irrelevant.

For instance, in the fields of electrical engineering and computer science, you can "prove" your results by either building/fabricating a prototype or writing a piece of software.
Extremely. For instance, in Washington state, the BPA just had a 10-day wind lull. The 4 GWe of capacity was at a standstill. It would have taken batteries covering an American football field (with end-zones) 100 stories tall and costing $90B to fill that gap [1]. The mining and carbon footprint of that energy storage system would be very non-trivial. Pumped hydro storage is no good either due to biogenic methane in the reservoir.

[1] https://partofthething.com/thoughts/a-medium-length-primer-o...
Trust? This word depends on context. Do you trust your spouse? Do your trust your waiter? Do you trust the news? Do you trust that the sun will come up?

I will grant that both Bitcoin and dollars depend on trust. But both are grounded as well. Bitcoin to physical computing devices and dollars to real estate.

That is, Bitcoin is as real as all of the SHA-256 calculations per second across the network and dollars are as real as the mortgages per square mile across the nation.
They aren't brand names (e.g. if you wanted the brand name for duloxetine, you'd probably want "Cymbalta"), they are the actual name of the drug. Further, the Twitter link specifically mentions MacBooks, not phones.

"Correcting" a correct word to a different one can _solely_ be blamed on Apple - the user might not even know that the OS does autocorrections, so can hardly be blamed for the system silently changing something they typed correctly (at most you can say they should proof-read the statement). It's an understandable issue, but an issue nonetheless. Especially on desktop, it seems like an easy problem to avoid - just prompt the user that there may be a mistake rather than changing it without their knowledge.
I love this thing that Ruby publishes a new release on Christmas. I usually don't like Christmas, but this is an appreciated present.
Gas station TV is somehow worse. You're forced to stand in that spot so they blast that spot with ads, entertainment "news", and other garbage that I didn't ask for and usually with no easy way mute or decline (do pumps usually have a mute button that I'm just not seeing?)

I'm just here for the dinosaur juice yall
"I think cryptocurrency ought to be cheap, so people don't hoard it."

More importantly it needs inflation. I just don't see how a currency with builtin deflation can ever be used for anything but a value store. I still don't get why this isn't more widely discussed. Am I missing something?
If your economy isn’t growing then why would anyone want the resources you have “saved”.
The 7 camera is significantly better than the 6 and almost worth the upgrade. But no headphone jack and no physical home button made be regret ever upgrading—I had damaged my 6 beyond repair. :( After my experience with the 7, I'm less enthused about replacing a damaged phone with the latest version.
There is actually a pretty strong case to made to say nuclear is renewable [1]. Basically, there's enough uranium dissolved in seawater that is replenished through runoff and plate tectonics faster than we could ever burn it as a civilization for billions of years. Methods for extracting it economically are very close. See this entire journal issue about the technology [2].

[1] https://en.wikipedia.org/wiki/Nuclear_power_proposed_as_rene...

[2] http://pubs.acs.org/toc/iecred/55/15
I would assume there are medical regulations that x-ray images, for example, can't be stored as blocky JPEG's.

It seems like there should also be a medical regulation that input devices used in a medical setting should have autocorrect turned off. It's useful for e-mailing your mother, but obviously not in medicine.

There are all sorts of regulations licensed medical practices need to follow, or which medical devices have to follow, which the rest of us don't have to. (Similar to aviation, for example.) Sounds like this is a good candidate for another, no?
> Also, can I develop and use C# applications on Linux without feeling like a second-class citizen?

I don't have much experience with C# development and basically none with .NET, but so far my experience has been a clear No.

The elephant in the room is the IDE. Visual Studio is the C# IDE and doesn't exist on Linux. There's MonoDevelop, which is now also owned by Microsoft and seems to share some components with Visual Studio, but it's still not nearly as powerful of an IDE. It feels more like a clunky text editor with a button that will make your program run.

Next thing is that I don't think, you can really develop GUIs on Linux. There seems to be some integration with GTK in MonoDevelop, but I sort of doubt that this works well, and my experience in Visual Studio has been that you practically cannot develop GUIs in C# without using Visual Studio, as so much of the design process is directly integrated into that. Also, developing a GUI application on Linux that will run on Windows, I don't think is possible at all, though I haven't spent much time researching that.

Last point that I have is sort of just a dumb bug, but it felt the most like I'm a second-class citizen. MonoDevelop does not currently support executing console applications on an external console on Linux when you install it via Flatpak (which is their primary distribution method).

But that by itself is not even the problem, it works fine with the internal console and I can live with that. The problem is that there's a checkbox to enable running on an external console and that checkbox is enabled by default. You cannot run console applications on MonoDevelop out of the box, solely because of this.

And console applications seem to be the main-thing that MonoDevelop is good for, so you'd think they would test that and ensure that it works, but apparently not. And really, just disabling this checkbox by default would fix the issue.

What makes this issue worse:

1. The error message is entirely cryptic, it says "Debugger operation failed - Cannot start process because a file name has not been provided.". Thankfully, the internet coughs something up quickly when you copy-paste that into a search engine, but at least I personally first thought I had forgot to give it a file name somewhere and tried to find that.

2. This isn't just one flag in the global settings that you have to flip once and you're done. Instead it's a per project setting, so you have to flip it every time that you start a new project and it's not particularly easy to find either.

3. This has been a known issue for a while (or at least, I hope that they know about it).
France, Germany, Canada, US, Australia... many or all of the most advanced western nations have positive avg gdp around 1.5 to 2% and positive population growth as well. These are not the primary factors behind failing pension systems. In nearly all cases it ends up that those in charge dont make the required payments. In my home state that is the issue: had the mandated payments been made there would be no crisis. The state broke its own contract and dissobeyed a court order to fund unrelated discretionary spending. The major private pension failures have been similarly aflicted, executive flee a bankrupt company with agregate golden parachutes measured in hundreds of millions but the pension fund was ignored with underpayments for decades.

Our retirement systems are broken, and part of it stems from their own excessive costs, but there is no sinhle cause here, its a complex issue with complex causes, and shifting demographics and economic growth are only very minor factors. Bad policy, cynical politics and budget shenanigans, self interested executives, and simple incompetence and hobest mistakes all play the bigger part.