skysight-inc/HackerNews huggingface dataset:
1. Apply for unemployment as soon as possible.
2. Update Resume
3. Contact you network.
4. Start Applying for jobs. Can't be too picky right now.
There is no restriction to "purely Tech, STEM & Tech/STEM-business related".
You should be glad. Pharma companies are well-known historically to have milked monopolies to their own financial favor at the cost of public health, well-being, and welfare. They are not traditionally seen nor acting in congruence with altruism. If a company has decided to do so, that is great. But I think seeing this as some sort of a slippery slope seems completely backwards to me. It's about time pharma companies cut a little of their profits for the benefit of people. The cost of research is far outweighed by their excessive profits that come after the fact.
The feel is different though. There needs to be schadenfreude. FuckedCo wasn’t just a lay-off tracker, it was watching an entire economic sector collapse because of bad investments and poorly run businesses. It was the watching a unicorn die because it turns out when you lose money on every transaction, you can’t just make it up with volume. The closest FuckedCo moment now would be WeWork’s implosion.
This is a list of type theory resources: https://github.com/jozefg/learn-tt

This is an exposition of Martin-Lof's dependent type theory: http://www.cs.nott.ac.uk/~psztxa/mgs-17/notes-mgs17.pdf Section 5 is about Homotopy Type Theory (HoTT), a newer type theory that is still being developed.

Chapter 1 of the HoTT book introduces Martin-Lof's dependent type theory, then the rest of the book covers HoTT-specific topics: https://homotopytypetheory.org/book/
Ok, let me try:

- The tooling is excellent -- you can get a basic app running without much fuss; use VScode and the right plugins are you're golden.

- It's "Widgets All The Way Down" -- just wrap your widgets (objects) to add functionality/positioning/etc (it might seem like you're in "nesting hell" but it's actually quite intuitive and you don't need to manage tons of separate Components across tons of files which is nice).

