skysight-inc/HackerNews huggingface dataset:
The conclusion in the article:

> Why so angry?
I know I’ve taken this far too personally. I have no illusions that everything I read online should be correct, or about people’s susceptibility to a strong rhetoric cleverly bashing conventional science, even in great communities such as HN. But frankly, for the last few years, the world seems to be accelerating the rate at which it’s going crazy, and it feels to me a lot of that is related to people’s distrust in science (and statistics in particular). Something about the way the author conveniently swapped “purely random” with “null hypothesis” (when it’s inappropriate!) and happily went on to call the authors “unskilled and unaware of it”, and about the ease with which people jumped on to the “lies, damned lies, statistics” wagon but were very stubborn about getting off, got to me. Deeply. I couldn’t let this go.

I am afraid I actually agree with the author's point. The anti-intellectual, anti-scientific streak in many poor analyses claiming to debunk some scientific research is deeply concerning in our society. If someone is trying to debunk some scientific research, at least he should learn some basic analytic tools. This observation is independent of whether the original DK paper could have been better.

That said, I give the benefit of doubt to the author of "The DK Effect is Autocorrelation." It is a human error to be overly zealous in some opinions without thinking it through.
The middle paragraph should be required reading in bright bold letters in any keto/paleo website.

- Do not attempt if you have children
- Do not attempt if you dont control what goes in the fridge.
- Do not attempt if you cant deflect peer pressure.
How are market makers using algo trading to warehouse a bunch of stock?
I find it interesting how we have come full circle on static typing. When I was in University 2009-2013... and years leading up to it, dynamic typing was becoming the hot thing after years of Java/C/C++ dominance. Statically typed languages were looked down upon and talked about as being analogous to "Enterprise", "suit and tie" type soul crushing software development. We had people fulling in Ruby/Rails bandwagon, Java/C/C++ starting to become deprecated from university curriculum in favor of Python... JS starting to eat the front end and HN startups were talking about how they write their entire stack in a flavor of Lisp.

And now, just a few years later- Rust, Go are two of the hottest languages around, TypeScript is eating JavaScript, Python/Ruby have added static typing constructs, C# continues to do well in its niche and even Java of all languages has become somewhat cool again even though being Oracle product.

It's been an amazing transition to watch in action play out in front of my career, I can't even imagine those who have been in the industry for 30-40years who have probably been through a dozen of these cycles.
I built my startup on elixir. Its allowed us to do things in days that would take weeks in nodejs. Absolutely fantastic system overall. biggest gripe is that its hard to hire for.
His daughter does a red meat diet for those missing the connection
Hey, sorry, late response.

I think you should prioritize adding omega-3s over removing omega-6s.

Maybe canned anchovies or sardines? Not everyone likes them (I do!) and I don't know if they're accessible to you, but they're a great source of omega-3s and are relatively low in mercury.
> How does this dude have so much influence?

A lot of people play CoD.

A lot of people yell very emotional things while playing CoD.

Who's listening to that microphone?

Now, I'm not saying Activision Blizzard is blackmailing politicians and high profile individuals; I'm just asking the question.
Yeah. I usually don't bother with type hints for local variables, but for parameters and return types, it makes skimming old code so much easier.
Just an FYI, there is a company that spent 5+ years building a no-code algo trading platform and it's pretty slick: https://optionalpha.com/ Of course, competition is always good for innovation though. It looks like they are integrating with brokers to avoid the KYC issues (however, there is certainly a lot of liability in automatically placing orders though). You will still need to get live market data from somewhere but the compliance for that isn't quite as crazy.
Doesn't Netflix already pay on a usage basis for their bandwidth? If you run a small website that gets 100 users a month, you pay very little for bandwidth. If you run a video streaming site with millions of users you pay a lot.

And the users also pay for the bandwidth to download. Exactly how many more times do the ISPs need to get paid?
Plastic is incredible. It's one of the most amazing things humans have ever created.

But we're due for a serious re-evaluation of where it is appropriate to use it.

Single-use plastics have to be banned globally, outside of critical uses like medical. I know, good luck with this one.

