skysight-inc/HackerNews huggingface dataset:
Here's a chunk of code from a haskell project I work on that shows how concise and nice haskell can be:

class EntityStore b m => TagStore b m where
-- | Add a new tag
addTag :: b -> Tag -> m (Either DBError (ModelWithID Tag))

-- | Get all tags
getAllTags :: b -> Maybe Limit -> Maybe Offset -> m (Either DBError (PaginatedList (ModelWithID Tag)))

-- | Find tags by a given ID
findTagsByIDs :: b -> [TagID] -> m (Either DBError (PaginatedList (ModelWithID Tag)))

That bit at the start (`EntityStore b m => TagStore b m`) roughly reads "Given that types 'b' and 'm' exist that satisfy the typeclass 'EntityStore', they satisfy the typeclass 'TagStore' if they implement the following methods".

If your eyes glazed reading the sentence above -- this is a way of composing interfaces. Any TagStore-capable thing is required to be EntityStore-capable.

And here's that being used:

createTag :: ( HasDBBackend m db
, HasCacheBackend m c
, MonadError ServantErr m
, TagStore db m
) => SessionInfo -> Tag -> m (EnvelopedResponse (ModelWithID Tag))

createTag s t = requireRole Administrator s
>> validateEntity t
>> getDBBackend
>>= \db -> getCacheBackend
>>= \cache -> addTag db t
>>= ifLeftEnvelopeAndThrow Err.failedToCreateEntity
-- invalidate cached tag listing & FTS results
>>= \res -> invalidateTagListing cache
>> invalidateTagFTSResults cache
>> pure (EnvelopedResponse "success" "Successfully created new tag" res)

I prefer the explicit 'bind' syntax (>>/>>= are pronounced 'bind') to do notation, because of the clarity you get when the code is laid out, and how it encourages modular functions

All those `HasDBBackend m db` and `TagStore db m` incantations mean that this function knows about the world is that it has a DB backend, a cache backend, a tag store, and it knows something about the kind of errors it can throw (`ServantErr`). Then come what the actual function does (after the =>) -- Take in a SessionInfo, a Tag, and produce an "action" that when run will produce a EnvelopedResponse (ModelWithID Tag) value.

This style is called mtl and it's just one of the big patterns in the haskell community, but the big feature here is that isolation -- this function can only do things that it knows about by way of constraints (`TagStore db m` means a `TagStore`-capable thing is accessible to you) -- this is much safer than having functions that can just do anything at any time.

I've said it numerous other times, but the kind of stuff you do in haskell trickles into other languages -- see Florian Gilcher's talk from RustLatam 2019[0] -- it's basically on this same concept but in Rust (one of the reasons I absolutely love rust, they've bolted on a fantastic type system).

[0]: https://www.youtube.com/watch?v=jSpio0x7024
If you use a material on the back of the asteroid that had a higher albedo at more oblique angles, you could have a form of feedback.
Uranium is not a fossil fuel.
I was surprised to find myself excited by the this news. I guess that brand really made a mark on me all those years ago. Is it really XBox Pass subscription only? The article doesn't make that claim.
That's weird, why wouldn't you want a package manager? That said I think 9front and Redox lack them. Have you considered those?
Cory Doctorow argues that you can't encrypt people's media and also hand them the decryption keys they need in order to consume it, and not expect those decryption keys to leak.

https://corydoctorow.miraheze.org/wiki/DRM_and_MSFT:_A_Produ...
It would be nice if every blog had a "Sites I frequent" section.
If this is really the only way to successfully shop at Amazon, I wonder why so many people are still doing that. It seems to me that it would be the role of the shop I am shopping at to perform this kind of due diligence and quality assurance.
I love to hate the terms "tech native" or "digital native". In my experience of my kids and their friends they have far less knowledge about the workings of the technology they spend their days using than technology users even 20 years ago.

I suppose it's because we were self selecting as being interested in tech and as the tech was more primitive had to know more about it to get it working.