- The layout engine is actually well thought out -- it might take a while to get used to it (it's not like CSS there are no negative margins for example) but once you do it's intuitive and easy to get layouts built fast. Remember everything is a Widget and that's ok, from your app root object to your button.

- It has the best parts of React -- Flutter's "setState" works much in the same way and only updates Widgets which need to etc.

- It's a "game engine built for mobile dev"; you hear this statement a lot and it's really what makes it's powerful. It renders super fast and animations/tweens/etc are easy to implement allowing you to design UI elements the way you want (hence my Flash comparison lol).

- At some point you will need to manage state, save yourself the search and just settle w/ BLOC, again there's plugins to help with the boilerplate, i.e. code-generation (which is also a thing and actually helpful).

- The package/ecosystem (pub.dev) is pretty young but the core stuff you'll need is all there. The main packages I've settled on are: Moor (sqlite), Bloc (state), Chooper (Api client) and JsonSerializer. UI packages are pretty hit-miss but you'll probably just write your own anyway.

- The SDK has tons of prebuilt Widgets that are actually useful and cover most of what you need to make a modern UI, and yes you can make a "native" Android/iOS UI look and feel if you want. I recommend watching the Flutter's Youtube channel series "Widget of the Week".

- Dart is a fine language, I love the way it's implemented async/await for example, should be no problem picking up if you have Javascript/Java experience. The great benefit is that it's only being used by Flutter so there's a nice symbiosis between the two with a strong focus on making a language geared towards interactive/ui/frontend work.

- No Android XML!

Hope that helps some xD
> 2 (Bad Location) - this one became a horrifying monster that devours everything it touches.

I can't figure out whether you mean that location matters or that it doesn't.

And in the first case, whether you think SF Bay Area is devouring everything it touches due to insane living costs and salary expectations, or whether being elsewhere means losing out on certain perceived network / opportunities.
Most politicians are dangerous especially due to their irrational fanaticism about whatever they believe. They want to shape the world to be what they believe it should be without actually paying much attention to it.
USEMS (United States Electronic Mail Service) as a branch of USPS is urgently needed. However, it should not be operated in a for-profit manner.
> Use [] instead of <> for generics. It will save you a lot of avoidable trouble down the road.

D uses !() for generics. It looks odd at first, but soon becomes completely natural:

struct S(T) { T t; }

auto a = S!(int);
auto b = S!int; <= when only one argument is needed

Since ! is not a conventional binary operator, this:

1. parses without lookahead and ambiguity issues

2. stands out in the code as being a template instantiation

Well over a decade of experience with it (and D code typically makes heavy use of templates) with no issues shows that it works.
I've got COBOL experience, but Everytime I check into these positions they aren't paying very well. I don't know about this particular case, but in general COBOL programmers aren't valued very much, despite the high demand within the narrow niches that still use COBOL.
Minting Money with Monero and CPU vector intrinsics (2014)
Previous discussion: https://news.ycombinator.com/item?id=8238133
I think it helps to think about the problem from a multiparty standpoint. On wired ethernet the simplest case is one wire going between two machines. In coax everyone shares one channel and so RX and TX have to interlace instead of overlap. You go to twisted pair and it’s unambiguous that full duplex is available and desirable.

But, now you cant just wire three machines together, because everyone’s TX has to connect to your RX and vice versa and how would that work? How about with fifty machines. You’d need some sort of star arrangement, or a little box in the middle to juggle every outbound to every inbound.

With wireless there is no box in the middle (except, very loosely, in two-tier mesh networks where infrastructure nodes talk on two channels and leaf nodes on one), so it’s really like wireless coax with the occasional router. If you want more bandwidth you could run several channels everywhere, or segment fewer machines into separate channels and connect them with more routers.
Try sending an HTTP POST to someone's phone.
I tried (lightly) to convince people to switch from <> to [] well before Rust 1.0, but even when many (not sure if it was most) agreed that square brackets were superior, there was no will to make such a radical syntactic change, for two main reasons:

1. Angle brackets are also not uniformly superior. Technically, I think it’s fair to consider them uniformly superior, but social aspects are important too; there was reasonable concern that Rust had exhausted its weirdness budget. (Of the most common languages people may be familiar with when coming to Rust, I think Scala is the only one that uses square brackets for generics; the likes of C++, C and Java are much more common and use angle brackets.)

2. For Rust specifically, it wouldn’t actually have been just a syntactic change—if you want to change array indexing to use function call syntax, you’ve got to sort out more technical challenges there, things that would be approaching trivial in full-GC languages but which are actually rather difficult in Rust. Specifically, function calls are rvalues only (`… = f()`), but array indexing can be an lvalue also (`a[i] = …`). So you need to more or less unify the Index and Fn trait families, auto-ref/-deref might cause trouble, and placement might make an appearance in it too for best results (and that’s something that still isn’t resolved). Now I’m inclined to believe that these changes would have been a really good thing and resulted in a more coherent and incidentally slightly more flexible language (and not in a dangerous way), but it would now be even more difficult to achieve (though not impossible; the edition system could be used for the syntax side of things, and Fn/Index implementations are still mutually exclusive, because you can’t implement Fn manually on stable, so you could blanket-impl Fn traits for types implementing Index traits without breaking backwards-compatibility).

I’m simplifying the story a bit. Others may fill out more history and technical detail if they desire. I’m going to bed.
we have always been at war with Eastasia
Ask HN: Favorite books on cognitive development for toddlers?
My son is about to turn 1 in a week, and I'm interested in learning more about the cognitive development side of what's ahead for him. I like to think he's a smart little dude, but I really have little context (especially because he can't socialize right now).

What are your favorite books on this? Ideally I'd start with some sort of Pop Science book (like a Gladwell-esque intro) and then get deeper into the science/research after, but I'm game for anything.
"Consolidation of our economy has been disastrous."

Disastrous? Were we better off in the days of Sears and Barnes and Noble? Companies like Walmart with $500 billion in revenue have margins of about 3%. A 10% revenue tax must increase prices, or Walmart would lose money on each transaction.

