skysight-inc/HackerNews huggingface dataset:
I've recently used Elm for a real-world internal tool and was looking over the PureScript documentation today to see whether it'd be worth looking at PureScript in the future. I was disillusioned with the boilerplate of writing JSON decoders and encoders in Elm.

I quickly stumbled across this:

https://github.com/slamdata/purescript-halogen/blob/master/G...

This is pretty much the Elm Architecture, except fully understanding every detail there requires the reader to be conversant with some pretty hairy concepts, including free monads and the Free functor. That's not just something that's under the hood. It's built right into the user-facing API, and the user even has to tend to this free construction when writing `eval` functions by manually writing lines like `pure next` or `pure (continue value)`, which occur in the first example.

It seriously concerns me that the user will have to write lines that they couldn't truly understand without understanding free monads, because frankly nobody new to Haskell and PureScript is going to be comfortable with free monads until they've spent some serious time with the language.

I happen to be very well-versed in Haskell so this stuff is not an issue for me -- in fact the use of Free here is not only clever but kind of beautiful -- but I wouldn't really want to onboard someone onto a PureScript project who'd never used Haskell or PureScript before and didn't even know what a functor was. "Why do I have to write this `pure (continue value)` line? What does that mean?" -- "Oh boy... grab a seat and clear your schedule."

Some boilerplate for JSON decoding looks pretty tame in comparison, to be honest.
Judging by Kafka's journal his job was at least as mentally taxing as Bukowski's job at the post office (or at least his recollection of it). And yes, I agree with you, we all have different strengths and weaknesses, people like Bukowski seem to be weak when it comes to keeping a 9-to-5 job while still managing to write something down. I'm sure though that he also had his strengths (his writing doesn't seem bad, even though I'm only judging him by the words written in this letter).

Bukowski also seems to be a bad reader of characters in asking himself why do people choose to keep those 9-to-5 jobs. Answer: they do it in order to pay rent/mortgage and to have money for food and to buy clothes for their kids (if they can afford to have kids).
> why do they owe their drivers anything but incentive to work for them (which seems sufficient, or we wouldn't even be having this conversation int he first place).

History is pretty clear on this point: Without protection, workers are at too great a disadvantage when negotiating with large businesses. Look at working conditions before unions became powerful and laws and regulations were passed - they were brutal and wrong.
Then after a while you get interested in how TV is made, how books are written, how a screenplay is constructed. Or how a surfboard is made, or how to paint.

Then suddenly you have too many things to do. Kites to fly, surfboards to wax, opensource to patch.

Free time is lovely.

Boredom is great. Get bored. Go for a walk. End up running home to set up another AWS project that you just thought of.
I'm honestly curious as to why they don't use browser APIs for WebEx. It seems that they don't offer any feature that plenty of others manage to implement with just plain ol' HTML5.
Many games have these issues. Dev equipment for unreleased devices the need to stay locked away, for large games multiple terabytes of data updated daily.
Why give anything up when they can just live in a parallel world and not have to deal with us plebs?
You still have the freedom to do that though. You can go back and work in a "good old Swedish workplace" if you want. While I don't necessarily agree with the idea that 9 to 5 is slavery (or that there isn't a way to live within your means and save enough to keep quitting on the table as an option), the message of this article is for those of us who do not have the freedom to choose to do something entirely different that may not actually generate income.
See the link listed above:
https://github.com/John-Nagle/pasv/blob/master/src/CPC4/z.li...

I put all the code on Github. The oldest version of each file is exactly what ran in 1986.

The code is delicate. It's a theorem prover, and there's much manipulation of complex data structures, with little explanation of what's going on. The overall theory is documented; this is the original Oppen-Nelson simplifier and there are published papers. But the code has few comments.
There's no reason you can't do both. One does not inhibit the other.
Look, I'm biased because I'm the CTO of Aerospike, but we do give a free and unlimited open source edition, and our enterprise customers save a _TON_ of money compared to Cassandra, because we're not bottlenecked on CPU, and we use less power-hungry DRAM and more NAND Flash. In several recent customers, we save them literally a million dollars a year.

PayPal has a ton of Aerospike in production now, and they're very happy about it.

Thus I can claim we are simply better, and we are doing fundamental systems engineering to make it so. If you're a C and systems engineer who wants to solve real high performance problems and is sick of "just make it scale don't make it efficient", our offices are in Mt View and we're always hiring, drop me a line...
I don't think "desperately force our users to stay in our ecosystem" is a very successful business model.
I'm completely against the rudeness of vaping in the situations you describe, but studies (easy google search with many results) show that second hand vapor is harmless.

I added this link to another comment, but I'll link it here as well.