Even so, if you want to employ somebody who knows how to make the technology sit up and dance, employ somebody over 40 who was using computers when they were 10. If you want to employ somebody who knows how to read twitter and facebook then just pick the next kid in the street with their head buried. Good luck in getting their attention long enough for them to do your work though.
Information(Idea in mind)
=> Write a document
=> Write on PC and print out on paper
=> Display on screen

Two dimension paper or screen is never the best way of displaying information, but it is the cheap and easy one.

the core problem is how we organize and display information, I don't think the old screen will solve it in the good way, but recently MR, AR show us the three dimension way, maybe we can find more dimension in the future.
Because the purpose of a package manager is to hide complexity that shouldn't exist in the first place.
HSBC-backed startup aims to become LinkedIn of global trade
That is exactly my concern.

Basically everyone in the world can be subject to US Law, set by a government they didn't vote for.
That's right. The pidigits result surprised me.
Amazon is a lot more powerful and influential than Macy's is. I think this is at least partially caused by the increasingly important political relationship between major employers like Amazon and governments.

Amazon likely tells governments that being held accountable for things like this would dramatically hurt their business, and therefore cost jobs. No politician wants to be blamed for lost jobs.
Correct. Interesting you bring up JS, as the Haskellers I spoke of loathed JS and treated it and its developers as below them. But that's just my experience.

I hope Lumi was able to gain efficiencies using PureScript and Haskell. And that they're able to attract talent. Thanks for sharing.
Depends upon how you define it. I think most people who use the term tech native and digital native are referring to people who grew up with social media.

If you are looking for somebody to do your social media campaign, then go with the "tech native". If you are looking for somebody to develop the next blockbuster social media platform, maybe you will need somebody who has done time in the trenches learning how to develop robust software.
Why are large companies so difficult to rescue (regarding internal technology)
GHC does have a runtime system, conveniently called RTS. This page has some more details:

https://downloads.haskell.org/~ghc/latest/docs/html/users_gu...
Well, wake me up when Microsoft get to fix their shit.
It took me two years of collecting and cleaning data before the model I have been training it with started becoming useful for my own specific needs.

https://trends.getdata.io

The first challenge I see with data as a service is that not all features you need for your model will be made available by the vendor.

The second is their frequency of update might not be at the cadence that you need.
This seem to make a lot of sense, so I assume there must be some serious reason for the fact it isn't happening already. Is this hard to implement legally? Is there just not enough incentive to do so?
I had understood that regular missiles (such as ICBMs) are pretty much unstoppable too. There are some anti missile programs but publicly available test results are poor, even with extremely favorable test conditions.

Why is this topic in the news right now?
You basically never get free shipping on a pair of socks from a brand like Nike though, right? Usually you have to spend ~$50. These were ‘Darn Tough’, a more niche hiking/active brand. Amazon had the best price. I only found out they were counterfeit by doing some research when they got a hole way too soon, but just after the return window. I mended the hole and they’re serviceable for now. In the future, I’ll only buy these from either REI or direct from the manufacturer. Lesson learned. But yeah not your typical sock-buying situation, I’m way too big of a hipster for that ;)
I think iMac Pro is pretty aptly named if that’s what it makes you think of.
For some reason my copy of the tar manpage on fedora has no examples section
Can you talk about your day job?
There isn't any steganography (at least for the flag that I found). They have a bot that actually "reads" your post, which you can verify for yourself. This is alluded to in the message that you get when submitting a post:

> Your post was submitted for review. Administator will take a look shortly.
> But there is every intention to ensure that there is a clear story for how i386 applications (including games) can be run on versions of Ubuntu later than 19.10.

‘a clear story’ doesn’t sound to me like actual support, it sounds more like words chosen to obfuscate the fact that they won’t be providing support, and will instead offload support to some third party, with no actual guarantees.
I hear you. Other languages have those properties. Including TypeScript.

In my experience I've found real-world applications, by definition are never as pure and perfect as we like them to be. Users do stupid things, or vendor APIs don't quite fit what we want.