What you're promoting is a tariff on goods bought from big companies.

Tariffs are bad. They are regressive and anti-consumer
Why do tech companies only hire engineers in Boulder?
Of course it can. But all the physics people aren't pursuing it in order to find an interesting mathematical construct. (That's what math people are for.)
The numerator is also obviously underestimated.
He have also written Ractive.js and Rollup.js. From what I've seen Harris doesn't only "know JavaScript" but have a better _vision_ about its future than most, a lot of cool ideas and the skills to try them.
Thank you for the list of resources. Given the current situation, this will make interesting reading/study material.

If you're comfortable, could you please share how you made the transition to quant from a programming/SWE background?
Author here: happy to take comments or criticism
He probably was interested in it. Not everyone has a traditional background or even day job in the area they're passionate about. One of our neighbours growing up in a small village was a nice old retired man who barely had any formal education, years later I found out he was publishing original maths research online. There's also a guy from Finland who IIRC was a bus driver who is putting great C++ low level graphics and retro programming content on Youtube.

Lots of under-recognised talent is eveywhere.
My guess regarding why they have a stockpile of this drug is that they were hoping to be able to sell it for ebola, for which it's ineffective, and have subsequently been trying to figure out how to sell it. Here, they're able to get clinical trial information (and lots of goodwill) with a potentially small marginal expenditure.

It's also not entirely clear what it means to provide the drugs "at no cost" (later on it says "no charge", but in a separate sentence), nor is it clear how long this promise will last.
Reading the examples, where people jumped on a single mistake to discredit an entire report points to some sad conclusions:

1. Scientific literacy is super low in the general population.

2. Motivated reasoning is rampant. People will believe anything that enables them to do what they wanted to do anyway.
https://dlang.org/spec/template.html
Look at what PE is doing in the Pet care/vet market. Capture the market, raise costs and extract value.
What would be the mechanism for damaging the red blood cells, considering that they don't have a nucleus, and therefore the virus cannot replicate in them?
The cost-benefit was not there. It was simply not worth it to take the necessary hard actions to reach a level of difference in preparedness on a group level. (Basically it would mean that anyone who wanted to "protect themselves" would have to strategically move to one place, buy land, organize, coordinate, get politically active, etc. It's a long and costly project. Usually only sects and religions have the capacity to carry out things like this.)
I think .get would be more plausible. It's just strange that we can't use [] for indexing, which is an operation that can apply to any container, but << and >> must be reserved for bit-shifting.

If I'm adding shifting to a new language, I'm inclined to use functions just so it's clear what's going on, and to put operations like rotation on an even footing. Also, I don't think people have an intuition for the precedence of shift operators, which makes them less useful.
Hasura by far, lets you point-and-click build your database and table relationships with a web dashboard and autogenerates a full GraphQL CRUD API with permissions you can configure and JWT/webhook auth baked-in.

https://hasura.io/

I've been able to build in a weekend no-code what would've taken my team weeks or months to build by hand, even with something as productive as Rails. It automates the boring stuff and you just have to write single endpoints for custom business logic, like "send a welcome email on sign-up" or "process a payment".

It has a database viewer, but it's not the core of the product, so I use Forest Admin to autogenerate an Admin Dashboard that non-technical team members can use:

https://www.forestadmin.com/

With these two, you can point-and-click make 80% of a SaaS product in almost no time.

I wrote a tutorial on how to integrate Hasura + Forest Admin, for anyone interested:

http://hasura-forest-admin.surge.sh

For interacting with Hasura from a client, you can autogenerate fully-typed & documented query components in your framework of choice using GraphQL Code Generator:

https://graphql-code-generator.com/

Then I usually throw Metabase in there as a self-hosted Business Intelligence platform for non-technical people to use as well, and PostHog for analytics:

https://www.metabase.com/

https://posthog.com/

All of these all Docker Containers, so you can have them running locally or deployed in minutes.

This stack is absurdly powerful and productive.
Salesforce if it’s for line of business.
Finally someone who thinks.
Exactly. Every country affected by COVID-19 saw an enormous surge of deaths by respiratory diseases. Here in Brazil there are signs that we may be underestimating both infected and deaths by a factor of ten.
Oh, ok. Assumed that this would be too good to be true. Thanks anyway! The equatorial mount would be nice but I thought more along the lines of making a one-off night sky time lapse video out of curiosity. I gotta stop buying hardware for one-off fun projects, so this will probaly remain a "some day, maybe" that never gets done ;)

