skysight-inc/HackerNews huggingface dataset:
I think Linear Algebra is traditionally recommended, since you can readily apply a lot of geometric intuitions while picking up the mathematical ones. The drawback is that you have to make sure you're not cheating yourself of the mathematics by over-relying on the geometry.

Sheldon Axler's acclaimed "Linear Algebra Done Right" is freely available as a download [1] through July due to the pandemic. I've not read it (yet!), but I've heard so many good things about it I feel comfortable recommending it off the cuff. :)

(Recommendation: try not to focus too hard on the matrices! They're just convenient representations (syntax!) for the actual things we care about: linear transformations. It's less geometrically intuitive, but it lays a much better foundation for algebraic widgets other than vector spaces. Use the wealth of geometric intuitions to jump-start your mathematical sense.)

I don't have a lot of recommendations for other algebra topics, unfortunately. My class textbook for abstract algebra was Dummit & Foote, which I found very dry and lacking in intuition. Aluffi is perfectly servicable if you feel good about your linear algebra; just don't feel like you have to complete every exercise.

Also, I'm a sucker for order theory, so if you're up for something a little less algebraic, pick up Munkres' Topology. I'm consistently surprised at how often topological and order-theoretic intuitions come up in software development. There's a close connection between topology and logic, so perhaps I shouldn't be so surprised -- but I haven't studied Stone duality at all, so it shall remain surprising for now.

[1] https://link.springer.com/book/10.1007/978-3-319-11080-6
There's nothing "shameful" about it whatsoever.

It's not like manufacturing is some moral goodness that we've lost, or a defect in the nation's character. Manufacturing isn't "better" than services. It's not more honest or anything.

Free trade raises everyone's living standards. It's economically incredibly wasteful to manufacture everything locally.

Countries absolutely have to make decisions about retaining certain capacity for essential items in case of war or emergency... but everything has tradeoffs. There's nothing "shameful" here, it's just cost-benefit.

On the other hand, if you don't have the manufacturing capacity and you don't stockpile? Yeah, that's shameful. The fact the US didn't have a national stockpile of emergency masks for both civilians and doctors is shameful.
why are folks sad about this? Edge is great. It doesn’t make firefox any less great.
The article doesn't give details but it sounds like that's what he tried last time and is what he trying again:

Hospitals promised to stick with him afterward, but they broke their promise.

And later

Now, it’s only selling to U.S. hospitals. But Bowen asks hospitals to sign contracts. Who can blame him?

Or as the mayor puts it, “He’ll gear back up, and he’ll produce, and they’ll probably do it to him again.”

I imagine as a small business he may not have pockets deep enough to pursue legal action against hospitals that are breaking contacts.
Is there a way, like adding a 'DEPRECATED' file, to mark a repo as unmaintaned?
So package managers like npm, cargo, vim-plug etc. can show a warning message to the user. Message content would be the contents of the 'DEPRECATED' file in the projects root folder.

I understand that for example for npm there is the `npm deprecate` command, but I'm looking for a generic and simple way to do this.

Just noticed a VIM plugin I was using has been deprecated for a while, which caused some problems with VIM that I had to track down manually.
It's not that they care so much about stopping it as they want to steal the talent to work on Android proper. If you've got a person who's already reached an expert level understanding of the codebase, that is a valuable addition to any official team trying to push the project forward.
I'm trying to learn to draw.

I feel comfortable enough with my technical skills where I feel like I can pick up a new language or framework with relative ease, so I want to switch gears and improve my drawing and visual communication skills. I believe that any project can benefit from a compelling visual component.