And personally it's why I think the Haskellers I know often get stuck in the mud. Seems the language, or just the Haskellers I know, are better suited for a academic applications.

I'd love to be proven wrong as I'm into type safety and FP, in general.
This. Op has either been very, very lucky in his tenure -- or, he has never had to build a site with compatibility requirements targeting >= IE9, Blackberry's browser, or Safari iOS (which is basically mobile IE).
This is only possible if the user can examine what their computers are doing. These days we have restricted boot ("secure boot") and "trusted platform modules" (which can be used for good though) that allow computers to do decryption without the user being able to see it.

For example my Galaxy S9 phone has a locked bootloader. It only boots software signed by Samsung's private key. Google makes DRM software, Netflix and co. sign on, Samsung puts the DRM in their phones because they're useless without Netflix.

The only way to find out how to decrypt the video is to crack the hardware. And some companies might make shitty hardware, but Apple has shown that it's very possible to make a locked down device that takes millions+ of dollars to hack.

Intel iirc had special paths in their processors for video DRM. Google's Widewine DRM is available in all the major browsers. MS has been pushing restricted boot for a while. All that's left is for them to make it mandatory.

Of course none of this matters because you can just record the screen or the speakers... If you're serving content into Bob's eyes or ears then he can use fake eyes or ears to record it.
Check out millionshort.com
It's natural -- in human terms -- to have feelings you want to share, and to be initially attracted to a service that facilitates that.

But there are existing "venting" solutions like Blind and more constructive (yet still anon) solutions for engagement surveys (TinyPulse, CultureAmp, etc)...

Further, there are tons of apps for daily journaling/sentiment capture...

So my "view" is...why yet another solution? what is unique in the approach? what problem is this actually helping me solve?
Having worked at and for both large and small companies, in several industries, every word of this rang true.
General purpose programming language is general purpose programming language. There's nothing unique about VB other than it's kinda looks like English to the reader. Just the reader. Yes, the programmer is often the reader, but the reader is often not the programmer. The English-like reading gets people over one relatively small barrier to entry which is "this looks foreign to me, I'll never understand it". Day 2 of VB is "this looks like English, but it's clearly not". At that point, it should be obvious that the language is optimized for the beginner, not the intermediate and certainly not the expert. When most people can qualify as intermediate in any language in less than a year, it should be obvious the design choices are terribly skewed in the wrong direction.
I for one really enjoy Amazon’s dominion. If your old enough to remember the Bell System before it was broken up, the airlines before they were deregulated, Amtrak before they lost government funding, or the postal service before they had to sell out to all the direct mailers to turn a profit — I’d say every once in a while the economists and political scientists can step back and take a break. Seriously. Fly Emirates, ride Eurorail, switch to T-Mobile, burn your mailbox - I think that is about as close as you can get these days. Since the US stopped subsidizing the dairy industry, the snap crackle pop of my cocoa crispies cost as much as a real breakfast. Two industries I’d love to see Amazon disrupt next are healthcare and car rentals. They are both overrun with vested interests and old fogies that have forgotten what a customer is. Amazon could be the first company to have an significant and quantifiable interest in their customers not dying AND do something about it. What customer would be more loyal then the one whose life you literally saved? I’m also pretty sure the entire IRS could be an Alexa skill and I wouldn’t shed a tear if it were. How is democracy working out for us these days? I kinda think it’s been swirling since about 1963, give or take, maybe Jeff Bezos should be King? Sure some people won’t be happy but no matter what you do some people never will be.
I don't know if he's a FAIR comparison point... Sanderson is practically a robot; I don't know when the man finds time to sleep given his prodigious output AND personal engagements.

Stephenson has written apparently 16 novels in 35 years. [1]

Sanderson, on the other hand, has written around 30 novels in 14 years, depending on how you want to count novellas and kids' books. [2]