I'm assuming the dark current is what the camera picks up even when it's 100% dark? Also, I would need a bigger lens so that I can capture more light right?
Tho they've focused mostly on care instead of the science (they don't believe in randomized trials), and it's going to be hard to know if the treatment is efficient from those (the EU and Michigan studies should help figuring that out).
Svelte support in the Jetbrains family of tools is great (IDEA, Webstorm etc). There are a few issues, but they're all minor. Started using Svelte for serious work a few months ago, very happy with it, best frontend framework I've worked with thus far.
Cryptoindex AI Daily Predictions and News for 04/05/2020
is this Reddit ?
The headline really cuts off the points nose.
> If by remote control you mean TV remotes...

They don’t mean that.
That's a good point. It depends on how many infections on DP occurred after passenger isolations & mitigation measures, which would also lower viral load. I'm not sure we have that data. They stayed on the cruise for a long time. A Japanese expert went on the ship to examine the practice and he was very concerned of further infections.

Viral load from infection on DP would be quite close to those living in the same apartment/house/nursing home. In a country with multi-generation households, the viral load could be similar, unless measures are well taken. In other countries, the viral load would depend on how well the elderly are shielded from infection.
Awesome!

I've heard that OSCP is a lot more CVE based than hackthebox. It apparently also has a lot more rabbit holes compared to hackthebox. I haven't checked out thecybermentor yet, but a friend of mine has and he seemed to like it as well.
This is a hard problem, mainly because of the problem of motivated reasoning as mentioned by another comment.

You're requiring cooperation from multiple different parties here (scientists, journalists, policy makers, readers, etc.) and any of these parties can warp the results in any number of ways regardless of the cooperation of other parties.

Climate science still hasn't solved this problem despite trying to implement what you're talking about.

It's an age-old problem, if a priori you're looking for something hard enough you're bound to find it.
Wow, what's most striking to me is the paragraph's writing has gone from simple and well written to something a middle-school student would produce:

", as well" -- unnecessary

"stop-gap buffer" -- redundant

"immediate supply...immediately available" -- redundant. If you really want to use "immediate" twice in a sentence for some unknown reason, use a synonym.

