skysight-inc/HackerNews huggingface dataset:
See also (in the UK): https://octopus.energy/agile/ which can go (and has gone) negative, to the retail consumer, which seems to be a step further than TFA.
Want to end this mess quick and easy?

The government should send every citizen $300 worth of vitamin D3 and remove all lifestyle restrictions.

PS: Early on people like Musk and Ford jump in to help by donating ventilators. Why aren't we seeing other organizations and individuals creating huge pushes to things like manufacture D3 and create widespread publicity for plasma donation? You listening Bill G?
Yes, the article does adjust for most of the confounders you'd expect.

https://journals.sagepub.com/doi/pdf/10.1177/106591292094813...
What does it bring over prolog?
Vegetarian meals don't have to be sad. Indian cuisine is often veggie and exceptionally good. Meera Sodha's book Fresh India [0] is a goldmine for cheap veggie recipies that you wouldn't miss meat from (I say this as someone who likes meat!)

[0] https://www.amazon.co.uk/Fresh-India-Delicious-Vegetarian-Re...
It's not only a conspiracy theory. If you hear about the bully at school stealing someone's lunch, you would be inclined to believe it's true, even though you were not there at the time.

Plenty of abuse and mismanagement from these companies have affected a lot of people, to different degrees, and that sets a precedent over which we all subjectively evaluate their actions.

Just last month I had a Twitter account for a side gig banned for absolutely no reason and with zero explanation. I am more inclined to believe the "rich kid from LA" story than the "hack"/"sim swapping" whatever nonsense. Why? Because I see it happening all the time, everywhere.
If you think that, you have no clue what it's like to live in the real deal.
>The lack of diversity in economics becomes self-reinforcing when potential students don’t see themselves represented in the profession.

>If you don't see anyone who looks like you in the profession, it could be difficult to imagine yourself in the domain.