Sanderson is also much more active in keeping up PR about himself and what he's doing -- I think that fan interaction, both online and offline, is as much a part of his popularity as his actual writing. He's fantastic in the respect and I'm sure it reflects in his sales numbers... and probably helps with all of his discussions in getting his stuff into TV/films/games, and a lot of that stuff is (as far as I know from what he's allowed to discuss) in progress.

So I'd actually expect to see Sanderson making much more than Stephenson and it definitely makes sense to me that Sanderson would have an assistant or two given all of his engagements and franchises.

[1] https://en.wikipedia.org/wiki/Neal_Stephenson#Bibliography

[2] https://en.wikipedia.org/wiki/Brandon_Sanderson_bibliography
The Worst Shark Attack in History (2013)
People who live in fear of their government deserve a better government .... luckily history shows those governments fail
Basic introduction of various layers in CNN
That's a weird question. I mean, it may totally make sense to do what you are saying, but people tend to get used to shopping in one place, not even to mention that every sane wholesaler does everything in his power to make people used to that (relevant ads, promos, personalized discounts or bonus points, unobtrusive UI...) That's kinda the whole point of being a reseller.
I didn’t read this in enough depth to figure out what it was talking about, but I did see this:

> Most distributions have the printf command

printf is part of SUS and POSIX; this means that pretty much every system from this millennium will have it.
The Iranian missile that shot down the US drone was of the hypersonic variety (though I’m pretty sure just about any modern SAM could shoot down a drone), so people are more interested than previously.
Is this merely a continuation of the inevitable "Eternal September" effect?

The internet is a reflection of its users. That's why HN'ers tend to look back on 'what it once was' very romantically, because back then it only catered to the technically-minded, the critical thinkers, and so the content matched the demographic.

In hindsight (because I'm not smart enough to have seen it before it happened, and only just smart enough to join the already-joined dots) this was inevitable. Catering to world + dog means anything goes in the pursuit of eyeballs (= sales). Whatever search system is put in place will be manipulated towards this goal.

If a large proportion of the users don't care / don't notice / accept this is normal, then it IS normal.

Television, Radio, newspapers, and magazines are all (predominantly) advertising landfills.
This is nonsense.

Amazon moves in and takes over an industry due to both economies of scale and scope (i.e. shared services/costs). If they allow lower quality, niche or competing substitutes can exist.

If they offer inferior products, people will substitute away to a better quality option. This is why Walmart is not the only retailer, and space for mid quality retailers like Target or grocery chains exist.
I think you just don't understand how things work in India (neither did I until I lived there for a while).

The authorities don't police anything (the locals literally argue with the police, and carry on what they are doing even if the police tells them they can't do it), the only time you need the authorities to get something you have to bribe them (a small amount in westerns standards, but still...).

People don't care about their surroundings like they do in Europe. Your just throw garbage in the ground (also because the bins are mostly non existent). You have buildings from the 80's without plumbing (in some of them they are added after, outside the building).

There is chaos in any activity (traffic is just surreal).

A good part of people seem destitute, yet they have good mobile phones.

Your have 3 people doing the job of 1 in a lot of places. Example: In a restaurant there is someone getting your orders, someone putting the table and getting the orders to the table, and then someone that stays around serving you... literally putting the food on your dish, not just when they bring the food, but there, checking whenever your plate is empty and then filling it (you know, like your grandmother in a southern European country does). Outside bathrooms in a restaurant, there is someone just there to keep them clean, permanently. Yet the bathrooms are not clean at all.

All in all, India just defies your (at least mine) logic. I am worried about what will happen when it stops growing in the 10s% like it has been growing until now.
I guess there is little moral difference between Water Mafia that is supplying water in tankers in developed world and water mafia that is supplying overpriced water in bottles to citizens of First World.

https://www.youtube.com/watch?v=UKmwbXc1rmY
Simple solution: change the bottle to be much taller, make it out of copper, and then add a second hole to fill it. Nice and sustainable.