For now, I've been trying to start slow and just have fun; for example, telling myself to do three quick sketches of my dog every day and keep up a habit. Eventually I'd like to follow some more structured exercises and resources, like https://drawabox.com/.
Products require marketing to succeed, the only exception is when there is a massive utility gap like there was when Firefox started to displace IE. Not every browser needs to be a top 3 mainstream browser but you don't get to say that you're a browser for the masses and then go cheap on marketing without having some incredible utility gains in development. Firefox currently does not have the same utility advantage over its competition that it did when it went head to head with IE.
This is a red herring issue. The problem isn’t that Chinese won’t sell the US masks. It’s that the US is trying to buy too many too late. We could have spent the past decade stockpiling them.

American protectionism is actually part of what created this problem: it was only this week that the Chinese KN95 standard was approved for use by the FDA.
The CDC is warning about mental health impact as a result of extended isolation. They are trying to encourage public messaging that supports social connecting using technology.

Can you use your knowledge to provide ways to do that outside of Twitter?

And do you disagree that there is a void in our social construct by this distancing that is not somewhat emulated by services like Twitter, even if imperfectly?
Tigers' body temperatures are naturally slightly hotter. Maybe this means they can endure higher fevers and thus fight off the virus a little more easily-- from what I recall reading, corona-viruses from bats often are resistant to lower fevers because they've developed in bats, which are also slightly higher in body temperature, especially in flight.
It's not an ad-hoc turing complete language, it is just a programming language. Makefiles are just programs. There are some strange implicits, but that isn't unique to the Make programming language.
Of course, you suggest the company to gamble. Borrow money, build a stockpile at a loss, and wait for a pandemic. What if the pandemic doesn't strike, before they file for a bankruptcy?
One subtlety to observe in that video at the end when he wins is he walks instead of runs so you can't hear his footsteps, and keeps the rocket launcher armed until he has a clean shot because the railgun makes ambient noise.
There's an art to knowing when it's time to generalize/create an abstraction. Because of this I find it silly to create heuristics or rules for doing so. They're as likely to be wrong as to be right.

Which leaves us in a spot where this is always subjective. Sometimes the third duplication is the time to generalize. Sometimes it's the tenth. Sometimes the first.
Not yet, I was in the middle of building a script to convert metacyc (https://metacyc.org/) to a Prolog database when COVID-19 hit - now I'm distracted figuring out the logistics of doing local production of diagnostic enzymes.

I've written something for the biotech crowd (to get DNA synthesis from FreeGenes), so it uses some odd vernacular and definitely isn't perfect for tech crowd - no actual code implementing it yet, but has some useful historical context of how this lands in with everything else.

https://docs.google.com/document/d/1odf8q7ir9NsS0zPvArEg0j0W...
I've been watching youtube videos about ancient cultures and sites. Some of them are lectures that are very well down, others go off on some pretty silly tangents but the videos of the sites they show are often pretty good and that's as close as I'll ever get to visiting most of them so I focus on that when they get to talking about aliens building them and what not. I think I've about exhausted that line though.

I've also spent a bit of time watching youtube videos on a channel called "RÜNGE CARS". This guy hand forms aluminum bodies and builds his own chassis and they're pretty cool cars he making. The craftsmanship is impressive and so is the process. He pretty much takes you through it step by step. I still have quite a few of those to take in.

Aside from that CouchDB 3.0 was release just a couple weeks ago so I'm learning about what's new and how it applies to my work. They're doing some impressive work on that.
Here's some feedback, from a backend dev + entrepreneur who hasn't grokked React yet:

a) thank you for carrd.co, it's something I've been looking for

b) I don't exactly understand what is the use-case for divjoy. It looks like it helps me ship a landing page really quickly? Why do you need React integrated with this?

Perhaps there's a use case for React devs that I am missing?

I can tell you that what I want is carrd.co, but without vendor lock-in. I want carrd right now to launch a beautiful email-collection landing page and do market validation. However, if the market test is successful and I want to transform the homepage into a "sign up now", I don't feel like I can do that with carrd and I would need to hire someone to re-create a landing page with a similar look and feel. So I'd like a "carrd" without the vendor lockin.

