skysight-inc/HackerNews huggingface dataset:
> If types are better than nothing, and tests are better than nothing, then how could both tests and types together be worse than nothing?

Ok, move it to the left by one, my point still stands: considering his goals and experience, types + tests will most likely be almost at the bottom of their food chain.

> No, I didn't miss it. I just disagree with it. Interpreting values at runtime is called "parsing".

Actually, you completely misunderstood it. It has nothing to do with parsing. Its all about design patterns, functional + dynamic language design patterns to be more specific.
Double pinky swear.
He was engineer, senior engineer, and then cto at active campaign..
Surely it would be easier for your parent / MIL to install from the Mac App Store.
It is almost if the United States is a third world country by cutting off healthcare in a pandemic.
Well, that’s great, but once again, it has nothing to do with “shared sacrifice”. What you’re describing is called “normal participation in the economy”, maybe at a higher rate than usual.

But maybe I’ll take a page from your book and “sacrifice” myself right into a new C8 Corvette. It’ll be a struggle, but I’m doing it for the people...
I was part of the dotcom crash. I went to community college which made things more difficult than university grads. Many people left the field in my year. Not really sure how many programmers are left in the group today either.

After living in java throughout school I managed to get a minimum wage 6 month contract in php and never looked back transforming that into 6 more months and fighting out a 2500 month wage for my last 3 month contract with them.

The interview for that was tough. In the end it was myself and another person from university who spoke in more advanced terms. The final piece was a take home assignment and I did it quickly and the other person couldn't so I got the job. After I got the role I would see the candidate she would come in and have lunch with the a co-founder she connected with during the interview process. When she found out she didn't get the role she cried in the middle of the room for so long, very uncomfortable. There was always a bit of hate from that co-founder after, you could tell the co-founders were fighting (they were a couple founder team). My advice know your stuff and when you get the call give it your all even if it looks/seems impossible.. I applied to so many jobs before I got even that interview.
Google banning competition? Totally unexpected.
Why not SUSY then?
Once you understand the formalism you can derive any field theory to your liking.
So on Friday you have good health coverage, and then you get a recorded message on Zoom from your now former job. Now you have to pay for COBRA but you only have enough money reserves for two months of housing/food. So you apply for MediCal. Nope, you have too much money. So the reasonable thing to do is to take no health insurance.

Then, you get the coronavirus. Pretty bad. You’re young, so you live through it, but those days on a ventilator weren’t cheap. But unfortunately for you, the ambulance driver took you to one of those hospitals that sues its patients for non-payment. You should have told them to take you to a different hospital as you were gasping for breath.

In any case, you now have a medical debt of $40000 for a week or two of ICU. You have to file for bankruptcy. Unfortunately you’re young, so you’re barely into the principal on the house. So that’s gone.

Luckily, you still have your car. At least you can get to interviews for the few jobs left in the recession. But it’s sure hard to show up looking clean without a shower. At least now, you’re eligible for public insurance.
Qt, Open Source and Corona
I'm perfectly happy at my job at a very small established company. Unbelievable freedom, no mandatory overtime, everybody is on a first name basis with the CEO, no stress, no "PIP"s, no worries about my equity going down the toilet, and I got my own office.

My total compensation might be half of what I could get at large corps but I don't need to live in a city (lower rent and housing prices, fresher air) and money isn't everything. I can commute the short way to the office via bike which takes off even more time I spend at work.

Working at small companies can be really good.
The link is not working anymore. Seems like the tweet has been removed.
This also limits how the UI is presented. With 1 stream the client can not choose how the UI is presented — there's a single video stream.

Tradeoffs.
https://web.archive.org/web/20200409030935/https:/twitter.co...
"However, when you get sick that rate doesn’t go up, so there’s no incentive from your employers standpoint to fire you when sick."