http://notblowingsmoke.org/
> MD were such a beautiful thing. I still wonder what would have been if Sony decided to drop it as an open storage medium. Considering it was released in 1992 ... could you imagine.

Sony messed it up when they bought a movie and music studio, and started to hobble their own devices. The MD was awesome, worked for 40 hours on one battery, could to digital recording and replaying.

Damn you sony.
Spanish scientists create a 3D bioprinter to print human skin
If you want to help these drivers I think they'd prefer access to an overnight parking lot and a community-center shower for $10 than a sleezy hotel for $100.

If you really came through with the extra pay I think they still sleep in their cars and bank the difference.
False dilemma: you can do both.
How long have you been a web programmer?
Workable politically, practically it's been completely ineffective in reducing healthcare costs.
Net neutrality requires regulation. Otherwise everyone will follow what T-Mobile is doing.
The older I get the more I realize that the absurd theater is depressingly real, and the other stuff is what's absurd. Beckett et al were telling the truth, putting before our eyes all the absurdity that we learn to overlook.
That's a very good point as well. You probably couldn't move enough matter to make a noticeable difference to the Universe as a whole, but it does point to a violation of some kind of equilibrium.

I think it's just easier to assume time travel is impossible.
The choice of wakeword is a setting. You don't have to let it respond to "Computer". (Likewise, if your daughter is named Alexa...)
Defense Contracts (back then). Ironically the Employer at the time didn't really pay that well and I moved over to doing web-dev work that was resulted in my wages doubling over night.
Been 3.5 year for me. I hate it. I hate being isolated. I hate going for days without seeing anyone (they're at work and have families after work). I have done many personal projects but they are not as fulfilling for me as team projects done physically together.

That said I left my last job because it didn't provide those things. No teamwork (project so big none was needed)
https://www.youtube.com/watch?v=PZ4VzhIuKCQ
It is indentured slavery. I hate to say it, but my fellow tech workers are embarrassing us. We need to stand up for these workers. How many people that work at Uber would disagree with this practice but never speak up about it?
I actually don't think vaping is good because it allows the nicotine user to never realise it's possible to get over their addiction instead requiring constant replacement of smoking. This is not needed if they accept fully the difficulty of giving up but realise that every exertion of will power promotes their escape and weakens smokings hold on the user.
I am shocked why this LinkedIn post went viral – My sexist rant
Yes, the part in the photograph, which is right up front, is packed.
Even more dangerous when you consider this paper. [1]

In particular, see point two, "Psychology is less politically diverse than ever". Academic psychology seems to lean Democrat by a ratio of 14:1! Fourteen to one! That kind of bias is ridiculous when you consider the power they have over their patients and the politically-infused repercussions of their diagnosis. Case in point: gun ownership.

[1]: http://heterodoxacademy.org/2015/09/14/bbs-paper-on-lack-of-...
I had this issue with Visa so many times, I've canceled my card and will never use them again.

One out of three purchases was rejected, and I had to call them, wait in line like 10-20 minutes, and have them reactivate it. They kept saying it was "for my own protection", but I kept losing time constantly. This worse especially awful when I tried to catch an offer that ended by the time they fixed the issue.
Hangouts does not ship with the Pixel, you have to download it separately. IIRC it was also not easy to find in the Play Store.

The Pixel pushes you to use Allo which is based on phone numbers and your phone's contact list, not your Google account contacts. If I want to message someone on Hangouts but I only know their email address (which pops up helpfully if I have corresponded with this person in Gmail), no problem. You can't do that in Allo - the people you message are identified by their phone number, not the fact that they have a Google account. In fact, you can't use Allo until you register your own number. So what is Allo? Is it SMS? Hangouts could already handle SMS and Google also released Messenger intending it to be your phone's default SMS client. The only entity you can message in Allo that doesn't need a phone number is Google Assistant, which isn't that great. If Allo requires you to be identified by a phone number, how is it better than SMS? If I change my phone number, am I just hosed? The best thing about Hangouts is that it let you message damn near anyone in any manner while being platform independent.
I don't like doing tech work, it's really repetitive and you don't get to work on what you want.
I have this problem at both places where I work, but with gmail. In both companies, the gmail account was registered under the business name (=paperwork name), but the trading name (=public name) is different. So you have to train your users to log in with the business name, even though that's the only time it's ever seen by anyone except the lawyers.

Then you have the problem of emails going out under that name instead of the trading name - while the aliases generally work well, you have to train users in setting their accounts properly. I've contacted gmail support about switching over names, but their response was "it'll take around three days, and you may not be able to access email for that time", sprinkled with a tone of "it'll probably work without a hitch".

Yeah, you try telling the business side staff that they might not have emails for three days in a busy place... unfortunately I was too spooked to proceed, so can't vouch that it works :)
Notability works well for me.
Tesla brings online its 80 MWh Powerpack station with SoCal Edison
Strangely I don't see any amp pages if I search within the Google app in Android but see them if search from Chrome. Does anyone know why is this difference? How can I restore amp pages while searching from Google app?
A better AI should be able to fool the opponent into thinking it has thrown rock (metaphorically) so that the opponent throws paper while the AI instead throws scissors.

Poker isn't about equilibrium, it's about misdirection and exploitation. When the table gets cold, you liven it up by convincing everyone to do a round of straddle.
There are smarter ways of adding security - like letting me know via my phone and allowing me to cancel "suspicious" operations using it.

Disabling my card constantly doesn't help me at all, it's just a PITA. Imagine if any other service provider (webmail?) disabled your account frequently to "avoid fraud".
The ACA's goal was not to rein in healthcare spending (this potential shortcoming was discussed before it even passed).

While there is funding for experiments aimed at reducing costs, none of the bill's major facets deal with this issue.

Here's an article where one of the bill's intellectual architects talks about the topic: http://www.nejm.org/doi/full/10.1056/NEJMp1006571
It's the weak Anthropic principle - we find ourselves on a planet that supports life because we couldn't have arisen on a planet that didn't - which is necessarily true.
It looks like the entire site changed for this announcement, and now it's not much more than the announcement. Prior to that change there was a lot more information about the products Meta offers. They were building a number of products powered by some machine learning built on top of academic papers. There was the consumer-oriented tool for paper recommendations targeted at academic researchers. Then an "impact prediction" tool that was designed to try to forecast the importance of a new manuscript, which was marketed to academic journal publishers and private industry (like R&D departments of pharma companies). And then there was what they called "Horizon Scanning", which is another prediction tool to try to forecast which areas of research or scientific methods/techniques were going to be rising in popularity/importance over the coming years (ie try to identify CRISPR a few years before it blows up), also mostly targeting private R&D firms but also grant-funding bodies, gov't entities, etc.

Post CZI acquisition I bet they're doing a full revamp of what they're bringing to market, so I guess they're just pulling all the content down first before they figure out how to rebrand.
Because when you're a medical professional you can lose your licence for experimenting on patients.
Occam's Razor corollary: Time Travel is only permissible into the future due to entropy.
DeriaLock Demands Victims to Pay Ransom by Skype
Hard to do 25 user video and audio conferncing with shared desktop, chat, and recording all in HTML5. In fact I don't think I'd be out of line to say that it's impossible, so your assertion that others do so is dubious...
Consider that state/federal bureaucracies get on "trends" with a delay of 2 or 3 years minimum, and the story is probably from 2015 or thereabout - the agency was launched in 2014.
Did you notice that its also a great way to get bought out?

All you need is one client. Solve a problem for that client and make it cheaper for them to acquire you than keep paying you.
Except that it wasn't workable. It was never financially sound and was doomed without additional funding for which the public was never prepared politically. It was rammed through Congress without a single Republican vote using a procedural trick, so politically the best play for the GOP was to let it fail and then hang the failure on the Democrats.

I have no idea what Trump's plan is, but I hope whatever it is the Republicans don't play games with the GAO accounting and they also bring Democrats on board so both parties have a political stake in success.
It's probably time to call it virtual-first, rather than remote-first, cause remote makes people think isolated.
Truth, lies, and an ethics of personalization
Any way to do this on Android that doesn't involve sketchy root hacks or 3rd party apps?
> As it is there's no way for consumers to "shop around" because they can't get prices for most tests, procedures, or even medications until they bill through insurance (which can take weeks).

To complicate things further, some of these things will happen while people have passed out and taken to the emergency room. This might be the only sort of debt you can incur while both unconscious and without prior specific authorization. Many other medical decisions are made under duress - sickness and pain, with an occasional risk of death.
Noooo, I wanted Jarvis so badly :( I need to push more on my feature request.
I stopped reading at "The weather sucks"
To be fair, it is very easy to dismiss what crazy people believe.
> Lawmakers who are found guilty of violating the act face $1,000 in fines and up to one year in prison.

This seems to be a bizarrely asymmetric pair of punishments. Someone on higher than the average wage can pay $1k without blinking, but a year in prison is career-crippling.
Why would you want to do that? You can see the past from the future. For example, grab a super-powerful telescope, move 100 light-years from earth, and you can see 1907. For a sufficiently advanced humanity, the past is totally visible, no need to travel to it.
Haha, glad someone tried to guess! But nope, there are several cells that beat the VTC5.

Two that come to mind immediately (that beat the VTC5) are the 25R and the VTC6, both of which run cooler and have a higher capacity than the VTC5.

You probably haven't heard of the specific battery I'm thinking of unless you've worked a decent amount with batteries, though; it's not terribly popular with hobbyists (part of that, of course, is that it can be hard to get.)
I have never been addicted to cigarettes and do not smoke but I do chew nicotine gum all the time for ADD (and yes there is a difference between ADHD and ADD).

I took me a while to figure out that nicotine is a superior stimulant over caffeine, adderall, ritalin and even chocolate extract (albeit chocolate was surprisingly effective).

The big plus with nicotine is that it doesn't have the after downer that the above stimulants have. Particularly adderall.. it honestly shocks me that I was given that drug as a child.

The jury still seems to be out on how dangerous nicotine is (the actual substance and not all the crap you get with tobacco products).
The problem with this idea is that once the project becomes a product or services of Google's, then it is supported by official paid working hours of its employees.
It looks like Pipenv does not handle the python install itself or associated non-python libraries. With Conda I can tell it to install Python 3.6 along with FreeTDS (for mssql). Conda lets me do this in one environment.yml file and have it work cross platform. Separate homebrew or apt-get steps are no longer necessary.

That said pipenv still looks awesome. Any improvement to the python packaging world is welcome gift.
Not just psychiatrists. A significant proportion of M.D.s of all subspecialties are surprisingly uncurious and unwilling to listen seriously to patient symptom reports (even detailed reports of careful observations), whenever anything doesn’t match their narrow past experience. Instead of admitting they just haven’t seen anything similar before or suggesting ways to follow up with research literature etc., doctors often second-guess their patients’ reports in such cases and chase people away with speculation about hypochondria, etc.

I think medical school / career pressures do a good job of selecting strongly for folks good at following instructions and memorizing information provided by some authority at the expense of curiosity or critical thinking. This works great when someone goes in for a common condition and needs routine treatment, but can get pretty frustrating for patients suffering from anything atypical.

Or maybe I’m being unfair and this is just true of people in general.
I think this is what a lot of libertarian types don't get (a lot of overlap with prepper types). Taxes aren't the government stealing money that you willed into existence out of thin air, you're paying to live in a society built to protect your wealth.
Show HN: New Slack slash command /vault – Easy way to store and get information
* The correctable pens (fine point) can dry up pretty if uncapped. I had some case where my pen where partly dried and would randomly not write. In some case I had the feeling that a particular area of the notebook wouldn't let me write where in fact it was only a dry pen. You can "undry" the pen - see [1] - but the process is not as smooth and elegant as the video would suggest. I think it's less a problem with medium point pens; but I don't like writing stuff with those medium pens - too large to my taste.

[1] : https://youtu.be/y_PWw7G1jfg?t=51s

* While we're at it, the pens tends to die much quicker than a conventional ballpoint pen (2-3 month of solid use ? I don't really know). But then, I think I write more with this notebook than I ever wrote with a conventional pen, so my estimation is probably flawed.

* I think I had dirty fingers only once because of the pens, but then that tend to also happens with gel pens. Maybe there's something wrong with the way I'm transporting or holding them ?

* When you erase a whole page (probably with some water - the ink is water soluble - and a microfiber tower) and it is not properly and thoroughly dried, it can stick to the opposite page. But that sort of thing tends to happens to a lot of plastic sheets, and the leave are thick enough to not be a problem. It's only a minor papercut (... sorry, this pun was terrible).

* The spine is not supper-dupper rugged and I recently lost one spiral (one year after I bought it). But the perks of having reorganisable and easily scannable pages are worth it.

* I would really like dotted pages instead of lined pages but this is not available at the moment.

* OneNote OCR doesn't transcribe the scanned page as magically as what it can do with a tablet PC stylus (it's probably looking at the stroke themselve, something that is lost when you scan a page)
I paid for it when I was 26. A bit over $600 for the shots, and paid my doctor's copay each visit.

I thought it was one of my better uses of excess income that isn't guaranteed in the future.
Tidal, Jay Z’s Streaming Service, Sells a Stake to Sprint

Shame on him who thinks evil of it.
I stopped reading at "I stopped reading"
This is very trhe but you left out the key part: contracting companies are usually very profitable and that can translate into political funding. Government agencies are prohibited from direct support and the non-defense workforce has been the punching bag for so long that they're not going to donate personally to the party which has been attacking them.
Perhaps there are others in more need of his services than you. No need to call him an asshole, you aren't entitled to his services.
Show HN: Chrome Extension to Filter HN Stories by Keyword