skysight-inc/HackerNews huggingface dataset:
> Haskell is a bit weird from a Category theory standpoint (currying isn't that natural, and is in fact a deeply abstract property that only some categories have).

Care to expand? As far as I know, the main "weird" thing about Haskell category-theoretically is seq, which is a real pain to reason about[0], but it's strange to me that you see currying as somehow a problem.

[0]: http://math.andrej.com/2016/08/06/hask-is-not-a-category/
I code real life programs in Agda. Some part of my server and my tools are in Agda. One time I was in #haskell freenode IRC channels and people started acting out as if I'm some crazy person. Agda has seemless integration with Haskell. There is almost no friction writing 20% of your program in Haskell (unsafe) and 80% in Agda (safer).

I personally believe, agda is an excellent programming language. It's stdlib is good, concepts and construct are very well-thought out, it's very safe and works surprisingly well. I've been programming in agda for years and almost never had issue implementing anything even though it's not Turing complete. Using sized types you can prove most sane things to terminate anyway. And if you really need infinite loops (say, you're implementing an interpreter of a Turing complete language) then you have many options: (1) disable termination checking for a single function (2) use Haskell to implement a single function (3) use Rust, C, C++ etc to implement a function then with GHC ffi link it to agda.

Maybe I'm just being near sighted, but I'm really surprised more people don't use Agda or Idris in production. The number of times the type system saved my ass is uncountable. You can literally write unittests in your type system it fekkin runs your custom unittests while type checking. How is this not revolutionary? I don't understand.
It was more expensive, though. Edison and Galileo were overpriced and feature-poor - you need to add your own serial console, which, compared to an RPi (and the majority of these SBCs), is a major nuisance.
You’re right, we’ve never produced cutting edge machinery en masse for a war before, this situation is completely new...

Wait, that’s not right.

That’s also ignoring scale. Getting a few machinists for rifles is pretty easy; getting all the machinists for total war is not. Comparative to the scale of government action and organization in WW2, manufacturing and distributing PPE is nothing.
Even the term "defense" is so misused. I'd consider N95 masks a sort of defense, just as much as tanks and battleships. Masks are not a boondoggle for a possible future war, they are the defense for our current one (against COVID)
The Atom is like the 737 MAX.

American car manufacturers have shown no interest at all in selling small cars but have been forced to by regulators. Thus the Nova, Chevette, Cobalt, Sonic, Neon, Gremlin and other names you don't remember.

Honda and Toyota could not stop making the Civic and Corolla if they tried -- if they did stop for a year they would see people buying 3 year old cars at new prices and be shocked at the money they are leaving on the table. (Honda in particular has been trying to phase out the Fit for the CR-V but they may not have the discipline to be able to do it.)

Atom is a Chevy Nova that is being marketed as if it were a Toyota Corolla. Crap like that should be forgotten in six months, not waved around to remind you how bad it is.
I never had long-term consequences, but one thing I learned from my one surgery, is that general anesthetics are absolutely brutal.
Are there metrics that indicate this, or is it better in other ways also?
The other place where life could exist is in the upper atmosphere where apparently temperatures are much more hospitable. There's a really good write-up with more information here [1]. On earth there exists microorganisms that live in our atmosphere so one hypothesis to explain the phosphine is that there may be a similar situation on Venus. I believe its also been theorized that we could build floating cities on Venus [2] given the climate in the upper-middle atmosphere.

[1]: https://www.reddit.com/r/Andromeda321/comments/ismnrb/venus_...

[2]: https://en.wikipedia.org/wiki/Colonization_of_Venus
Fantastic alternative to Medium.

If I get into blogging again I might try this.
You still have to consider 90 times the air pressure and the acid rains.
Using your YubiKey to protect your MetaMask Accounts
> Against national-level intelligence agency, "citizen scores", and whistleblowers employed within such agencies, the protection granted by tor may be very far from 100%. It is not recommended by anyone to depend on tor against that threat model.

Are there any alternatives then, that do work against this threat model? It seems like a lot of the real need for such a tool is for journalists and activists who do need protection against national-level threat actors.
Those boards were the right form. The problem they did not realize was their price was 5x what it needed to be to compete.
Use this weird trick to make code reviews easier, faster and more effective
The situation is weird. I want to give them some money but there is absolutely no way to support firefox development.

A long time ago firefox(program) started asking for donations. I've donated 5$(I was a poor student in Poland[1]). After the donation, I found out that money will not be used for FF development (why firefox page did not mention that?). Long story short it was my last donation to them.

[1] Now I'm not a student ;)
This was fantastic, thank you for the link
> That being said, now that I do some math, it'd take 3.7mm people each donating $10/mo to match their 2018 revenue of $450mm/yr. Which does sound difficult to achieve...

For normal users who can hardly tell Chrome and Firefox apart and say "Chrome? Firefox? Sorry, I'm using the internet"? Yeah.

For power users? I'm not convinced. JetBrains makes about $250mm a year only from developers. But their focus is on delivering value to developers, making their lives easier and their work more fun. I'm sure Firefox could deliver a lot of value too, but they're focused on the lowest common denominator of all users, not on targeting e.g. developers or web power users and offering them something that Google does not.

But if there's a good chance that the money ends up in political activism or some hobby project at Mozilla ("why don't we build a new OS?"), donations aren't going to work.

Make Firefox a great Developer tool so you don't need Fiddler & co as a developer and sell that as a commercial version, keep the open source version. I don't know whether it will bring in $450mm, but I'm sure it will bring in lots of money.
It’s better than Safari and it’s not Chrome. Brave is similar and has ad blocking, but I didn’t like it as much.
There’s a very large gap between using a single mask per patient and using a single mask for weeks or months.
mod_vhost has existed for something like 20 years. https://httpd.apache.org/docs/2.4/mod/mod_vhost_alias.html ; back in the day ISPs like Demon were hosting thousands of customer websites off single large machines (on the hardware of 20 years ago!) using this technique.
Donations go to the Mozilla Foundation, which largely does advocacy. The CEO works for the Mozilla Corporation, which makes far more money than the donations.
Got it. That makes sense.

When we get a lot more science out of this COVID event in like ... a few years, it will be really interesting.
Wikipedia claims that Duke simply didn't require undergraduate degrees for admission at the time.
To sustain an independent, cutting-edge, competive browser engine you need several hundred excellent engineers working full-time, at least. No-one's been able to do it with less.
If this interests you, and you haven't already, you might want to look up some videos of R. Feynman talking or lecturing. There are plenty on youtube. Sounded like a New Yorker to the end, despite having lived most of his life in, I guess, California.
There is a list of the main sites (about 90%) there are more thematic directories.
So, something like advertisers paying them to display their ads?
I hear you. I have made playing with Haskell much more enjoyable by doing two things: rely of stack and by have a fast multi core VPS so that long Haskell builds whenever I update to a new stack resolver version. I don’t do much Haskell on my laptops anymore.
because they are talking about exec and they're are more than one exec
If anyone from Mozilla reads this, I stopped using Firefox when it stopped being what Chrome became at the time. Fast, light, simple. Go back there if you ever want people to use your browser again, this isn’t rocket science.
They just need a reference design than can be manufactured and sold for profit in the 20-30 range.

And make sure their fabs can deliver at volume without breaking them, which is iffy - every Atom wafer sold is one less Xeon wafer to sell.
Who Knew You Could Play Music with a Boxing Speed Bag?
Niko Matsakis wrote his thesis in Scala IIRC. So Scala might have better shot at "the science behind Rust".
yup- millions upon millions have been victims of data breaches and (at least in the US) regulators don't have the stones to levy harsh penalties.
brew is your friend here, it has the latest version. Works well.
It's definitely not true. I bought several dozens of these in the last decade for various projects and the price was definitely an important factor for some of them (especially the ones that I hope to be running for decades).
I spent countless hours on my side project Video Hub App https://github.com/whyboris/Video-Hub-App

At first it was a rough implementation to see if the tech stack could do what I want; later it was "let's polish to make it usable by others"; later it was "I need to make it good enough that paying customers would be very pleased". Numerous times I kept wanting to just call it finished, but there were always cool features to add.

I've learned a great deal, and it's immensely satisfying to work on. I've explored face recognition and server capabilities (learning a lot and having a good time). And eventually will likely add both features to the released product.

I'm sure there is great value in small exploratory projects. But I really hope that people polish things up a bit more (at least a screenshot on the GitHub page!) and share it with the world in a more-finished form. There's value in that too.

Cheers!

https://videohubapp.com/
There are very, very few people, with decisionmaking power who not tightly tied to Trumpworld, who believe the pandemic will be over in six months.

The best case timeline for mass vaccinations looks like late 2021 at the earliest, which is considerably longer than six months from today, much less six months from when the pandemic started.

Further, government funding would entirely change the economics of ramping up mask production. If government was paying the bills, it wouldn't matter to manufacturers if demand disappeared before new production capability had paid for itself, because government was paying the bill.
Could you elaborate on why you disagree?
>This CEO needs to go, needs to be replaced by someone who is well versed in technology instead of in law.

Baker was officially appointed CEO in April, though has been doing the job since December when Chris Beard resigned.

I'm very confused as to how everybody seems to have missed this. I had the first couple hundred posts opened and can not find a single mention of Beard
Todoist, Notion, Productivity and Happiness
I think the issue is that the 'nebulous middle-men' actually provide value: they each make decisions based on ambiguous signals, resulting on the whole in better overall decision-making than a central production authority. As an example, a nation mask-making concern doesn't really know how many masks to make. It doesn't really have an accurate count of health-care interactions per day, so it doesn't know how many masks to make in order to provide one per professional-patient interaction. Given the relative political costs to central decisionmakers of a shortage versus a surplus, they will tend to overproduce. This is a kind of socialising costs while privatising profits: society pays for the overproduction both in terms of cost-to-produce and opportunity costs for other items (How many servings of formula for abandoned children is a mask worth? How many prison guards is a mask worth?); meanwhile, the individual decisionmakers enjoy increased social status for insuring supply.

There simply isn't enough information to make good enough decisions centrally. There is waste associated with decentralisation, too (each of those middlemen gets his cut!), but it turns out that there is less waste and more wealth with a free market than with a centralised one.
> We're more than 6 months into the pandemic at this point, and no sign of reaching the end

The pandemic was a looming threat in January, but we'll give a one month pass due to bureaucratic slowness. If machine production had been started in February, we'd currently have two months of full scale mask production. Right in time for flu season.
I have a stutter. Years of speech therapy as a kid did very little to solve the problem. The only thing that helped somewhat was a device called the "Speakeasy". It looked similar to a hearing aid, and essentially played back what I said to me. The insight was that when people who stutter speak along with someone, they tend to stutter less. I've also noticed I don't stutter at all when singing along to a song. It kind of ties in with this study; your brain knows exactly what speech to form, so the "weak" connections are sufficient.

Really happy about the progress being made in this field. Stuttering has been both a cause and result of my social anxiety, which people often mistake for aloofness or worse. Can't wait to try new therapies!
I don't think the PI was the major misstep for Intel. It was the low power device revolution which led up to cellphones. Silicon has become a commodity business. Companies can pretty easily get a contract set up with one of the major foundries and begin cranking out chips in mere months. While Intel was focused on larger and more complex chips aimed at high performance compute, others were focused on battery powered small form factor devices. Once ARM became the de-facto standard for these, it was only a matter of time before Intel building it's own foundries would become a liability.

History doesn't always repeat, but it sure does rhyme. There's a lot of parallels here to Microsoft and the PC industry.
Yes, which leads to beautiful things like `LIST_SEPARATOR` [1]. Lists in CMake are just strings with ';' as item separator.

All this is just a gentle slap on the wrist for programming in your build system. Or doing something weird like optimizing a CMake-language JSON parser for performance [2].

1: https://cmake.org/cmake/help/v3.16/module/ExternalProject.ht...

2: https://github.com/sbellus/json-cmake/pull/3
if it's all about linux-related products I will be fine with the ads myself.
I dropped out of my masters because my prof basically laughed me out of the room for researching cold fusion/LENR, said it was a waste of time. Good to see unexplained anomalies in Science like this make their way back into the mainstream. We need this kind of science more than ever, no matter how 'crazy' it sounds. Crazy is whatever the hell we were doing the last few decades.
So you consider it a solid browser, and the BATs are just a plus?
> Yet somehow now we can't re-tool less than 0.1% of our total industrial capacity to make PPE? That's beyond us now? Really?

Your "can't" is playing two parts here trying desperately to imply "unable" for dramatic effect but actually means "unwilling" which I think is super misleading.

Like of course we could have, but politicians were more afraid of headlines like "The government invoked DPA and spent billions to produce masks, now they're sitting in warehouses" and "N95 mask producers cash huge government checks to produce masks no one needs."

The actual politicians charged with making decisions have been (I think naively) optimistic about the pandemic and if that isn't us going back to our British roots of going to the pub and waiting for it all to blow over I don't know what is.
Typography of Star Trek: The Motion Picture
In this post I've tried to write down how productivity helps me with my happiness. How I organise my life around Notion and Todoist to make myself productive.
We are talking about the masks specifically. Public health officials cautioned 2 administrations about the US lacking the ability to readily produce masks in the event of a crisis. Specifically saying everything is now in Asia.
Discovery of a druggable pocket in the SARS-CoV-2 spike protein
I think it is largely a philosophical question, but it does have some cultural ramifications. For example, it can change how most people think about and punish crimes.
Obviously he chooses not to mention that he was fired in his CV https://en.wikipedia.org/wiki/Craig_Murray#Removal_from_post

He has taken some (all I'll say is) differing views on various foreign policy matters, sound is probably pushing it considering he has been consistently contrarian without any evidence (and after more evidence has to light [1]) and consistently wrong.

[1] Most obvious would probably be his spat with Bellingcat over the identities of the Skripal poisoners. Other examples include pontificating about the DNC emails
The new with-expressions are a concession to the existence of initializers, which are themselves literally "stuff that should have been in the constructor" and are incompatible with immutability (hence the new init property hack).

The correct path would have been to require primary constructors for records as the only point of entry for data, declare initializers incompatible with primary constructors, and then just synthesize a method for creating copies - but hey, then you might as well just use Scala.
You mean the app that he named almost the same name as another, long-existing Microsoft product? (NuGet) It's not like AppGet was developed in a vacuum. And it's definitely nowhere near the situation like Facebook cloning Virtual Desktop, threatening to crush the original developer if he didn't join them, and naming it the exact same thing.
> The machinery to make this is extremely complicated and takes 6 months or more to build, by which time there may be no demand. No amount of invoking the defense production act would change this reality.

Isn't this the point of the DPA? The government promises private industry that they will buy a certain amount of product to make it worth industry's while to increase production as though the crisis (and thus demand) were going to last more than 6 months? And I get that the machinery takes 6 months to assemble, but that's because everything was designed for a world where the demand for masks didn't rise or fall so dramatically; however, if we could build an atomic bomb in short order, surely we could figure out how to expedite the construction of fancy cotton candy machines in 2020?
This looks awesome. And Batman Beyond is so good.
> In World War II, we retooled our entire economy to embark on years-long total war against fascism. Yet somehow now we can't re-tool less than 0.1% of our total industrial capacity to make PPE? That's beyond us now? Really?

Yes, because of a set of beliefs about market fundamentalism. The masks aren't as important as maintaining the existing product structure of society and proving that government intervention in healthcare can't work; if it shows signs of working, those paid to sabotage it will make sure it doesn't.

Besides, denialism is widespread. There were all sorts of conflicting pieces of information about the effectiveness of masks and various other quick-fix cures. The informational infrastructure is broken in fatal ways.

It became impossible for the US to ignore Japan once the ships started sinking at Pearl Harbor. The striking thing about today is that the huge casualties haven't turned into a Pearl Harbor or 9/11 event, despite outnumbering both of those put together by orders of magnitude.
The list of sites has not yet been added to the site.
There is almost everything in the table here: https://docs.google.com/spreadsheets/d/1M77b0anhEOx45bE9gXgB...
And you can even test me meatware pod on the ground independently before even the "cruelty free version" makes it first flight ;-)
Write Shorter Blog Posts
> After a couple of weeks, Jake surreptitiously “moved in” and started sleeping at the office.

weren't you alarmed by this already ?
As a use case other than the bottom type or "doesn't terminate", some pure languages use it to mean "this code path is impossible". I always liked the way Elm (and I assume many other pure functional languages) define(s) `Never`:

type Never = JustOneMore Never

As the only constructor takes an instance of itself as an argument, any attempt to construct one would become infinite.

This very naturally allows for a function to obtain any value you want:

never : Never -> a
never (JustOneMore nvr) =
never nvr

If you can get a `Never` instance that can't possibly exist, you must be in a code path that can't happen, so you can get any value you want to short circuit early and make impossible return values. That makes it very useful in a language with no runtime exceptions to handle impossible cases. (E.g: you can go from a `Result Never a` to an `a` where normally you'd have to handle the error case).

[1]: https://github.com/elm/core/blob/1.0.5/src/Basics.elm#L948
It is strange that corporations like Mozilla give me some communism flashbacks. In the communist times of Romania, the earnings were privatized (meaning that the party took all the profits and stored them abroad in fiscal paradises) while the losses were socialized and the party imposed austerity measures on the proletariat[1] because of their management failures. I draw a parallel between what happens with the raise of their executives salaries and the layoffs that affected the engineering department. Nassim Taleb wrote a good article about Corporate Socialism[2].

[1] https://en.wikipedia.org/wiki/1980s_austerity_policy_in_Roma...
[2] https://medium.com/incerto/corporate-socialism-the-governmen...
Articles like this should be flagged. Reading that web is like drinking leaded gas.
I'm curious about what people think of a "second-request" kind of strategy I have at work:

Sometimes when I get asked to do something I feel is unreasonable, unwarranted, or unnecessary (and it's not something like, there's a fire in the conference room and I'm trapped, please help), I'll totally ignore it, but if they ask a second time, I'll just do it.

Very often they either forget, or just do it themselves before coming back, confirming that it was either unnecessary or they didn't need me to do the thing in the first place.

If they do come back, it's easy to come into the plausible deniability and "Oh sorry I forgot! I'm on it." And then maybe guilt them with "I was caught up in ${task that actually is part of my job}."
Do you have any good learning resources on encryption? any Github repositories worth mirroring, with the actual implementations? I am a programmer with zero experience in that area but want to some day be able to "roll out my own crypto" if necessary :)

EDIT: I'm not afraid of all the math I need to learn, just point me in the right direction.
The only reason to use it on iOS is to synchronize your profile with Firefox Sync.
Is there good data on that from any of the vendors? I'd be very curious how the effort is distributed among various pieces.
The average Mozilla Gecko engine developer can quit and get a job at a big tech company making a lot more than $200K a year, definitely if they live in the Bay Area, and probably even if they don't.