Sorry but that's just wrong. Most large employers and even many smaller shops "self-insure" meaning they are footing the bill. Your health insurance company is just a front/conduit/paper pusher. In those cases, it is your employer who is ultimately deciding your prescription is not in the formulary, your jaw surgery is cosmetic even though you suffer from chronic headaches, etc. It is also your employer who sees that employee number 438 is costing them >> 1M/yr in covered medical bills (cuz cancer). They have every incentive to suddenly realize you are not working out for entirely unrelated (and fake) reasons.
Looks like the original tweet got deleted, but archive.org got us covered:

https://web.archive.org/web/20200409030935/https://twitter.c...
> Wouldn't everyone be better off if that language was Rust itself, and people who don't want to write that "modern code" ... don't?

Agreed. The author's whole argument of not wanting "having to make these superficial changes again and again" doesn't make sense. There isn't any requirement for all code to follow the latest and greatest idioms. Rust guarantees backwards compatibility, and the author even acknowledges that in the article.

It would be pretty sad if the reason for no new features or syntax in Rust was due to programmers not wanting to feel like their code was no longer idiomatic.
Nothing rabid about it, it's very rational if you and your whole family gets to be a Heinleinian Real American Citizen with HealthCare ™ after a stint in the military. Plus the neighbours give you salutes on the 4th of July.

I would do it too under those circumstances.

Also: https://www.militaryonesource.mil/financial-legal/legal/citi...
Disney's net income in 2019 was 11.05 billion U.S. dollars, marking one of the highest figures to date.
You can still say a lot about what you did without getting into technical specifics. My original thought was to record what you did, not a step by step account of how you did it. Maybe I should change it to say "any proprietary or company sensitive information" and leave off personal. I just wanted to remind the user not to accidentally put something on my site that shouldn't be on a non-company server.

I am also planning on adding a pdf "report" that will show all of your accomplishments for a given time period. The notifications are the main selling point and I am planning on adding a lot more different types with the goal of being able to add accomplishments through the notifications.

Thank you so much for looking at this. It really means a lot. I will take your opinion on the price into consideration. Do you have any ideas as to what would make this app worth 9.99 a month for you? What features would you like to see implemented into a site like this?
Thanks for saying so - I had no idea. I imagine this extension is simply a UI built atop that functionality.

Very good to know!
I hate it when the software I am trying to use installs itself on my computer after I click on it.
I think the suggestion that the failure was a question of timing, "positioning" and a poor launch is naive. It wasn't a very good product. It had some nifty features but they were all jumbled together into a mess that didn't solve real problems. Was Google even using it internally?
Differential forms aren't necessary for this though.
Did it not occur to them to, I don't know, "test" the API when they make changes? A compiler or stricter type system may help prevent certain careless errors, but not all (or even most) of them, while a proper test scheme will catch all such errors.
There is also "Son of Anton".
I’m an early user of GetCloudApp that signed up when it was $40/year. It’s now over $100/year. It does what you offer and it’s lightweight.

They also let me use a custom domain as part of their platform. That makes it look like the images are hosted by me and not them.

I’d have switched a long, long, long, time ago if they didn’t have that feature.

Might make sense to also add that to your tool.
Thank you first time hearing about this
> If something I need is added to Rust 2018 or a later edition, I'll be forced to update or backport.

Should add that new editions with breaking changes are only expected to happen rarely (iirc every 3 years), a large difference to 6 weeks.
National IT Industry Promotion Agency(NIPA)helping to Usher in the IT Innovation
Agreed. Many people say it but it seems lots of people who make new products forget — you have to meet the consumer where they are today and hold their hand to the bright future that you envision. Jumping directly to that future often doesn’t work because people aren’t quite ready for it or don’t get it. The iPhone started off ridiculously simple if you compare to what we have now with iOS 13 or whatever. If google just basically made google chat actually good and last forever then add features to it or something they could have probably brought people to Google wave eventually. But they launched it like you started watching season 2 of west world half way thru. It’s like... uh what is going on here, huh?
Discounting tensorflow is such a ridiculous argument. All of these products were used internally in some way or form before released outside. You will find some reason or the other to not count successes.
A very significant percentage of employment in the US is contract work. So people quite often need to purchase their own insurance to get a good plan.
I couldn't really afford a good plan along with everything else so I just moved to Mexico.
The only difference between "furloughed" and "laid off" is whether the health-care benefits continue.