[edit: More on carrd, according to their TOS they get unlimited rights to all your content?!?!]
All right, you got me to read the article.
https://en.wikipedia.org/wiki/List_of_fallacies#Red_herring_...

Fallacy of relative privation (also known as "appeal
to worse problems" or "not as bad as") – dismissing
an argument or complaint due to what are perceived
to be more important problems. First World problems
are a subset of this fallacy.

Nestle is evil. Microsoft is evil. Nestle kills more than Microsoft. Microsoft is still evil.
Hard magic system sounds very interesting.

Although "unknown magic" and "ancient powers" are convenient, it bothers me to think there's no consistent system underneath it.

In the setting of the world, people in the world can view it as unknown, but the author is the god and should have a decent idea of how everything works.
US Patient Zero... Joe Exotic!?!
What are some resources you’re using to learn that stuff?
It's a real type. You can do nested queries, follow paths into the structure etc. I've performed quite sophisticated joins over jsonb records.
I don't like to play favorites since there are a number of Lox implementations... but loxlox is definitely my favorite. :)
Curious, why do you want to do that for your startup?

Is your startup a game studio?
This likely means the virus is mutating faster than we imagined. Are domestic cats next?
Loved the website, ordered the book. Any boo that could make a song has got to be good .... right?!? Well at least deserves to have me try.
I hand-drew the illustrations for my first book too, and I talk a little about the thought behind that here:

http://journal.stuffwithstuff.com/2014/04/22/zero-to-95688-h...
It feels like studying for the SAT for me (something I also struggled really investing in). At least it’s more valuable than the SAT in the skills you develop.

It can be really hard to motivate yourself to jump through hoops.
> A hospital charged my friend $5k for three stitches. They could pay 8 cents more per mask. But they care more about $$$ than the long term health of the country.

Couldn't we say the same thing about the owner of this factory? He could gear up and then pay unemployment for laid-off workers after the crisis ends; he did it once.

I am also not a fan of our health-care system, but...it's complicated.
From the article..

Last year, it awarded a $56 million, five-year contract for that solution to Tata Consultancy Services
I've created a tool to flatten and turn any JSON api endpoint into time series chart without any configuration ( it just works ) - I was looking for something similar in the market but never found anything that allowed for 0 config

https://temporals.herokuapp.com/
I've set up a working example with Firebase Authentication (which is admittedly 'something like Auth0') here: https://github.com/dvasdekis/react-admin-hasura-firebase/

Firebase does provide unlimited password logins for free, which mitigated my personal concerns about Auth0. The advantages of a SaaS auth provider compared to a roll-your-own have been documented elsewhere, and I personally found them compelling.

What are the reasons you 'don't like' something like Auth0?
Why should the company take risk to order new machines, hire employees and train them, only a few months later to reduce the manufacturing capacity? Why should he take risk? If people want it that bad, give that company 10 year contract. I support that company's decision to not take risk, as he was burned before.
Toki Pona.

It it's a constructed language that has recently hit the front page of HN a couple of times. It's been fun. Helps reorganize your thoughts a little bit and it's good practice for learning a more complicated language.
I’m a product manager working on a large distributed platform and spent the weekend trying to deploy the various microservices that make up the platform to a dev machine using Docker. I wasn’t totally successful but had a blast doing it!
I disagree. The last bit of what you're saying is particularly telling. It seems to me that you think large change is impossible because you think large changes happens all at once, instead of as a series of small changes, and as a result you're undervaluing small changes.
Ironically USA Today ran a piece (not opinion) about the Obama administration using the strategic stockpile for various things during his tenure, but never refilling it.
/usr/local/bin?
Not yet, no. But thank you, very much.

Once the print and eBook editions are ready, buying one of those will be the best way to say thanks. But, honestly, right now my family and I are in so much better shape than a lot of people. I'm able to work from home in a well-paid field. We're all safe and healthy.

So if you feel like doing something kind for someone, instead of throwing some cash my way, consider donating to a food bank or other local charity that can help people financially impacted by COVID-19.
IMHO adding a Star Wars or movie / pop culture reference fits the definition of being cryptic.
You should spend some time to improve your landing page. Also, the app has issues with image file upload and podcast link. Image is broken after upload. The podcast link is not accessible, it’s returning XML access denied error
It is a shame. But what’s interesting about this is that even the manufacturing base we do have could be scaled up quickly to meet more of the demand, yet it’s not. So why does it save us to have manufacturing base if you won’t scale it to meet surge demand when needed.

The hospitals not signing contracts with him is bad. But probably the more surprising to me is that the government isn’t calling him up to say “hey we will pay you $BIG to start producing masks for us 24/7 that we will distribute”. Where $BIG is enough for him to offset his concerns. After this pandemic slows down the government can continue buying from him to restock (and constantly refresh) the stockpile.

How has the government not by now started to track all the items we need, all the items we have, and called every damn company that can possibly produce those items or know who can to tell them to start cranking? Why do we continue to hear about discoveries of masks in warehouses and the like? The logistical failures here seem to be extreme.
I'm studying Quantum Computing for Computer Scientists [1] - until I found this book, I thought anything covering quantum would be too physics oriented. As the title implies, this book is nothing like that, covering all the mathematics needed (matrices and relevant operations) to then understand various topics within QC ranging from Algorithms to Programming Languages to Cryptography, all in largely self-contained chapters.

I'm currently working through the Algorithms chapter, which builds up from Deutsch's Algorithm [2] all the way to Shor's Factoring Algorithm [3], but I will definitely end up going through most of the chapters.

[1] https://www.amazon.com/Quantum-Computing-Computer-Scientists...

[2] https://en.wikipedia.org/wiki/Deutsch%E2%80%93Jozsa_algorith...

[3] https://en.wikipedia.org/wiki/Shor%27s_algorithm
I mostly just followed the tutorial on their website and read through their documentation.
It's shocking how little effort is put into developing static analysis compared to the insufferable amount of type system work that goes on

Here we're discussing destroying a data format and replacing it with a programming language because we can't be bothered to do static analysis on a data format?

LSP should have made this the golden era of static analysis, but instead everyone conflates type systems and static analysis so the industry gets myopic on typescript and friends

If you took static analysis out of typescript I wouldn't even give typescript a second look, meanwhile something like this where a given key should be one of a set we don't even consider how to do that without a type system

A data format doesn't have a type system and that's partly why they're great, type systems don't work across different programming languages but data does, data is a shared composable language

Data as a concept is more important than a type system and static analysis is more important than a type system
You learn this pretty quickly in practice, I think every junior dev has tried to make an abstraction the first time they saw some complicated business logic and failed miserably. Now if I think an abstraction is easy I'll do it the second time around, otherwise I'll wait until its absolute (n)ecessary.
Read the story. It's what he did in 2009 and got burned by it. Almost bankrupted him. He's learned his lesson.
I get that this is a hypothetical but the idea of his factory workers getting paid anything more than a couple extra bucks an hour for overtime is ridiculous. That simply doesn't happen unless owners are forced to do it.

Is it supposed to be a good thing that people would work 100hr weeks during a pandemic and compromise their immune systems? Why not just hire more staff and have them work healthy 40 hour weeks? It's not as if unemployment is low right now.
I certainly haven't applied any of those examples either. ^_^ Abstract algebra, topology, etc. are all studies of problems that already have mental frameworks. People already did an incredible amount of legwork building the apparati for understanding these fields (no pun intended). The value of learning these frameworks, if you're not going to work in those fields directly, is to understand how to build your own framework.

What kind of tools are in your toolbox for breaking problems down? Where is my problem different from others, and where is my problem fundamentally the same? How can we isolate these parts and handle them on their own terms? This is fundamentally mathematics, however it's ultimately expressed.

Here's a small selection of those ideas I've picked up from mathematics that have absolutely paid dividends in my day-to-day:

* The idea of a "homomorphism", a structure-perserving map between two different domains of discourse. The more I learn about category theory, the more I realize that homomorphisms are conceptually everywhere in software. The more I learn about domain-driven design, the more I realize the role functors (a particular kind of homomorphism) really play in software design.

* The idea of a "fixed point", for limiting behavior of processes. Fixed points are especially pleasant in domains where processes have some sense in which they "grow monotonically". When I can model a system as a series of operations that "add knowledge" and don't invalidate prior results, I know I have a wealth of analytical tools at my disposal.

* The idea of products (pairing) and sums (choice) in type theory, for modeling interactions between components. I feel like I'm in a straitjacket when using a language without sum types; I have to encode what I really mean using tools that don't let me get there directly.
"Nadia, her sister Azul, as well as two Amur tigers and three African lions, had developed a dry cough and all are expected to fully recover, it says. "

How do they know the prognosis?

I hope they physically distance these big cats from their keepers.
I generally agree with this, although this is more helpful when you can't predict future usages of an abstraction. I don't think there's anything wrong with an early abstraction if you know for certain it will be reused, or if it makes the code easier to understand.
Game dev. Being trapped inside, nothing is better escape than video games. We are watching a lot of TV but there are not many shows or movies that get you jumping off your couch in frustration or excitement like video games do.

So started playing a lot more video games than usual. Got Dreams on PS4 which ignited my childhood dream of making video games.

Now I am playing with Unity, Unreal, Swift, Xamarin, and more.
I actually started Drawabox for the same reason, and I must say that I like that change of mindset. It's feels good to start digging into something that is not directly related to software.
As a reference book, the Planet Construction Kit is good and comprehensive.

Although reading reference books like this can be a bit dry, it helps you recognize the elements that an author makes up for his or her world when you see them.
It's hard to take Dhall seriously because it seems like its authors don't take it seriously, and work on it for entertainment. They went through the trouble of creating bindings for five (!!) different languages, and the most popular of them, by a pretty wide margin, is Ruby. I assume Fortran, Delphi, and Idris are next on their list.
There is already a confirmed case of a domestic cat with Covid-19
There are plenty of examples where eschewing Turing-completeness has resulted in safer systems that are easier to reason about.

I haven't experienced cases where I've needed Turing-complete configuration, and regard Turing-complete configuration as a code smell. However, people at least feel they sometimes need Turing-completeness. When they do, I think we can all agree that ideally they'd not need to add another language to their project in order to do so.

I think the ideal case would be a declarative Turing-incomplete configuration language with an escape hatch to a Turing-complete superset, similar to Rust's unsafe blocks. Bonus points for forcing impurity to be similarly confined without scaring people with monads.

If done well, with both an AoT compiler generating highly optimized native code and an interpreter for loading configuration, one might even be able to bring the "configuration should be Turing-incomplete" and "configuration should be in the same language as the application" folks under the same big tent. In an ideal world, the AoT compiler could optionally partially evaluate your program with respect to a configuration file, basically conditional compilation on steroids, with guarantees that the conditional compilation hasn't altered program behavior.

Static analysis would be easier, both for developer tools and the compiler's optimizer. A quick code search would help you focus on the gnarly bits of code. A code reviewer would take pause before approving some code with an "unsafe impure loopy {}" block (assuming "loopy" is the keyword for the Turing-complete superset).
Yeah, over the last decade+ a mixture of legislators refusing to fund the stockpile and government officials opting not to restock parts of it has left it pretty heavily depleted. When given limited resources you're going to prioritize the most important things and they ended up choosing stuff other than masks and ventilators.
Try to make the beginning part of the name unique. If you follow the Hungarian notation, put that at the end of the name not the beginning. Bad example strname, straddress, strphone. Better: namestr, addressstr, phonestr.