In other words, diversity creates problems that otherwise wouldn't exist.
I can also echo this. I was interesting in one of there products (can't remember which) and after a call where I said I was interested, and they never emailed me back, even after I sent a follow up.

The self-serve platform is great and I wish all products were self-serve, because dealing with sale teams is very annoying when you're just trying to evaluate a product.
To be fair, they didn't really mention water as a battery. Yes, they used the phrase "bottled electricity", but that was in reference to the large energy cost of desalination. You can't then get the energy back out like you could with an elevated lake.
Well, to turn around your question: should languages enforce verbosity to satisfy a vocal minority using ancient tools? I'm not going to tell you what tools to use, but if your tools can't understand let/var/auto, then that's not my problem.
You don’t miss type systems, because you’re using something very similar.
Hardcaml: An OCaml library for designing hardware
> It's a little difference with Facebook and Google, because unlike the other companies you mentioned, users are not the customers of Facebook and Google -- advertisers are.

This is so tiring.

Also, I've been paying Google real money for half a decade or so, so I am definitely their customer.

That said I'm well aware that that doesn't seem to mean anything in Google land and I might be thrown out for anything tomorrow with no explanation and no way to get my account back except complaining in social media.
Most people don't have any influence. And that rules don't apply (or at least apply just selectively) to powerful people is no surprise either.
Humorously, it’s not a throw away, it’s my actual username on HN. Which in hindsight was a mistake.
New logical programming only languages have very few chance of adoption. What I would like to see more would be to enable logic programming related futures on current mainstream multi paradigm languages like in kotlin
https://github.com/Kotlin/KEEP/pull/199
Every time there's an article like this I say something like "OK, can we please now have governments giving people vitamin D for free now? What's the worst that can happen?" and every time, someone says it's not worth it, or that people will get a vitamin D overdose. I think people find it really hard to accept that something so basic could actually help and not be some kind of disaster.
Please don't equate blasphemy - questioning God himself - and a historical event.

Regardless of whether you think anti-blasphemy laws are justifiable, even making this comparison seems to put the Holocaust in the same realm of opinion and faith, which is most assuredly is not.
Calcifediol is just a way to rapidly increase the blood levels of Vitamin D in an obvious crisis situation. Going outside, and/or supplementing Vitamin D from exogenous sources takes many days to have an effect.

Talk to your doctor, but start now. Your downside risk is fairly minimal. It is estimated that 40% of more of the US population is deficient in Vitamin D.
Notion with a separate workspace for personal todo’s.
Also they just added backlinking so it’s a good place to start a personal wiki
We use Neue Haas Grotesk for our design system. and I never knew it had such a history behind it. TIL! Don't know how to say this articulately but I've always thought of it as Helvetica's beatnik cousin.
Thanks for this! Ceating multiple slightly different diagrams manually is indeed a painpoint.
Drawing these bounding boxes can be a fiddly thing to get right, and for some it can be troublesome, so this probably will be worthwhile for a group of people.

With that said, the dependency on OpenCV seems entirely overkill. Surely Pillow would be a much more sensible dependency (with ImageDraw), as all you're doing with this package is drawing rectangles and labels, rather than handling any CV tasks?
Ok. Read the paper, they do attempt to account for this in their confounding analysis but don’t control for it.

1. The lift is specifically strong for the judge they clerked for, and not for all of the judges
2. Federal clerks (also wildly competitive roles even if a bit less fancy) win about as much as scotus clerks from their analysis of another other data set, but don’t show some crazy single justice lift

Interesting stuff
> “ IMO, static typing gets blamed for problems that are usually caused by OOP: complexity caused by needless abstractions (mostly inheritance taxonomies).”

That’s fair, since most of the issues are caused by poor attempts to create “concepts” that match a problem domain and encode them in the type system, which is a very OO mentality. But it’s not exclusive to OO, you can get the same problems in functional languages or plain module languages too if you go too far with type system designs.

But functional languages offer plenty of ways to successfully avoid it too.

Nonetheless, I still argue that safety & correctness should be treated like resources, not absolutes. Safety and correctness are things you want more or less of, depending on costs (in terms of extensibility, extra code, rigidity, difficulty to onboard new people to conceptual complexity, etc.) no different than making memory trade offs for better runtime or vice versa.

Languages should facilitate thinking of enforced correctness as a gradual concept, like gradual typing in Python, so the programmer has freedom to make these choices. Languages should not dictate one way (eg always enforcing type safety), and especially not at the cost of extra code or complexity.

> “ One way or another, in larger teams/projects dynamic typing just doesn't scale. Type system works like a most basic documentation / developer aid / consistency encouragment, even if it is pushed into complexity nightmare.”

> “I don't think I've ever even seen a reasonably well working large project in a dynamically-typed language...”

My experience is the exact opposite. I’ve never seen a large codebase that is statically typed which doesn’t turn into a complete ball of mud with overlapping type system concepts that bring extensibility and innovation to a grinding halt and cause months of delays to adjust for even the simplest changes to business requirements.

Meanwhile the two largest code bases I’ve ever worked in (one was the entire search engine implementation of a giant tech company, the other was a document editing CMS system also at a large tech company) were both 100% Python on the backend, both on the order of 500k to 1MM lines of code, and working with them was very enjoyable. Plenty of tech debt and headaches like any big enterprise codebases, but none of the “grinding halt“ - “we can’t do anything like this because our earlier brittle commitments to certain type system designs would have to be fundamentally refactored to allow it” - sorts of existential, death of velocity kind of problems.
I've fixed the formatting. Thanks.
> If it was ketchup instead of curry, or if they put 8 nuggets instead of 9, I very much doubt so

Sorry, but I've ordered a specific burger at McD's dozens of times: very occasionally they mess up the order, at this point you take the wrong burger straight back to the counter with your receipt, they (always!) apologise profusely, then immediately make you a new one the way you ordered it.
I’m going to guess they sold the account are now trying to get it back
Business Insider was guessing at the meaning of Pichai's quote.

Sorry if that was unclear.

[Edit: clarity.]
Same here.

In what concerns Java and .NET, there are intrics (with annotations) that jump through some of the safety restrictions for AOT code and when running on JIT, it eventually short circuits some calls after it realises them as being safe.

In any case, both platforms are pursuing alternative solutions to bring back those Delphi/Turbo Pascal like of calling into external code.

Android also has such annotations that allows ART just to direct call into NDK code.
https://seekingalpha.com/article/4376518-nikola-hype-comes-c...
Nothing in core, but there are products that have good online karma (at least I haven't read horror stories, the lack of which is always good news). See https://en.wikipedia.org/wiki/Multi-master_replication#Postg... for some examples.
I think you misread? The concrete core is in reference to a building in Austria.

"As the main vertical/lateral structural elements and the floor spanning systems of Mjøstårnet are constructed from timber, the building is considered an all-timber structure."
Do you have a link to that? It's good the guardian are finally saying something about it - even if too quietly.
This is absolutely correct. Most people who graduate from law school and pass the bar go in to middling salaried jobs. If they even practice law at all. Most entry level legal jobs pay very little compared to the top tier gigs. Said from the perspective of a lawyer ten-years into practicing.
Well you can't just magically do nothing with all that energy, it's not something I know a lot about, but I assume the risks (i.e. reasons you cannot open circuit) include arcing across contacts, and excess heat build-up.
Afaik 'foo' and 'bar' still tend to be a commonly used example variable/function/data structure name by older practitioners of C and C++ in academia so I do wonder if it will pass on...
> will ever swing back.

Does it need to swing back? Python/JS/PHP/Ruby are still plenty popular. And no, JS isn't typescript.
Very cool, had fun playing with the editable examples. This example, though, bombs with an UnsupportedGraphException: https://rtsys.informatik.uni-kiel.de/elklive/examples.html?e... (Windows 10/Chrome 85.0.4183.121)
The comment of yours that I replied to was in response to someone whose first sentence is an acknowledgement that the use case of 6 kids does need such a car.

Then they suggest that the other use cases are valid but people like them don't need such a car despite those use cases.

How did you interpret that as "hectoring other people with different use cases"??
There are adult cycling classes out there, with instructors who have (I am told, I learnt as a kid so I've never taken one) some pretty well-polished programs for getting folks from "never sat on a bike" to "reasonably stable and aware of the rules of the road, both official and unspoken".

Once you start cycling around town regularly, you build a new layer on your city map: what's the shade like on this street? how bad are the potholes on this back street? how dense is the car traffic? can I find effective detours that trade off a few minutes for not having to cross six lanes of traffic coming straight off the end of a highway?

Cycling's pretty useless if you live in a suburban sprawl though. Great for an actual city.
> And if you need a TI-89 to stop you from adding meter to ohms, then I don't know

Don't knock it until you've tried it. Though as usual, the HP calculators that have this capability (48/49/50 series and 28 series) have a better UI for using units. But either way, this is a form of type checking, which is pretty universally regarded as a useful and worthwhile feature in programming languages. It catches mistakes from errant keystrokes, lowers the cognitive load by not requiring you to keep track of how many places to shift the decimal point when converting between metric units and obviously makes things a lot simpler when non-metric units creep into your calculations (because you can directly add feet and inches without problem), and encourages proper labeling of units for the quantities you end up writing down.
The second paper they link with “similar findings” appears to just say that experienced attorneys win more haha.

First paper does seem to substantiate article.
Set the expectation that everyone will demo their work sometime around half way through the sprint. That way everyone knows they’ll be showing something and so will have to think earlier about how ‘done’ they really are, what visible progress they’d like to be able to show, etc. But there’s no expectation anything will be more than half finished at demo time, reducing stress and giving early visibility.
Can’t excess power be used to remove carbon dioxide from the air?
As fossil fuel jobs falter, renewables come to the rescue
I have crazy bad dust mite allergy. Had it tested and my skin prick had a reaction going all the way up my arm.

I woke up every morning feeling terrible. Since then I made the following changes that have completely changed everything.

1) Got a robot Vacuum with hepa filter that cleans under the bed

2) Got dust mite covers for my pillow etc

3) Got a Hepa filter that runs constantly for both my furnace and my room