Plastic fabrics need to be severely curtailed, as this study shows.
Emeryville started as a mudflat on the Bay where they'd drive cattle to slaughterhouses and leather tanners. It smelled real bad so they did it way out in the middle of nowhere.

It sort of became the place for messy industry, when just burying the bad junk was considered sufficient.

Company I worked for had major construction project for their campus expansion, but it took a while to clear the PG&E transformer storage lot of decades of PCB leakage.

Poly chlorinated biphenyls are nasty. Almost as nasty as the heavy metal contamination of the Sherwin-Williams Paint factory across the way.

The merely-poisonous-at-quantity horseradish processing facility was a breath of fresh air... and is now part of the Pixar-plex.

What with all the major construction over the past 30 years, there have been ongoing cleanup efforts. I don't know how realistic my optimism is, but it's way cleaner than it was in the 1980s.
Have you tried low carb? I tried keto for a while, and noticed a few benefits, but it was hell not having the occasional bowl of rice or slice of bread. So I switched to a mostly low carb diet, but allow myself to have things like rice and bread 1-3 times per week. I’ve found almost no difference for me between this and keto in terms of physical benefits.
Was new to me, but it seems "slippy map" is open-streetmap's terminology for a generic zoomable-pannable web map view, here used to refer to any such UI - whether backed by OSM or google or bing or whoever's map data.

Feels like a weird word choice to me, when 'map' was right there, but who are we to judge.
Aave V3's Price Oracle Manipulation Vulnerability
Here's a verbose Lean calc proof using single rewrites:

import tactic

example (R : Type*) [comm_ring R] (a b c d : R) :
a + b + c + d = d + b + c + a :=
calc a + b + c + d = a + b + (c + d) : by rw add_assoc
... = a + (b + (c + d)) : by rw add_assoc
... = b + (c + d) + a : by rw add_comm
... = c + d + b + a : by rw add_comm b
... = d + c + b + a : by rw add_comm c
... = d + (c + b) + a : by rw add_assoc d
... = d + (b + c) + a : by rw add_comm c
... = d + b + c + a : by rw ← add_assoc

(I didn't put any thought into trying to make it be efficient.)
It depends what you're optimizing. Mature c++ codebase that is routinely profiled? Large legacy codebase with few tests? Mixed workloads?

All hard. But there's also a lot of easy cases out there - even good engineers might code like monkeys if they're under time pressure and trying to grow the business.

I've done a lot of performance work, and while of course no one individual could achieve a 1% savings per month on the entirety of FAANG compute loads, there is lots of code out there that nobody thought would run at scale or be on the critical path of something important, but now it is and it has gotten expensive.
No it's not. Monocropping is far worse for the environment and entails mowing entire states down, repeatedly tilling and saturating soil with herbicide and pesticide, destroying millions of acres of former prairie land, and genetically engineering crops for glyphosate.

Ruminants like cattle, sheep, etc have existed naturally for over 50 million years. They are an essential component of prairie land ecosystems. And much of the land that they occupy is non-arable for crops.

Red meat is the closest thing to a natural human diet there is.

https://www.timesofisrael.com/for-2-million-years-humans-ate...

For 2 million years, your ancestors basically ate the diet from this article. Our biology is highly evolved for it, with agriculture being < 500 generations old.
So ... you take a photo and send it to a single preconfigured contact?
Elon Musk’s Boring Company Raises Funding at Nearly $6B Valuation
This is sad. I was really excited to see more (totally opt-in) experimentation in this area.

It's clear that the way most nations build most cities isn't working well, and innovation or experimentation of any kind is generally impossible.

We can't iterate if we can't experiment.
You can pipe the diff into specific flake8 checkers. Disable the check by default so it's not run over the entire codebase, and have a separate line for running specific checks on just the diff. Eg:

git diff -U0 --relative origin/master... | flake8 --diff --select <custom-codes>

I'll leave the flake8 plugin as an exercise to the reader as ours is intertwined with code I can't share right now.
To check if rewrite rules are still helpful, yea - we just read release notes and test manually.

We've never had a rule change from being beneficial to detrimental. For most of them, I don't think that would be possible, because they just involve giving Sql less irrelevant things to chew on. For a few of them, like the manual scalar function inlining, I could see that being possible, so we will just need to keep checking.

For rewrite rule order, I guess we just do the ones that can enable other optimizations first. So far, that has been pretty simple to determine. For example, when we trim joins from inner queries, we first trim their selections (depending on what is actually used in the outer queries).
Seems interesting, but I'm not too sure about what the product is

FWIW check out our community-based social platform we applied to S22 with at https://radar.ac
Writing Shell Scripts Using Elixir
Keto is responsible for me losing 170lbs, putting my diabetes into remission (eliminating daily insulin). If it kills me at 75, so be it. That is better than dying in my 50s from diabetes.

As for all the other stuff, all farming has environmental impact. You can argue degrees of impact, but at the end of the day I am just not willing to only eat items that have a lower environmental impact, but require me to stick a needle in my stomach every day and still be at a high risk of dropping dead 20 years earlier.
Obama argues unregulated social media is a threat to democracy
Give it a few more decades and maybe we'll come to accept a Hindley-Milner system of the 1970s, like that of Standard ML.

And maybe a few more decades after that to go back to the dynamic typing of the 1950s, like that of Common Lisp. :)
https://archive.ph/k29vX
We created a custom purpose parser to get some interesting facts about the SQL statements running in our warehouse, a couple of millions of queries per day.
With that information, we created a tool that finds the best partition and bucketing schema for each table, based on how the query patterns of downstream pipelines access them.

