Plus the additional anxiety of trying to figure out if dropping temperatures will add massive downside variance to your initial range estimate.

Hopefully interactive proof assistants like Lean or Rocq will help to mitigate at least this issue for anybody trying to learn a new (sub)field of mathematics.

Comments URL: https://news.ycombinator.com/item?id=45992439

Points: 3

# Comments: 0

[1] https://www.usa.gov/military-requirements

[1] https://en.wikipedia.org/wiki/Koala

Most investments seem to eventually (?) denominate into USD equivalents, especially if you live in the US. Do you mean hard(er) assets like real estate or commodities (which also leaves me puzzled because they’re still typically denoted in an underlying fiat currency and especially USD if they’re domestic assets).

A judge in Brooklyn recently ruled[1] that dogs are (now) classified as "immediate family members". I wonder if the this might push the Central Park Conservancy to step up considerations for eradication of the coyotes to avoid potential emotional damages in light of the ruling if such a situation were to occur.

[1] https://www.nonhumanrights.org/blog/dogs-family-members/

It's interesting how opensource Zulip[1] hasn't been able to garner as much of a following or usage amongst the gamer crowd compared to Discord.

[1] https://zulip.com/

You parsed that one specific incident correctly, but sems like you also missed key parts of the article that helped bring a bit more nuance into the discussion. I thought this rather short Nature article was actually pretty balanced. Two key quotes are:

* "“The rules have not changed” under the Trump administration, Grode says."

* "The hazardousness of the materials that the scientists sent will need to be assessed in each case, as will the scientists’ intent in using the materials, but their lack of transparency will make their cases more difficult, Grode says. “It’s not so much what was being sent, __but the effort to conceal what was being sent__,” he says."

IANAL, but I think it goes even one step beyond that, which is that the item and derived works can't even be used to support a commercial enterprise, even if the (derived) work isn't being sold or seen by the outside public.

Comments URL: https://news.ycombinator.com/item?id=43888804

Points: 5

# Comments: 0

4 would be a heavier lift because it goes beyond the basic skill set of an average data/junior analyst.

[1] https://github.com/dgunning/edgartools

[2] https://sec-api.io/

By my rough estimation that's ~7M men unaccounted for by simply not participating in the 'traditional' labour force. Keep in mind that it could also 'simply' be that a lot of those unaccounted men are working but in ways that the government(s) at different levels are unable to reliably track.

There have been some articles and attention picking up on this trend over the past few years.[2]

[1] https://www.bls.gov/charts/employment-situation/civilian-lab...

[2] https://www.nationalaffairs.com/publications/detail/educatio...

Can you expand on this a bit more? Are you suggesting that government employees should quit in protest? For better or for worse, the American President is in charge of the executive branch and (most? all?) US government employees are part of that branch.

For this specific use case you can also try edgartools[1] which is a library that was relatively recently released that ingests SEC submissions and filings. They don't use OCR but (from what I can tell) directly parse the XBRL documents submitted by companies and stored in EDGAR, if they exist.

[1] https://github.com/dgunning/edgartools

It's very sobering when we realize that we too will one day be just like them.