4) Installed a dehumidifier that lowers the humidity in the entire house. Dust mites loooove humidity above 50 percent.

Now I wake up feeling pretty decent everyday
1. I’d take the technical chops of late 70s Bill Gates and Paul Allen any day over whoever is running things at Nikola.

2. It’s OK to “fake it until you make it” assuming you have a reasonable path to make it at some point. There are serious questions as to whether Nikola has that.
The separation between the sacred and the profane predates religion and persist even in atheism. Topics related to human life are broadly forbidden to economic activities for example.
Dr. Fauci says to take vitamin D if you're deficient to boost immune system

https://www.cnbc.com/2020/09/14/supplements-white-house-advi...
The fact that everyone forgets about Limbo and Inferno, and keeps talking about Plan 9, proves how successful Go would have been with another employer.
Working with code as if it is raw text is strictly inferior to working with code as raw text + AST. If that’s how you want to work, that’s fine, but it’s probably not good to choose your team's technologies because you want to work at that lower lever of abstraction.
To expand: an update that puts older versions of bitcoin on a different chain is called a hard fork and it is treated as a big deal. It is supposed to happen as rarely as possible.
We ran a Postgres DBaaS offering of Azure for 2 years before we switched over to a self-managed (IaaS) Postgres installation. Couldn't be happier.

The primary reason was the desire to use extensions; I'm now able to use Foreign Data Wrappers with great effect to turn the Postgres databases in an enterprise data integration platform/data warehouse.

Additional benefits include a staggering 50x performance increase* , a much finer grained user authorization strategy (by being able to (automatically) alter grants and alter default privileges of other users with superuser permissions). Also, my business users can now leverage NFS or sFTP shares to load very large datasets direct from the server and we can actually shut down unused environments outside of business hours (Azure's DBaaS can be scaled down, but not shut down).

The costs of this setup is actually ~20% lower compared to Azure's managed offering (for same core count, could be even lower if you add the enormous performance gains to the comparison). This included cost of developers/operators! (we're finding the operational effort is more or less equal to a managed offering; almost non-existant). The only thing that really caused some discomfort in the beginning was our setup of pgBouncer.