Since some of the tables are multi-petabyte with thousand of downstream consumers, the savings have been in the millions of USD, because of CPU savings mostly, but also there is the benefit of improved wall time and data arriving much earlier to dashboards and reports.
I would guess you are accessing the "desktop" version of the website. If you try omitting a User-Agent string (script provided above) you should be able get the two page version, which I assume is the "mobile" version.
Paizo Programmer – now supports Standard ML
> it’s probably closer to historical diets of Hunter gatherers.

My understanding is that this is not true, or at least extremely unlikely. The majority of hunter-gatherer societies seemed to have subsisted mostly on plants, with meat being a minority of their calories, possibly more of a special-occasion food.

Here's a sample source:

> The real Paleolithic diet, though, wasn’t all meat and marrow. It’s true that hunter-gatherers around the world crave meat more than any other food and usually get around 30 percent of their annual calories from animals.

https://www.nationalgeographic.com/foodfeatures/evolution-of...
Glad to learn more about polyester! Still slightly concerned with health and environmental effects, but Uniqlo largely changed my life and enabled me as a minimalistic nomad — 10 sets of base layers are almost ridiculously light and low-volume, and they last years with minor stretching and no discoloration or mechanical wear.

So much so that when Uniqlo switched sports socks to mostly cotton, I started buying 60~100%-polyester ones from other brands (Miniso or more expensive athletic marquees).

Aside from extreme packability and lifetime, they are all water-repellant and dry extremely fast. Accidentally pouring a drink all over myself results in very low absorption into the fabrics followed by complete evaporation within minutes.

Edit: I’ll add that I hope Uniqlo expands its recently piloted (in NYC) repair program to all of its stores globally (following in the steps of Patagonia). The latest generation of edgy iPhones make pockets on my shorts and pants fail ahead of time and it’s a trivial repair.
I can't quite recall, but IIRC there were a few places named .*forge.* that fit this definition.

So yes, but would you call $project on gitlab.com a git hub, or would you call Reddit a chan site.
> The carnivore diet is a thing, it’s probably closer to historical diets of Hunter gatherers.

What?

> The real Paleolithic diet, though, wasn't all meat and marrow. It's true that hunter-gatherers around the world crave meat more than any other food and usually get around 30 percent of their annual calories from animals.