There's a strange detail I learnt, if you're laid-off then COBRA still only helps you if your employer keeps the same plan (i.e if they switch to a high deductible plan, yours changes too).
Does it mean you have to distribute it to employees?

It seems to me that even if Disney earns 100 times that, their employees should not get more than the market rate.
There are extensive government programs to help that were recently passed. Obviously the programs probably won't pay the full salary of an engineer or tech employee, but there is help.

> Any full-time or part-time worker who is furloughed, laid off or had their hours reduced due to the coronavirus is eligible for expanded unemployment benefits.
Computer prices are only falling when you compare processors with the same speed and monitors with the same resolution. Overall, prices might as well increase if you look at the prices of the last flagship phones or at least remain stable if you look at main memory.

It comes down to the [1] Jevons paradox.

>In 1865, the English economist William Stanley Jevons observed that technological improvements that increased the efficiency of coal-use led to the increased consumption of coal in a wide range of industries. He argued that, contrary to common intuition, technological progress could not be relied upon to reduce fuel consumption.

PV and Wind fell because they were above the market costs of energy. Once they are below, they will stop falling further. Prices will only go further down if energy supply outpaces demand. Why should that ever happen? Have you seen people stop buying SUVs? Once energy gets cheaper, SUVs will become even bigger.

Being well-off essentially means being able to waste energy. To signal status, people will burn all available non-essential energy, however much there is to burn.

[1] https://en.wikipedia.org/wiki/Jevons_paradox
Interesting approach --- I wouldn't have guessed that results would turn out as even as they seem to. I spent yesterday sawing some 20" cherry with an Alaskan Mill. I've finally got a good setup with a good saw (Stihl 462) but it's annoying how slow the process is even when it goes well. And it's discouraging how often one needs to resharpen the chain to cut effectively: at least every 30' of cut seems about right.

His birch-stump-chainsaw-vice at 7:47 is incredible: https://youtu.be/8qz64ELkxdA?t=468

I'm not convinced by his theory about why using the tip of the chainsaw helps. Rather than just being the effect of fewer teeth, I'm wondering if it might have a lot to do with the "increased effective raker depth" when the chain goes over the rounded tip.

I'm still a bit confused how he starts the cut. Somewhere deep in the comments, he says: "First, you start a shallow straight cut along the guide wire with your chain saw’s tip. Once you have a shallow straight cut you start the swinging motions as shown in the video..." It seems like this would be essential, and hard. Guess I'll have to try it.
In general, people aren't dumb. They simply don't care to learn how to use your software and just want it to "do the damn thing". Also, your software probably isn't as easy to use as you think.
To anyone thinking of playing: there is one puzzle in Myst that is virtually impossible to solve without a walkthrough. It’s in the Shipwreck age.
More like their money printer, ESPN, ran out of ink. Theme parks shuttered, movie shoots scrubbed. Theatrical releases delayed to next year. Disney+ is doing great but that’s like saying the orchestra makes great iceberg accompaniment.

They are freaked out and making any decision they can to stop the cash burn, if it’s a good idea or not.
> Magnetism is a consequence of relativity and the finite speed of light

That doesn't make any sense.
Ethically it means you should take care of your employees during a pandemic or any other exceptional circumstance.

You know - the staff that were there for you, building your empire when times were good. Now they are suffering and Disney is posting record income numbers.

You sound like one of the asshole, cut-throat managers who makes decisions like this. I hope people like you die in a fire.
It is also the few parents with no contact order trying to get contact to kids.
What the fuck? “Should not get more than market rate”?
MBA's and management consultants fucked over the world, seriously. They are like mileage churners, but with people.
I use tcomb-validation[1] to validate incoming data. The downside is that it cannot use TypeScript types so you have to define the schema twice.