Off course, There're some caveats; we run an OLAP workload, not business critical and therefor haven't really put a lot of effort into a HA setup. Still, the advantages of an "real" Postgres server cannot be overstated! To be able to use extensions alone has brought the time to market of new features from weeks to days.

* Geometric mean of TPC-DS benchmark suite. On Azure's Ls_v2 machines, leveraging the NVMe disk with bcache. Compared to a tuned Azure's "Postres as a Service" with equal core count.
>Where you got that number? UK has higher GDP per capita than France and it's lower than Germany but not by 30%.

because you're not looking at output per hour worked. The Brits work about ~1670 hours per year. The French about ~1470, and the Germans ~1360. If you look at the output per hour, The UK comes in below Euro average, roughly on a level with Italy and Spain.

https://stats.oecd.org/Index.aspx?DataSetCode=LEVEL
While I agree that climate change is the dominant issue of our time, I disagree that media is underexposing it. There is quite a lot of unwarranted climate doomsaying. To give an example, in the coverage of natural disasters like wildfires and hurricanes they keep drawing a link to climate change and saying this will get worse and worse due to climate change. But what the IPCC actually says is this:

Increasing exposure of people and economic assets has been the major cause of long-term increases in economic losses from weather- and climate-related disasters (high confidence). Long-term trends in economic disaster losses adjusted for wealth and population increases have not been attributed to climate change, but a role for climate change has not been excluded (high agreement, medium evidence). [1]

The message that what is causing these major natural disasters is mostly people living and building in the wrong places, not climate change, is what the media should be saying, but they tend to link it almost entirely to climate change, which is an overstatement.

[1] https://www.ipcc.ch/site/assets/uploads/2018/03/SREX_FD_SPM_...
Over the last month or so I've seen comments by HNers that they've taken pretty large doses and that it's helped with depression. I've been trying a double daily dose every day that I'm not able to go outside for an hour - after two weeks (and remember this is anecdotal, the causative nature in this is hidden) I had my first day in years where I was just happy; it was weird, I was like, huh, I feel happy today. My mood has been up in general.

I'm hoping this helps long-term; perhaps VitD deficiency is a contributor to rising levels of depression too?
4000 IU is the tolerable UL (upper limit).
Booster seats are often required for kids up to age 8 or so, often only if they are shorter than 4' 9". But booster seats easily fit in small cars.

The age limit recommendation are a rear-facing seat until 2, then a front-facing seat until they reach something like 65 pounds, then a booster seat.

From experience, three car seats cannot fit side-by-side in really any car, whether front-facing or rear-facing. But booster seats are fine, even in my tiny Fiat 500e. Back in the day, I leased a minivan for a while and then the kids started to outgrow bulky carseats.
pip install [ohmu] for a nice ascii treemap.

[ohmu]: https://gitlab.com/paul-nechifor/ohmu
It's quite sad that you've needed to put that much thought into an explanation.
Harvard Gazette 2017:

Study confirms vitamin D protects against colds and flu

https://news.harvard.edu/gazette/story/2017/02/study-confirm...
The classic explanation on this is an old comment by scott_s:

https://news.ycombinator.com/item?id=7609289

https://hn.algolia.com/?dateRange=all&page=0&prefix=false&so...

Basically it's that people overestimate how funny their jokes are, and that sort of internet humor grows like kudzu, so HN users are sensitive to the need to contain it, a bit like weeding a garden. Non-obvious witticisms do fine on HN—they're just rare.

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&sor...
Not sure why this comment was marked dead, so I vouched. I'm assuming an overly sensitive filter nuking comments because your account is new and the comment uses words predictive of politics?

My sense, personally, is that mostly that people have the causality on legal formalism reversed: originalism is not a theory that leads to conclusions, it's a rationalization used to support conclusions already held.

But at the very least what you're saying is something worth thinking about. Given that Oyez makes every supreme court oral argument public and the filings are clearly public, it seems like there probably would be a case for any number of text learning methods to try to identify formalist style in legal arguments for an analysis like this.
It's not just the number of cells but the layout and connections between them. Imagine if you could feed a tumour everything it needed to live and it would grow to be disgustingly large mass of undifferentiated cells the size of a whale. That thing isn't conscious.
It is sad that bitcoin's solutions have a liveness expectation, whereas other chains have a lot of competing solutions where only some of those solutions have a liveness expectation

It is like watching a state-capital system versus a free-er market compete.

People in the state-capital system have completely binary things to argue about, with dissidents being shunned while everyone is stuck in a quagmire of false dilemmas. Third and fourth and additional options are not considered.

Whereas in the free-er market, people are allowed to take risks and fail, fail with LOTS of money and value, and iterate en masse towards solutions that are most "useful" ideally, but also service a variety of use cases.