> So how do hunter-gatherers get energy when there’s no meat? It turns out that “man the hunter” is backed up by “woman the forager,” who, with some help from children, provides more calories during difficult times. When meat, fruit, or honey is scarce, foragers depend on “fallback foods,” says Brooks. The Hadza get almost 70 percent of their calories from plants. The Kung traditionally rely on tubers and mongongo nuts, the Aka and Baka Pygmies of the Congo River Basin on yams, the Tsimane and Yanomami Indians of the Amazon on plantains and manioc, the Australian Aboriginals on nut grass and water chestnuts.

https://www.nationalgeographic.com/foodfeatures/evolution-of...
I wish there was an IMAP client that would do something like hey.com.
Thanks! Super interesting.
The use of models and algorithms is in an effort to not get caught on the wrong side of a big move, the technical term for this is adverse selection, more colloquially “getting lifted”. If someone is coming through with a massive order and you fail to anticipate this and cancel in time, you’ve effectively subsidized a block trader. Market makers want to participate on both sides picking up a small fee (typically one tick) for providing liquidity in a market that is seeing price action in both directions. They don’t want to get run over by agency execution people trying to lay off 21 billion in Tesla stock.

The common misconception is that in order to sell you a share of AAPL, the market maker first buys it cheaper and then sells it to you in some unfair way. There isn’t time for that: they already had inventory.
this is an excellent answer. dang, Thanks as always!
"I stopped eating plants (including vegetables, grains, and fruit) to try to heal an issue with my skin" — could anyone share more details about this?
Python is, and has always been, a strongly typed language.

Do you mean "statically typed"?
It has been used in applications that have been security tested.

The module itself doesn’t use the JavaScript parser at all and has no mechanism for making JavaScript calls from within the DTL expressions. This is by design and part of DTLs original requirements was to prevent arbitrary code execution, and great care has been taken to maintain that safety.

That said, it carries the same risk as using any publicly available js module, and you should definitely investigate yourself and not take my word for it.
Same. I even paid about $10 on eBay to snag an early invitation.
I use https://tweetdeck.twitter.com/ which has the ordering I expect, allows arbitrary columns and has no ads (though this might be because of ad blocking).

I have five columns: personal account, replies to it, side project, replies to that, messages. Only thing I miss from the old OSX Twitter client is the ability to copy and paste in images.
> "What you really want is a compiler, isn’t it?"

The thing is, Python is just as compiled as, say Java. Python converts your code to byte code, then executes that bytecode in its VM. These are the same steps Java takes.

So this "whoops" doesn't work for me: "Some language that’s as easy to use as Python and it should be compiled and with good static typing, but it should also not be compiled because then it wouldn’t be as easy to use as Python anymore. Whoops?".

The reason the typing in Python is lax was entirely a choice. Maybe not a good choice, but it certainly has nothing to do with "compiled" vs "interpreted".
>"Parsing SQL queries provides superpowers for monitoring data health"