For me, the duplicated types turned out to be less of a hassle than initially anticipated. In many cases, I ended up with different data structures anyway because the data is transformed in the client. I think of them as transport types and client types.

[1]: https://github.com/gcanti/tcomb-validation
Samesy.I almost used dynamic last week for maybe the first time ever, but ended up with a simple generic class instead.
This is the ad-absurdum[0] conclusion of the "Cost Center". Cost Centers don't make money, they cost money. Therefore any money you spend on them is lost.

Along with this you have the Iron Law of Bureaucracy - organizations tend (tend!, it's not absolute) to further themselves ahead of their stated goals or directives.

The right question everyone should be asking is how does the parent organization actually make money, and how to help them do that?

0. https://en.wikipedia.org/wiki/Reductio_ad_absurdum

1. https://en.wikipedia.org/wiki/Jerry_Pournelle#Pournelle's_ir...
Agreed, if it causes the company to have severe financial distress or even possibly go bankrupt, hard decisions such as these have to be made. If the company goes under lots more jobs and wealth is lost.
The tech situation in y2k vs today is incredibly different which makes them somewhat hard to compare. E-commerce was minuscule, telemedicine didn’t exist, social media wasn’t a thing as we know it today, ridesharing didn’t exist, cloud computing wasn’t a thing. It seems highly unlikely that we will regress to a state where such services are not required.
This is a problem of insufficient data. We don't have a denominator, so there's no way to tell if it's more widespread than we thought. In fact there's no good way to tell how widespread it is at all. We have numerators: number of people sick enough to show to up to an ER, or number dead, or whatever, take your pick. But in every fraction we might want, we lack a denominator: total number of people infected.

There's a stuningly simple way to get one: sample randomly from a population of interest in large enough numbers (say e.g. Cook County, home of Chicago, or hell, the entire US) and test everyone for the virus. Voila! You have a representative chunk of your population, an estimate of virus prevalence, and a quantifiable degree of precision about that estimate (SE's for a confidence interval, say). With enough people in your sample, you can have extremely accurate estimates of the spread of Covid in your population of interest. You repeat this process over and over, through time, to track the numbers.

I'm not trivializing this kind of effort: it takes rigorous sampling designs and dozens or hundreds of field workers, among other things. It's intense but very straightforward. Political pollsters (and thousands of researchers in different fields) do it every day.

No one in the US has done this, and no one with any visibility from Fauci on down has even suggested it (that I know of; please correct me). I work in public health, and this is first year, first semester of grad school stuff.

This matters because the public health responses to coronavirus when there's 1% or 10% or 25% or 75% of a population infected all look very different. In short, we may be over- or underreacting to the situation with the measures we currently have in place.

I've been going half crazy wondering what's happening about this for a while now. After the initial fuckup, we now have tests. We have money. We can do this. Why don't we?

(Iceland has done this!)
Yes, for sure. In practice (and not at the 50,000 ft. level), you do try to include the multimodalities — you don't _really_ just use E[quantum_energy(r)]. But you ARE still reliant on some computable/smooth/Lipschitz moment and/or expectation from the quantum surface. The semi-heuristic argument for why you get away with this in biological simulation is somewhat heuristic, but of the following form:

- Most quantum field theories are described by of the form L(E), where E is an energy level ["effective field theory"] and the Lagragian changes as E change.

- When E is low, L(E) is classical mechanics & EM

- When E is around 1GeV, L(E) is the aforementioned plus QED

- When E is around 100GeV, L(E) has the aforementioned plus some QCD

- When E is at 1 TeV, L(E) has the aforementioned plus Higgs-like stuff

Now biology is on the lowest end of that scale, so you mainly have to deal with QED and perturbative electronic expansion. These electronic expansions are the most important part — you need them to get hydrogen bonding + electrodynamic molecular interactions correct — BUT they are highly local.