Seriously though bottled water is great when you need it, like when you're on a cross country road trip or in a disaster zone. But using makeshift methods for every day routines, especially when there is already infrastructure to accomplish the same thing, is inherently antisustainable.
You couldn't compile it into an app. So you had to distribute the source code. This meant it was a dead-end for anything serious.
Well, Pirate Bay sure is cheaper...
Natural and Homemade Insecticides
Last week I ran an offsite for the executive team at a public tech company focused on "performance" of a leadership team...I borrowed a lot from Lencioni's "Five Dysfunctions" but that wasn't enough...

If you have a team and want to improve, my first question would be "in what dimension?" -- and then I would have several follow ons about why and how...

Happy to discuss more if I can be helpful - just message or find me: http://drift.me/seanlindsay
> which you can verify for yourself

How can you verify? That's what I was stuck, it's hard to test things if you're not getting any sort of feedback. That message seemed pretty constant.

EDIT: I see, managed to verify it by putting an image on my own webserver and seeing the log hit. I got a rough idea now, thanks!

EDIT2: Got it :)
Try using nix instead. Aside from being a fantastic package manager for many languages it’s a godsend for Haskell. The lengthy compilation times with Haskell are one of the not so wonderful parts of the language, but they largely disappear with nix, and the Haskell ecosystem on nix is very well supported, with a large community. Honestly I’ve been developing Haskell for years and have never once used stack. I did use cabal before I discovered nix, but since then I’d hardly dream of using anything else.
SEO has always been a corrupt venture. The Internet isn't anything.
It seems like you're arguing that dynamically typed languages are best because they don't get in the way of programmers who are good enough to pretty much never screw it up in the first place. Am I misunderstanding you?
Best wishes with the waterless toilet. Surprised that you got lots of downvotes, when instead your startup team is one of those few actually doing (trying to do) something about the water situation.

Your toilet startup has a website?

(Websearching a bit, seems normal toilet water usage is 30 - 100 liter water a day, sounds like a lot to me.)
That portal homebrew sounds very interesting but my memory of the time remembers that DS homebrew was used almost exclusively for piracy but from what I have heard PSP homebrew was used a lot for stuff like playing music and running actual custom tools.
Right after I’ve finished paying mine off, of course. Do I (and everyone else in my position) get money back? Or did we spend all those years cost-cutting for nothing?
Let's Make Some Facebook Money
I think the point is fair, but you could substitute "Node.js" with any language, and "npm" with "Standard Library/Underlying Framework". The ecosystem is as important as the language.
I bypassed the shell by executing the binary straight from the loader so I was able to do a chmod +r and cat to get it.
A plumber open shop in a highly competitive neighborhood with thousands of other plumbers right at the customers' fingertip.

He is highly-skilled, or at least he believes himself to be.

But he doesn't believe in marketing. "Marketers are bottom-feeders."

Said plumber did not do well. Blame everyone except his ego.
When one party is flagrantly fascist, defies more of the law with each passing day, and is beating the drums of war, it is not only okay, but a moral imperative in my book. I am happy to see that others agree. The absolute bullshit going on in DC must not be normalized.
To give a voice to the silent - thank you Doreen for telling your story! You have a unique insight into the problems of the homeless and I for one am grateful to you for sharing it.
The article talks about a medical handbook whose dosage recommendations might be affected by OCR errors. You want that to come straight from the source and not a scanned copy.
> the digital nature of information removes the need of exclusive ownership

There are a variety of justifications for copyright in various legal systems around the world, and I can't think of any of them where information being digital as opposed to analog would make a difference.

All digital really changes, as far as I can see, is that it makes it possible to make perfect copies and it makes the cost of copying essentially zero. None of the copyright justifications I'm aware of are based on copying being hard or expensive.
They didn't use their metro cards but did use their cellphones, as it can be seen in the pictures. The government can easily know that they were there, as they can be triangulated using the cellphone towers information.

Not using their cards is useless.
Scientists teach seals to speak English by forming hybrid human-seal language