Can someone say how this works exactly? What does parsing offer that things like logs and other metrics don't in terms of monitoring?
Depending on how you're loading the svg in the page the xmlns attribute may not be needed as well.
The Arctic Explorer Who Pushed an All-Meat Diet [in 1928] (https://www.atlasobscura.com/articles/all-meat-diet)

tl;dr if you eat enough fat with your all-protein diet, and get enough vitamin C (e.g. from liver) to ward off scurvy, you (might be) okay
I'm a big fan of mypy and static typing as a concrete improvement to Python, but this criticism is so superior to the original article that all I can say is bravo.

Typescript's type system, of course, had and has the advantage of being a clean sheet design with an intermediate compilation step, so the comparison is hardly apples to apples. But there's no denying that I wish frequently that Python could have opted for a more powerful static type system.
Yeah I wonder why that isn't used... I can even remove the src from the image and add "background-color: #aad3de" and it looks exactly the same. I'd imagine it's also slightly faster and less memory intensive to render a static background color than to copy the data from an image.

I'm actually surprised they even use DOM nodes for this. Last I checked Google Maps uses a totally custom WebGL based renderer (since it supports 3D and such).
Agreed. Also in other countries like mine where EV cars and the climate change issue and environmentalism movement that's being pedalled by the western media arent a thing, mostly Asian countries, Tesla here is more synonymous to batteries and sustainable energy. We've got a presidential election next month and some of the presidentiables, including the one who's most likely to win according to polls, are calling for more Tesla energy adoption for the country during their campaign. Musk diversified his company's products well
iOS 15 still keeps user data even after deleting apps
Today I remembered a news that I saw in iOS 14. Link here:

https://www.gsmarena.com/ios_14_found_to_keep_user_data_even_after_deleting_the_app-news-47676.php

I've tried to find any updates or responses from Apple, but the answer is nothing.

It is important to note that the Keychain here is not exactly the same as the iCloud Keychain, whether you enable iCloud Keychain or not, applications can still use it to track your installation behavior. In the era of iOS 15, where Apple places more emphasis on privacy, why are users helpless with such super cookies?
Australia spent a million dollars training me – and now I’m leaving
Oilskins, wool. I guess.
I think you're talking past the comment you're replying to.

In both examples, you have tell the compiler exactly what the types are. In the first one you have to cast the return value of `dlsym` to a function pointer, and at that point, as far as the compiler is concerned, it's a function. In the second example you have to explicitly declare the struct containing function pointers, so of course you can call its members.

So it's strange to suggest that C is somewhat untyped; it's not untyped at all. C just makes it very easy to force the compiler to assume different type for a value (that's necessary for low-level code like the examples in the comment you replied to; and of course that makes it very easy to do unsafe things, I don't think anyone disputes that).

And about the "weak typing system" comment, note that nobody agrees on what exactly that means. Just as an example, see how this page[1] defines "weaker" vs "stronger" types, and how it's completely different from the way you're using here. In general, I find people call type systems that don't do what they expect or want "weak", but that's not an useful discriminator: at that point you might just call it "bad typing" to dispel any illusion that it has any objective meaning.

[1] http://book.realworldhaskell.org/read/types-and-functions.ht...
The Gdelt Project – A Global Database of Society
> What determines wages is the level of skill required for the job.

No, it's not. What determines wages is how much your skill is needed vs. the availability of people with similar skills willing to take on that job. It's supply and demand in the labor market.

You don't need to econosplain to me how pricing works in a free market...
haha, we did just that in my company, but aimed at distributed tables (like HDFS) for their partition and bucketing schemata.
> agriculture being < 500 generations old

Evolution works in as few as two generations. This is established.

> Stone Age humans were apex predators, only moved to more plant-based diet 85,000 years ago

We’ve evolved since then. We are the same species but claim we are genetically the same as humans 85,000 years ago is crazy.
But it automatically switches back to algo mode after a while, diametrically against your expressed wishes.

I sincerely hope I never learn the names of the people at Twitter responsible for this user-abusing product decision.
Who is this guy? I’m glad his diet seems to work for him, but I’m not really clear what the value of the post is.

I made fried rice today and it was great. Thank you for coming to my TEDtalk.
Would you be able to provide examples of interesting facts, and is this tool (or anything similar) open-source or described publicly? Thanks!
this is super interesting - what is a "Score" ? i'm trying to model your problem as a neural net problem in my mind.
how do you transform a classic linear optimization problem (which is a bunch of equations) into a score ?

pretty sure there's heuristics at play...but how would you do it ? take your own example of

>constraint of 100hrs/week/machine but also 168hrs/week/room full of specific machines. In other words, while each machine can run 100hrs/week, if there are 4 of them in the same room, only one can run at a time, and so combined machines in a given room cannot be over 168hrs/week
I think data science is a perfect example in favor of types -- the code is often terrible because of the lack of typing. Pandas has notoriously poor developer ergonomics, and I recall painfully poring over type errors across the board -- lists, dataframes, numpy arrays, etc. are all iterables, so they can be interchanged in some contexts, but not in others.

Had I had MyPy back when I was working in data science, I would've saved countless hours and headaches.
Yes! you can then put a UI on top of that and answer stuff like "who will get affected by my change on this table?" or.. "there is a bug in my pipeline and now I need to notify downstream consumers"