skysight-inc/HackerNews huggingface dataset:
I have almost no Haskell experience, but I was playing around in GHCI the other day and it seems you can add parens to function arguments if you want?

Nobody seems to add parens to separate arguments from function calls though in Haskell, never seen it but it works.

let f(lst) = lst
& map normalize
& filter (\x -> x > 0)
& average

Prelude Data.Function> let f(lst) = lst & map (\x -> x + 2) & filter (\x -> x > 4)
Prelude Data.Function> f([2,3,4])
[5,6]
Thank you for sharing this. Sorry that the company was killed.
For anyone trying to reproduce it in an Android phone you don't need to compile anything. Just "apt install z3" in Termux. It will probably be pretty slow but it will work.
I recently had a bug that wouldn't have happened if I'd had these in place: https://dev.to/darklang/a-fun-bug-55cl. I added similar checks (and kube-score and polaris seem like good tools - I might try adding them).
Slightly off topic but for the shell in the example what did they export PS1 to get the nice looking solid background color for the host name and current working directory?
I would say a picture is worth a thousand words for things that can be pictured. Most things actually can't, hence words.
> And even though you told us that it's defining a route, I cannot figure out what it is really doing. It is just not clear.

it does nothing. :) that code sample is a description of the API. nothing more. when you're writing programs in a functional way, you describe your computation rather than actually computing it as opposed to imperative languages. imagine summation in math. it is a description rather than computation. you compute the sum according to the description. this API description is exactly the same.

the code in the comment is incomplete which makes it harder for you to figure out. where are the handlers? how do we return responses? i believe the rest of the code is actually mapping the API description to actual handlers.

server :: Server API
server = getPolls :<|> getPoll :<|> getResults

getPolls = queryDBForPolls `andThen` transFormToJson
getPoll pollId = (queryDBForPoll pollId) `andThen` transformToJson
getResults pollId = (queryDBForResults pollId) `andThen` transformToJson

i agree with the comments and sentiments which say mathematicians learn and write haskell easier than the rest of us but i will tell you a secret: i'm a high school graduate with no degree at all let alone a math / cs one. i'm using haskell happily but it took way much longer time than probably everybody else. it just takes a bit of focused time and will to learn it.
Can someone explain how encryption comes in play with social media moderation? I'd understand that from less technical 'thought leaders' but I imagine Bill is still a pretty technical guy so I was kinda surprised to see that.
5G is several things, availability of the new mmwave spectrum is just one of them
Can someone explain in layman’s terms?
"Soccer ball" sounds perfectly natural to me (also English).
Consumers would see it as a downgrade: "Wait, I have to buy something else to connect this to my PC?"
Ah, sorry. Have you tried rhino 3d? There are some nice additions to it like grasshopper
My key takeaways

Against how our govt handled covid:

>> The irony is that this is a president who is a vaccine skeptic. Every meeting I have with him he is like, “Hey, I don’t know about vaccines, and you have to meet with this guy Robert Kennedy Jr. who hates vaccines and spreads crazy stuff about them.”

>> Well, that’s just stupidity. The majority of all US tests are completely garbage, wasted. If you don’t care how late the date is and you reimburse at the same level, of course they’re going to take every customer. Because they are making ridiculous money, and it’s mostly rich people that are getting access to that. You have to have the reimbursement system pay a little bit extra for 24 hours, pay the normal fee for 48 hours, and pay nothing [if it isn’t done by then]. And they will fix it overnight.

Against encryption/free speech:

>> The irony is that it’s digital social media that allows this kind of titillating, oversimplistic explanation of, “OK, there’s just an evil person, and that explains all of this.” And when you have [posts] encrypted, there is no way to know what it is. I personally believe government should not allow those types of lies or fraud or child pornography [to be hidden with encryption like WhatsApp or Facebook Messenger].

re: tiktok acquisition

>> But yes, it’s a poison chalice. Being big in the social media business is no simple game, like the encryption issue.
>President Trump suggesting the US Treasury will need some type of cut from any acquisition.