This locality is what you take advantage of when you normalize — you find from QM that the potentials only matter when the two charged/polar molecules are close, so you try to make a classical potential that has quantum 'jumps' when these things are close.

Do you miss the purely quantum stuff? Aharanov-Bohm, Chern classes, and the like? Of course. But from a practical standpoint, you do get the structures that you measure from experiment to be correct because the 'cool' quantum with 'tons' of states is less important for pedestrian things at low energy scale.

It is still hard to get right though! There's a lot of entropy you need to localize correctly and in some sense, you have to make sure you get the modes as a function of local particle positions correct.

The final thing to point out is that the Wick rotated path integral stuff works for biology much better than for real HEP-type of stuff because molecules are contained at low energies — those tunneling probabilities are O(h E), and log(E) is still dwarfed by -log(h) so you _can_ safely ignore them.

This is not true for things like circuits, however, because the lithography at EUV scales (3nm -_-) does have tunneling issues at high field strengths.

tl;dr: Biology has some saving graces that give you good approximations. Are they perfect? No, but if you find a time that I have to compute a vanishing first Chern class in a noisy, ugly biological system, then you deserve a Nobel Prize!
If you lapse in payment in your inherited coverage from your previous workplace, and get a new plan, will they take a premium for any pre-existing conditions they deem you might have?
As the kind of more conservative Rust user GP references, I've had a great time with the derive_more crate's From derive [0].

This lets me write code like this:

#[derive(From, Debug)]
pub enum SomeSpecificError {
Io(io::Error),
SomeAppLevelErrorCondition,
}

fn do_something() -> Result<(), SomeSpecificError> {
do_some_io()?;
// ...
}

Previously I would have written:

fn do_something() -> Result<(), SomeSpecificError> {
do_some_io().map_err(SomeSpecificError::Io)?;
}

I find this approach results in clear code that continues to compile and work just fine over time, even as everything changes around it.

[0] https://jeltef.github.io/derive_more/derive_more/from.html#e...
Similar product https://www.focusmate.com
I think you're right, probably an ad, but then why didn't they just show Hn?
Companies big enough that "buy health insurance for their employees" is a thing pay insurance companies to administer the plans and they pay the medical costs as well. When an employee of such a company files a claim, the company ultimately pays the cost. I'm skeptical increased payroll taxes are more than these companies' cost to provide insurance. Also, payroll taxes themselves are also deductible.
The tweet has been removed.
Should Disney be more fiscally responsible so they can pay their employees during hard times?

I agree with your comment if it's a small business that struggles to make ends meet, but this is Disney. I do expect better from them.
I have heard of a healthtech startup in Cambridge, UK that is supported by Bill and Melinda Gates Foundation. The company is simprints(https://www.simprints.com). Contact the founders of that company. One of them is Alexandra Grigore (https://www.linkedin.com/in/alexandra-grigore-8aa20186)
No, but it certainly means that Disney's employees should understand exactly how much they matter to the company.

There's a junior MBA somewhere bumping their career by destroying others'.
Perfect, meet Good, your mortal enemy.
Why half-and-half and not cream or butter?
You can even refuse 500USD in hope to get 1000USD...
To match the semantics of a 'fold' the closure would have to receive two arguments: the default value and the Some value.

(I don't think Option has such a function, and I don't see why it should.)
Great job not getting it. Hope your unique skills are transferable to viruses.
That just isn't fair.

It isn’t fair and it also isn’t smart. The hosts angry that Airbnb won’t let them keep the guests’ money after these forced cancellations are caught up in short-term thinking. The long view is that if Airbnb allowed millions of guests to be ripped off then they’d see an epidemic of account closures, chargebacks, and lawsuits that would probably kill the company. That may also create an opportunity for regulators to close the window, forcing all the professional hosts out of business.
WhatsApp piggybacks off phone contact lists and has several orders of magnitude more users than riot.