These three things are objectively bad writing, and this is coming from an engineer that isn't exactly Shakespeare.
(We detached this subthread from https://news.ycombinator.com/item?id=22786688)
This is exactly what I came to post. It's just a really well thought out service with gobs of connectors and a rich enough model to allow for basic boolean, looping, and scripting.

I used it plus a Google sheet as the first version of a UI for the last company I worked at. Instead of waiting for our front-end folks to finish up the UI, I just pointed a logic app at it, ran some basic logic on it, and brought it into the system whenever it was changed, and imported the data into the main data stores.
I’d be really interested in who the stockpile is meant for if it’s not for people living in states.
As are nearly all taxes. My locality recently enacted a "hotel tax". Do you think that money comes from the coffers of the business, or does the price of hotel rooms rise to pay the tax?

Of course it's the latter. Same with the gasoline tax, tariffs, value added tax, cigarette and alcohol tax, the list goes on.
Configs suck? Try a real programming language
Because they have never raised R&D in the first place, hell, they most likely never did R&D and never will but now they have a so called R&D department.
Congratulations, your income taxes sponsore that type of low-hanging fruits frauds.
I think, at the least, if journalists get some quotes from other scientists before publishing a piece on a new model it would be a major win.
I do in-house marketing and digital marketing. What challenges are you facing?

(I don't have a course to sell you and my services are not available for hire.)
Above her station? She’s the Speaker. She’s one of the most powerful politicians in the country. She’s doing her job.
sure, the CFR will probably fall sharply.

our hospitals are still drowning in patients who require potentially weeks of advanced care, though. Seven billion people times a lower than anticipated death rate but a relatively high needs-lots-of-care rate is, empirically, still a total clusterfuck.
Yes I tried to make that clear by mentioning that an antenna is a passive device. I just wanted to clarify that antennas help both at the transmitting and receving end. English are my 2nd language so maybe I could have explained it better...
Yep, like smartphones wifi antennas, get a strong signal, bur experience is bad due to weak transmitter.
Yeah - I was trying to play off the George Box quote but maybe it's too obscure https://en.wikipedia.org/wiki/All_models_are_wrong
I would say it's in a small subset of people who think like computer scientists rather than like software engineers. Computer scientists think about better syntax for computer languages. (I don't think that this is actually a better syntax, especially given the already-established conventions. But thinking about array indexing as a function call is, in my view, an interesting take.)

Software engineers, on the other hand, worry about how to efficiently write non-trivial programs. For that problem, this change doesn't move the needle whatsoever.

Most non-junior programmers think more like software engineers than like computer scientists. And even many who think like computer scientists can see the forest, not just the trees.
I imagine they might say it is for helping other nations. The reality is it probably really is for the states. The conspiracy theory is probably that it is for the 1% and for those in power.
We aggregated all these lists on https://getwanted.com/switch + a search engine per location / position
We are also not counting deaths due to overwhelmed health care systems.

In Madrid, in 2019, 794 people died total in March. In March 2020, it was 1318, with 192 COVID-19 deaths. 542 more than 2019 due to an overwhelmed medical system.

In Catilla-La Mancha, 534 in march 2019, 938 total deaths in 2020, 206 officially from COVID-19.

In Spain and Italy, total mortality is around 2-3 times more than direct COVID-19 mortality.

https://elpais.com/sociedad/2020-03-27/el-coronavirus-causa-...

https://talkingpointsmemo.com/edblog/this-is-very-important-...

https://pandemic.substack.com/p/the-elephant-in-the-room-und...

To put all of this into perspective, our public health system is VERY sensitive to shocks. Just having a marathon in your city can increase the overall mortality of hospitalization by 3.3%.

https://www.nejm.org/doi/full/10.1056/NEJMsa1614073

Articles like this are incredibly dangerous, bordering on criminal negligence.
Anamorphic Format
Yeah, somewhere in the reporting/auditing workflow, there should probably be a flag distinguishing whether vulnerabilities are actually dangerous in a devDependencies context (they rarely are). I find that jest and webpack especially generate tons of these irrelevant "vulnerabilities" and it's really annoying. It's a security issue too since it leads people to start ignoring the audit output.
Both under detection and the lag between detection and death are important. China’s case fatality rate slowly increased from 1% to over 4%. Assuming a pessimistic 50% of cases where detected that’s a 2% fatality rate. More optimistically, if 20% of cases where detected it’s 0.8% fatality rate.

However, China has a much younger population with only 10.8% of the population over 65. So, US numbers will likely look much worse even if age adjusted mortality is similar.

South Korea has much better population testing and currently has a 1.5% CFR, which IMO is a good benchmark.

PS: Under 50% of infections are asymptotic based on cruse ship data not the 80% mentioned here. However, a lower percentage needed hospitalization.
There's some truth to the idea that the Feds do need some reserved for things like embassies, warships, FEMA, etc.

The current meme going around local news Facebook comments seems to be that the Feds are just a backup with no direct responsibilities for disaster management, though, and that it's all on the states for being unprepared. Which, well, is bullshit.
On making effective Anki ( spaced repetition software) flashcards