uhm what? Has Mr ArtOfTheDeal still not understood that he's a president not profit seeking CEO? How bizarre.
As a single person I've found it difficult.

I've made efforts to go out after work, spend time with friends, and get back into my hobbies.

But none of these are enough to make up for the 8 hours of social interaction I was getting each weekday by being in the office.

Also as a single person, working in an office environment downtown felt like I had way more opportunity. Opportunity to move up in the company, opportunity to meet a girlfriend, etc.

Oh well I guess there's Tinder.
Thanks for the article. With Japanese PR, I know you can leave and reenter on a special reentry visa. Are reentry visas easy to get? Would repeatedly getting (by doing a reentry visa-run to japan every 5 years) them while spending most of your time outside of japan result in losing your PR?
Well then, let’s start with the people spreading misinformation, and holding them responsible for it by removing their Facebook groups.
AlphaDogfight Trials to pit man vs. algorithms
All DCAs buy past-due amounts for pennies on the pound/dollar. By the time they get to a DCA the sums have been written off by the original lender. So if the DCA can persuade a creditor to pay up in full, they're making a lot of money.

As for the law - in the UK debts are a civil not a criminal matter. So unless there's been obvious flagrant fraud they end up in county court before a judge, not a criminal court before a magistrate.

Consumer orgs like the Consumer Action Group (https://www.consumeractiongroup.co.uk/) and Legal Beagles (https://legalbeagles.info) who make it their business to offer free legal information for anyone being chased for debts, whether "reasonable" or not, with a view to avoiding a court case, getting the best possible result, or - in some cases - winning compensation for unfair/unreasonable claims and DCA/bailiff actions.

It's not unusual for lenders to have poor record keeping. People who keep original paperwork have found that some DCA "proof of debt" is entirely fake, assembled as required, with a creditor's signature copied from recent correspondence.

It's hard to feel any sympathy for an industry that operates like this.
Apparently this is killing 1000 Americans a day?? I'm not sure what your threshold is...
What counts as "1 set of exercise"? I've never thought about exercising that way.
Its a shame that the flashman chronicles are not mentioned.

I suspect that its omitted because of the use of contemporary language and attitudes to colonialism that would shock those of a twitter "pile on" persuasion.

However unlike the vast majority of the novels mentioned, Flashman has a rich bibliography and good footnotes. This means that if you don't believe the story, you can check the first hand sources yourself.
I've met a couple of really smart people ( like CEOs), who are very good for their company + employees and have a very strong opinion about this.

They are pro security for sure, but...

Security shouldn't be abused by malicious actors. And those malicious actors shouldn't be able to hide behind encryption.

In the same sense, privacy is important but I'm not sure if it's that important in Covid times ( eg. The decentralized requirements from Europe).

In short: he's not saying security is bad. He's saying government spying isn't that bad IF the government can be trusted.
k-rail does realtime validation and enforcement with policies written in Go: https://github.com/cruise-automation/k-rail
Wow, that sounds like a huge limitation, no? The number of people living in places that sparsely populated must be very limited, how does it make economical sense to launch that huge number of satellites?
I would build that - but I have a feeling that the realty companies would prevent and/or fight you for scraping their data. Anyone have experience with that that can offer some info/advice?
Yes cloth masks plausibly increased infection risk. And many people today are wearing cloth masks because local mandates require them to.

That really should call into question the efficacy of most mask public policy. It is poorly guided and poorly supported by evidence. There isn't good science to support untrained people wearing masks throughout the day is providing a public health benefit.
Finding good threads are hard. :) A quick “unroll” or “thread” search will uncover thousands of threads every day...
That wasn't Mark Twain. Since that's "an official website of the United States government", maybe we should email them. (Edit: I emailed. I wonder if they'll reply. Edit 2: that page was eventually taken down.)

The joke originated as "Meihem in Ce Klasrum" [1] in a 1946 issue of Astounding Science Fiction [2] by the satirically named Dolton Edwards, and was reworked into a British variation in a 1971 letter to The Economist [3]. We had a thread about this not too long ago: https://news.ycombinator.com/item?id=23587507

[1] http://www.angelfire.com/va3/timshenk/codes/meihem.html

[2] http://www.isfdb.org/cgi-bin/title.cgi?57114

[3] https://web.archive.org/web/20200807181810/https://lettersof...
It'll be better post-November.

Edit: Not to say that it is good or appropriate now, but there is light at the end of the tunnel, at least for a couple years.
They missed a single emission standard, for a quite short time. It's a crime, but every punishment should be proportional to the negative result. In this case, fine seems sufficient, as money from it could be used to put more filters on e.g. coal plants.

I think we have much bigger issues with coal plants, iron extraction from the ore, making concrete, commercial trucks with worse emission equipment requirements, or even airplanes still using leaded gasoline, etc.
I don't think people people should even bother with splicing in under 1km fibre runs if mechanical gel splice is 1000 times faster.

A bigger issue for single mode on short runs if ensuring transmitters are not too powerful. This is why you often have to intentionally attenuate single mode runs.
Encrypted Credentials for Docker Login
That was very much not my intent. I don't think my comment should be “us-vs-them” as I believe it holds regardless of your political position. The person I was responding to has claimed it was intended as an intentionality absurd “troll”, so it should surely be seen as absurd no matter where you stand.
It's interesting to see the election being manipulated right in front of the public's eyes and be unable to do anything about it. This post office bomb is only one part. We are being told by our representatives about their briefings from intelligence agencies on foreign attacks on our elections, yet are not allowed to know any details. The white house clearly supports both domestic interference and foreign. They are actively perpetrating the fraud domestically and passively doing nothing about foreigners. There are other players, like Facebook which intentionally allows conservative conspiracy theories to thrive. It's hard to imagine this year's elections will be fair with so much meddling allowed to happen. Will we have another election decided by the Supreme Court because ballots can't be counted quickly enough? Full me once shame on ...
Mailcow: The Mailserver Suite with the 'Moo'
Do you need a mobile app for your blog?
> In the software world, when you go the other way you notice how all the blog posts, online help is not really helpful at all. They assume you'd only ever go A -> B.

I was already a competent programmer when I learnt JavaScript. There's very little out there for someone in this position.
If you take the text at face value, he's making a pretty modest proposal:

(1) The current velocity of disinformation is high -> (2) this leads to socially harmful outcomes -> (3) providing P2P encryption in turnkey form via social network apps isn't a good idea.

I don't see the suggestions of panopticon you do. I see someone saying 'Most people on social media platforms aren't responsible, thoughtful enough media consumers to earn a right to encryption.'

Personally? I think it's a perspective worth considering. {Low-effort P2P encryption + low-effort forwarding} is a fundamentally different social value proposition than {Medium-effort P2P encryption + medium-effort forwarding}.
The Internet We Were Promised
This V2X thing looks like it's potentially a bit of a paradigm shift. With a mesh network layered over a set of V2X-connected devices, you could extend high-bandwidth (if not necessarily low-latency) internet connectivity to anywhere there are client devices, without needing base towers except at the edges.

In The Diamond Age, if I'm remembering it right, Neal Stephenson has a character describe how the in-world ubiquitous network works, and it's basically exactly that: high reliability through ubiquity of peers, any of which can relay your packets.

We've had mesh networks before, but they've always needed special hardware, distinct from "it's just a router".
Infrastructure/software or Business?
Starlink may very well fail entirely.
Chemists efficiently synthesize natural anti-cancer compound cepafungin I
There’s an issue that I created a while ago but I never got it working. Good to know that someone got further than I did!
I flipped through it briefly a while back, it covers a lot of important things in a nice and structured manner but I wish the author would cover C++ more, I didn’t see it but I didn’t go through the whole thing either.

When I first got started the Lena151 tutorials had just been released. This would have been helpful as an aid but having video tutorials of all the subwindows of OllyDBG was very beneficial.

That, and having crackmes to practise against combined with wireshark or ethereal or whatever it was called was a great time to learn this stuff.
Went up to Milford Sound some years back. We were told by our helicopter pilot that Kea have been known to shred the blades of the chopper and people had been temporarily stranded up in the fiords.
Seems like Popehat’s Rule of Goats applies, then. And therefore he is not credible.

For the unfamiliar (contains NSFW language)

https://twitter.com/popehat/status/858722120620265473
From another article linked in the one above:

"In late February, CDC director Robert Redfield testified before the House Foreign Affairs subcommittee and was asked if healthy people should wear masks. “No,” Redfield responded. The day after that, US surgeon general Jerome Adams tweeted “Seriously people—STOP BUYING MASKS.” Fauci himself, in early March, told a Senate committee that the general public didn’t need to wear them because Covid-19 wasn’t widespread enough."[1]

Regardless of opinions on how to respond to Covid, mismanagement by various institutions and media has been agonizing to see. I'm strongly against government paternalism and believe the vast amount of misinformation peddled by institutions many hold faith in led to conspiracy on the rise.

[1] - https://www.wired.com/story/how-masks-went-from-dont-wear-to...
I want to like Haskell, but I think lazy evaluation is fundamentally broken. Haskell's facility for optional strict evaluation doesn't really repair the fundamental defect, which leads to memory leaks and unpredictable performance. And certain magic functions are strict anyway, and you just have to know what those are. I just don't see making lazy sequences easy as being worth the cost of making lazy evaluation the syntactic default.

Given that Haskell is fundamentally and irreparably broken (IMHO) in this way, it seems like a waste to devote effort to it instead of better functional languages like ML.
I agree with the other points, but for this:

> The other thing I didn't like was the extra heat 2 monitors would add to the room.

This has probably changed with modern monitors. I don't think I've ever felt that a non-CRT monitor was hot, but even it might have been true a long time ago, it definitely hasn't been the case since at least 2015.
Very nice, I think we’ll give it a shot on our test cluster tomorrow, we been looking for something like this, both for ourself, but also for a customer.
> Static typing. It's like having a secretary who is doing all the writing, and you only have to think big things. It's a relief.

Funny. I see this as exactly the opposite.

To me static typing is a bureaucratic delay where you have to tell the computer what it already knows (but thank the deities for "auto" or the walrus operator in Go) and dynamic typing as the computer just doing what you tell it to do without bothering me with trivialities.

Yeah, maybe static typing makes the IDEs smart, but I dislike IDEs being "smarter" than compilers, I mean, the compiler should be the smartest one. If your IDE knows x is an int, why can't the compiler know?
TikTok has become too top heavy with its current creators. Its most popular stars not only live together but have conglomerated to form their own talent agency as well.

You may not see it on your feed, but millions of middle schoolers seem to be highly invested in the drama that goes on between these people. These creators and their followers is what as known as “straight TikTok”.

What’s to stop them from demanding the big bucks from Microsoft or leaving for another platform?
Could you share a few twitter accounts if you don't mind?
He points out that a standard nasal swab test is as accurate as a nasopharyngeal (deep) swab. This is readily available from labcorp, can be done at home, and the results are reasonably quick, within 48 hrs. It’s covered by insurance and includes overnight fedex shipping.
Or that they clarified his point with him, post-interview, after typing up and reading the transcript.
>where you are sold on Bandwidth and not on Data

Hahah
IMO “good working ethic” is only about doing your work and doing it well. It doesn’t mean anything about working continuously for 8 hours.
I think Gates's point has merit with WhatsApp and like, India, where the group chat mob is very very real and very dangerous [1], and since it's all E2EE, there's no easy way to monitor the proliferation of this sort of misinformation. (Though my understanding was that they put some filters in to the front-ends of the app to reduce some of the more aggressive spreading, and further reduces the number of forwards you could make.) And either way, banning E2EE isn't the answer and is a horrifying proposition for all of the slippery slope reasons we're all familiar with.

You're also absolutely right that most of the spread is just happening in the clear on normal FB or Twitter posts, and not as encrypted WhatsApp messages.

I think that FB has a moral imperative to significantly reduce the easy of sharing, frankly. It's a single click to commit a share/forward that passes along misinformation instantly with no effort on the part of the sharer. It should require _some_ effort: having to create your own post, for instance. It would dramatically slow the viral-spread-like-wildfire aspect of the most egregious pieces of viral misinformation: where people simply see a salacious headline that confirms their biases or aligns with their views and mindlessly clicks share.

That is addressable by reducing the patterns meant to increase viral spread, which admittedly is a huge part of what lead to Facebook's success, but it's now causing far more harm than good.
Facebook is intentionally allowing conservative conspiracy theories to thrive? I think that at best, you are seeing only one half of the picture...
> find it quite ridiculous that they can be seen as a social status

Yeah, I wonder when the perception will shift to represent reality. I sometimes see people with cars that are more expensive than you'd expect by the neighbourhood, but my default first thought is that it's either leased or backed by a loan, so nothing to really brag about.
Hawks are pudgy political types who are fond of sending other people to go fight for their principles.
Fighting reality? Socialism has already existed in the real world.
Lame article with a heavy bias towards anti-Americanism.

It's hard to say it's the end of "the American era" when it's still the only place in the world founded on ideals of god-given individual freedom and liberty and continuously striving to enact those ideals in a generative way.
Depending on pricepoint, the author of the original project could just become a customer of the spin-off project, and then publish the source for all.
Its true, basically all of the old European and Eurasian empires were dissolved.
As for democracy, the period between WWI and WWII was quite the opposite with the rise of fascism across Europe.
Modern European democracy largely came later after WWII.

WWI was a net boost to colonialism with European powers given nominal control of the former Ottoman empire; European colonialism was still going strong (and arguably still is) well through the middle of the 20th century.

US influence in Europe was only drastically increased after the implementation of the Marshall Plan after WWII, and obviously only in Western Europe.
the old and frail teachers can teach from home for some of the classes.

its still 75% who are not in danger and even among the 25% there are still many who would teach anyway. Of course its the answer to tell the old and frail to quarantine just like we are now. putting the eorld to a stop is what is not an answer
Make Me Hack
As I wrote in another post, <1km fibre runs don't need fusion splicing. This is what I tell all people still insisting on using expensive multimode for local fibre setup for ease of splicing.

Multimode will start to struggle at distances at which even worst quality single mode setup will work just fine. I feel SMF has no sense economically these days.

Low power, single mode SFP transceivers are everywhere now, and in general, SMF setup is incomparably more future proof.
Shame about the title that Wired gave it which is why I skipped out on it at first. Makes the interview sound like yet another boring Covid chit chat. Glad I went back to read it.
>5G for cars to communicate with each other

That's pretty good news. Even a simple "sharp braking" type coms between cars has decent potential to save lives beyond what can be achieved with radar & the like.
hmmm... can gpt-3 code too?
Show HN: Hopi - Use pandas and any other Python library in Node.js
If you're doing combinator parsing, the offside combinator is a few lines. I have one in front of me as part of a demo Haskell-like syntax for Scheme as a command processor. You have to tag the lexemes with position information, but you presumably want that for error-reporting anyhow.

[As others have pointed out, you get the choice of layout in Haskell syntaxes and, as it happens, that Scheme syntax also allowed you to use sexp input.]
This article is premature. There are many regions still either under partial lockdown or where people remain uneasy about going out. These trends may be interesting if they continue a year from now, but it's too early to tell.
Might be a little clichéd but I'd say a simple for-loop is super powerful and can cut down the time spent processing a dataset by a large multiple. I'd go as far as to say recursion too but then that might also be a little clichéd so I'll say that a simple for-loop is super powerful and can cut down the time spent processing a dataset by a large multiple. I'd go as far as to say recursion too but then...