skysight-inc/HackerNews huggingface dataset:
I think your sentence is missing a "because" at the end. Why do you think that deaths are meaningless as an integer here but would be useful as a ratio? Usually I've heard this line by folks who want to minimize the perception of police killings.
Your intuition is probably driven by the fact that the theorem isn't true in any popular programming language. The added feature that the proof relies on is that "truthy" conditionals allow the programmer to distinguish a function from a falsy value (such as false). Many other features might provide this capability as well: the ability to compare a function to a boolean directly, a typeof function provided you have the ability to compare its results, an "is function" query, or the ability to try arithmetic on the value or call it as a function and trap an error if that doesn't work. So Shriram's enumeration of possible things you might do to the function, which is required to show the two expressions are equivalent in the starting language, is much shorter than it would be in a practical language, and as a result the proof wouldn't hold. On the other hand, I can attest that if you design a very minimal language and don't consider the question of how to tell what type a value has, you may well end up with a language that doesn't have that capability!
I decided to create an app to browse and search through videos on your computer. There are many out there, but none had the specific set of features (and visual appeal) that I wanted.

I now sell about 100 copies per month for about $500 income per month. I give $350 to charity for every 100 copies, but that's a personal decision.

Building it has been a great learning experience. Interacting with customers has been a very rewarding experience (so many people love it).

Video Hub App - https://videohubapp.com/en/

and Open Source on GitHub - https://github.com/whyboris/Video-Hub-App
I know CNN profits from fear, but I’m getting really sick of seeing them write variations of this same article over and over :p
The difference is that back then Intel still had a quasi-monopoly. Even AMDs occasional successes from the late 90s on were usually temporary, and never an existential threat to Intel, so they could afford a certain level of internal dysfunction.

But we are now living in a world where mobile is more important than desktop, and mobile chip designs have enough power to be a threat to the desktop market, and perhaps even the server market in the not-too-distant future. This is something that should worry Intel.
Tech enthusiasm and criticism has become extremely cyclical in the past decade. It’s easy to forget that we were all cheering for Facebook and the Zuckerberg success story before it became uncool to be pro-Facebook.

Intel is stumbling, but up until very recently they were still the fastest gaming CPUs available. That didn’t stop gamers from criticizing them endlessly and cheering their demise. Intel went from cool to uncool.

Give it a few years and they might be able to leverage the underdog position into a comeback story.
Maybe you could start by why you think it's inappropriate?
This is a great apology. Of course, he was wrong. Very wrong. But, I think there is one power dynamic that's missing in the entire #metoo discussion.

The power advantage that young women have on men; due to evolutionary pressures. Harmon didn't mean to be attracted to her. It happened.

I know biology isn't important in 2020. But I listened to his apology and realized that the human nature discussion is never part of this situation.

Ted Chiang's "liking what you see a documentary" is a good case study of a world where attraction's turned off. As a woman, I sometimes think we aren't empathic enough about how attraction works in men. It doesn't mean they are excused for sexual harassment. I just think evolutionary pressures should be part of the discussion.

Neither person should be setup to fail.
You seem very confident they won’t find anything morally objectionable with your company and decide to sabotage your operations.
100% agreed

companies throwing away chocolates and parties are wasting resources that could go to salaries, re-investment or profit

having said that a company as large as Intel and with such a dominant position for many years has a lot of margin to waste money and make mistakes, which is why they often become complacent
It was bought by Portuguese traders..likely vasco da gama.

Indian cuisine had other ‘spices for heat like mustard seeds, long pepper, ginger etc. it’s a more complex multi layered heat than chili peppers.

Also Szchewan* peppers are actually from the citrus family and not true peppers. Their numbing feeling enhances the ‘spice factor’. It’s a neurological hack. This can be used to make dishes seem spicier than they really are.. and this is native to China.

* http://gernot-katzers-spice-pages.com/engl/Zant_pip.html

It is also possible that chili peppers existed in the indo-Malay region and Korea before Europeans bought chili peppers from South America.

Korean peppers ..for example..are genetically distinct from South American chili peppers

https://www.researchgate.net/publication/319445357_DNA_Seque...
<3 that you left the (Motorola) 68k implicit so that those not in the loop will have a hard time figuring out what is actually being discussed
Charitably, it's to show you care about business context.

Realistically, it's a tribal signal to cargo culting manager types who like to talk about percentages and like pointing to flipcharts with a stick in a suit.

It doesn't matter what number you put there.

If you're writing to numerate, technical types don't do this, because technical people know that just a percentage without context makes no sense. You reduced costs by 16%? Costs of what? What's the denominator? You increased engagement? What does that mean? Subscribers? Clicks? Time spent?

This is the same kind of thing as when academics sprinkle unnecessarily complicated-looking math equations to describe plainly obvious things with impressive symbols, when it's objectively unnecessary. The goal is to give it a certain look, to signal seriousness.

As silly as it may sound, it probably actually works.

Since we are on HN, probably many of you know the Paul Graham classic "Submarine" [1] post,

> Our greatest PR coup was a two-part one. We estimated, based on some fairly informal math, that there were about 5000 stores on the Web. We got one paper to print this number, which seemed neutral enough. But once this "fact" was out there in print, we could quote it to other publications, and claim that with 1000 users we had 20% of the online store market.

> This was roughly true. We really did have the biggest share of the online store market, and 5000 was our best guess at its size. But the way the story appeared in the press sounded a lot more definite.

> Reporters like definitive statements. For example, many of the stories about Jeremy Jaynes's conviction say that he was one of the 10 worst spammers. This "fact" originated in Spamhaus's ROKSO list, which I think even Spamhaus would admit is a rough guess at the top spammers. The first stories about Jaynes cited this source, but now it's simply repeated as if it were part of the indictment. [4]

> All you can say with certainty about Jaynes is that he was a fairly big spammer. But reporters don't want to print vague stuff like "fairly big." They want statements with punch, like "top ten." And PR firms give them what they want. Wearing suits, we're told, will make us 3.6 percent more productive.

I think it's similar with certain hiring managers too. They want definite statements, because it provides for CYA ammo. The guy looked great on paper, look at those percentages!

[1] http://www.paulgraham.com/submarine.html
Please be careful. A microwave will typically have a capacitor that is capable of killing you well after it has been unplugged.
Legal citizens will get it, not anyone who shows up.
One should target volatility, not leverage. Without leverage, you can usually only take the most risky of strategies in order to get a return. If you're willing to take on leverage, you are much more likely to find a good strategy.

Source: work at a small prop firm that takes on around 10x leverage. Even at this leverage ratio, we are considerably less risky than the S&P 500. Even at 10x, our volatility is somewhere between 1/2 to 1/3 of the S&P.

If you take on very little directional risk and are doing stat arb like us, there's nothing wrong with taking on a lot of leverage. Even at 10x, we are safer than the vast majority of retail portfolios in existence.

Leverage (through futures, options, shorts, or borrowing) is the cornerstone of almost all active outperformance in the industry. Without leverage, you will be forced into high beta names that trade at a premium compared to their risk adjusted return. See the "low beta anomaly" for more information.
I have. Up until the recent protests dispatch here was in the open, so you could follow situations in real time. There's no reason that a taser, gun, or handcuffs help with the overwhelming majority of calls, including ones with someone who's panicked and crying.
I have been using the device with my own build of LineageOS 16.0. It's an Android-Linux OS but it has a custom Linux kernel where I have been customizing the keyboard driver. There are a few blobs in there but it's not too bad. Reception and sound quality have been totally fine with no complaints.
How to Clean JSON Data at the Command Line
Counter point, I’ve been told by recruiting that my email makes me stand out because it’s not the norm domain name and it’s a little “fun” in the sense that it conveys a little light personality.
"In the long term we are all dead" so why would it even matter if over 2100 years your perfect 5% compounding hasn't happened as expected? No place on earth experienced nothing short of complete societal overhaul in that span -- most often multiple times at that.
I think the more interesting thing in this article is about how plants can somehow decide whether to grow faster or slower depending if they’re trying to reach a certain type of support, without having a central nervous system.
Could you point out which part of the article uses "category theory jargon"?
Also a beryllium magnet which is poisonous
Of course; when Guido Van Rossum left Python[1], he titled his email "Transfer of power" and commented "I am not going to appoint a successor. So what are you all going to do? Create a democracy? Anarchy? A dictatorship? A federation?". No doubt a lot of people would like to insert themselves as new "Benevolent Dictator for Life" - imagine the uproar if Guido had appointed a successor who nobody had heard of, but had recently bought Guido a luxury yacht. What would "fork the entire thing" look like - would Apple do it? Google? FreeBSD? Microsoft? RedHat? Would the Python dev core fracture into competing groups of stay vs leave? Just because you /can/ fork it, doesn't mean nobody has any power or influence.

Or when people complain about Linus Poettering and Systemd, either how it came to be in certain distributions, or how it took over certain subsystems, or people's behaviour around it - isn't that politics and power structures?

Or that recent post on HN ( https://news.ycombinator.com/item?id=25076197 ) where the Cairo project appears to have nobody left who is able to make a release and the last few years of releases were done by one person working at Samsung, and there hasn't been one since he left, and presumably there was no organizational structure for how to distribute this power to several people, or how to choose and "promote" someone to the job, or if nobody wants to do it, how years worth of effort came to end up on the rocks where nobody even cares anymore, isn't that a broken or absent organization one way or another?

[1] https://mail.python.org/pipermail/python-committers/2018-Jul...
The calls themselves aren't usually in the open due to privacy concerns, but you can listen to dispatch in many cities here: https://www.broadcastify.com
Unless more of the world falls out of economic development, the opposite of the trend we've seen for decades, the Einsteins born in areas that can empower them will increase in number proportionally. In fact, our current accounting of Einsteins is limited to the ones that were empowered, so if trends continue we should expect a larger than proportional increase.
Mine has the 30s button, but also a numeral pad that if I want 5 minutes of heating I just hit the “6” button once and it starts already with 6 minutes. Pretty good UX
I have a blog post I wrote awhile ago that might be of interest:

Diversification, Risk and Leverage
https://cryptm.org/posts/2019/11/28/div.html

If I was rewriting the post today, I would make some changes, but by and large, I stand by the post.
The whole part about lenses.
A heuristic: if somebody had demonstrated causation for a 25% reduction in all cause mortality, you wouldn’t be learning about it on HN first, because it would be the headline of every newspaper on the planet. 25% mortality reduction would be the biggest news in human health since germ theory.
Lmgtfy :) Just found this to answer my own question. https://obs.ninja/
B-52s can turn their gear so the don't have to do the de-crab part.

https://www.youtube.com/watch?v=9tyc9Imjaqs

https://theaviationist.com/2020/11/05/watch-this-incredible-...
I wonder whether a somewhat scrubbed exhaust could be piped into the bubble system.
Ask HN: Export Data from Firefox?
They managed to break downloads on Firefox android and it was the last straw. Fed up with their shenanigans and would like to migrate to fennec or something, but when trying to backup my saved logins the only option is for their sync now, when I am fairly certain I used to be able to back them up to a raw text file.

Any help would be appreciated.
It's not worth the hit to quality of life, in my opinion. It's much easier to plan trips or visit with my friends in tech than the ones in finance. Live to work vs work to live scenario.
> they are a reaction to a failure in distributed planners as recognised by the most firm believers in distributed planning.

No, they are a reaction to the perceived failures of “distributed planning” as perceived by advocates of central planning. Free marketers have always said that those banks need to be allowed to fail because they made bad decisions and bankruptcy sells their assets so the creditors can get paid and new management can operate them.

With bailout you have this bizarre system where profits are privatized and losses are socialized, which is not a distributed system or a free market.
Do you have any examples of unhealthy South Indian menus.

Wheat is not native to India and rice is considered a superior complex carb. Wheat has also been hybridized so many times while multiple varieties of ancient rice still exists in South India.

One of the words for ‘outsider’ in Sanskrit is Mleccha. It also means..’wheat eater’.

Rice growing countries like China, India, Japan and many Asian countries have a far healthier diet than countries with a wheat heavy(non vegetarian and hence grain heavy) cuisine.
You it would be as simple as a wedge and a roll
“custom operators” is where you lost me.

Elm for me is like a refuge from JavaScript where anything goes (good and bad).

It’s not a hammer for very nail, but it’s simple and predictable for the most part.

There are other frameworks like bucklescript / reason, purescript, closurescript, etc. with all the bells and whistles.

Ultimately, I think Elm is in a good place. That being said you have to pretty quickly jump into the deep end once you reach a fairly moderate sized code base.
I’m not sure I understand the problem space here, but consider AWK. It really changed how I think about any problem involving tabular data parsing.
When disabled via group policy, no it doesn't.
TSMC is a Taiwanese company. The world can ensure the supply of its semiconductors by ensuring Taiwan has access to weapons and guarantees of military assistance in case the CCP's benevolence wavers.
Let's hope USA 2016-2020 adds "failing upwards" to the list of available OTC explanations.
And that nondescript empty space between the share and search icons?
That's a fair point; I know there's a lot of truth in the quote “A lie can travel halfway around the world before the truth can get its boots on.” and I've seen plenty examples of major damage caused thanks to the phenomenon (Which has no doubt helped with the arguments advocacating for censorship.)

I'd say a couple of things.

In a situation where we do have free speech I believe the truth does overall win out in the end; very often it takes a frustratingly long time and often comes too late to repair the damages caused by the lie but I believe that that overall, if you'll excuse the horrendous remark, "the truth does find a way".

I also know that the current lies and propaganda we so often see are an absolute stain on these past decades and I'm also in agreement that something needs to be done. Whatever it is however I'd like to see it built on the free speech principle rather than against it, even if the principal isn't without its flaws.
The keyboard (and ports) will probably hold up a lot longer than the compute power of the Pi 4, so being able to swap out the internals without throwing away the perfectly good chassis would be a nice win for e-waste.
You’re right, “Apple’s out-of-the-box restrictions” is a better phrasing.

I don’t understand your final sentence about “prevent”, and it doesn’t seem to be connected to anything I said. I apologize but as a result I can’t consider or reply to it as stated.
Really, you find that peas-and-carrots combo not unpleasant? Maybe a normally fine veggie combination, but when frozen and then tossed in a microwave...
I think you don't give American companies enough credit when it comes to appealing to various countries laws and opinions. It is disingenuous to say Europe or the rest of the world does not care about copyright when they have historically and increasingly laws that are as strict if not stricter than the US' when it comes to preventing copyright infringement. [1][2]

Nipples do reflect American sensibilities although it is understandable that many companies do not want to go down that road as it could lead to becoming distributors of porn. I think you will find that many countries outside of Europe agree or don't think that these rules go far enough.

[1] https://en.wikipedia.org/wiki/Directive_on_Copyright_in_the_...
[2] https://english.kyodonews.net/news/2020/06/33f524714d35-japa...
Depressing
In sum humans do not always optimize towards one variable like success / fitness.

Instead they optimize to many things like money, prestige, power, security, and so on. Much like you can't describe health as a single thing, when you collapse your insight to a single variable you miss everything in your simulation of how reality works.

This applies to an individual level but especially applies towards a cooperative level with multiple individuals. When we cooperate (or just act in ambiguous situations) sometimes trying to collapse your actions to "mental shortcuts" aka Heuristics in Judgment and Decision-Making to borrow some thinking fast and slow language further reduces insight.
It’s not even the headline

> The Most Famous Paradox in Physics Nears Its End

I think the article was originally titled the same as the OP, but then changed the headline after eventually realizing it was wrong.
If you're early in your career, then you should probably just take the Jane St opportunity. They are very well respected and it looks very good on your resume.

If you're later in your career, you should have enough contacts and know enough people to get in the door at a small firm. If you don't know their name, you'll have a hard time getting in. These kinds of places don't post job openings on indeed. You kind of have to know someone.
I use the keychron keyboard (k6) they have a physical button layout switch for windows(linux) / mac..

(Obs don't buy directly from them heard that is chaos)
https://www.keychron.com/
"Universal" Mach-O binaries are specific to the Mach-O binary format, which wasn't supported on classic Mac OS. (I'm not even sure that multiplatform executables were even supported by Mac OS X before 10.4 or so, when they started using them for Intel cross-compatibitility.)

"Fat" CFM/PEF binaries existed on classic Mac OS, but used a completely different mechanism that only supported 68k and PowerPC code. And if you wanted to support a Classic II, that rules out a Carbon application bundle too.

About the widest range I can imagine for a single executable is a hybrid CFM/PEF/Carbon executable, which might be able to run on anything from a classic 68k mac up to Mac OS 10.6 (through Rosetta).
You can try this plugin: https://addons.mozilla.org/en-US/firefox/addon/ddg-hide-unwa...
I am considering switching to Linux, but I really think that MacOS websites rendering in the browser (any browser) is far superior to that of Ubuntu.

Does anybody know why MacOS renders websites better than Ubuntu? Is there any way to fix it?
Any recommendations for tools / environment to do this?
Published 3 days ago: "Sixty-Day Outcomes Among Patients Hospitalized With COVID-19"

https://www.acpjournals.org/doi/10.7326/M20-5661
I prefer webmaster@whatever site i'm on

A fair number of places will deny that, but I like to think it sends a message. I'm not sure how many, if any, domains still have a working webmaster@ address though.
The use of lenses here is just one approach to solving a specific problem. It is still possible to write code with the same behaviour without lenses.

Do you have a better suggestion for updating deeply-nested record fields?
Apple is now Full-Stack. It's turtles all the way down to the CPU!
That's far from a perfect statement, but it's not the worst that you see. As an interviewer, the difference is between junior and senior developers. It's an indication that they they understand the currency and some metrics for an area/business, but more than that, it sets out their position.

That position is something I should be challenging in the interview with questions to probe deeper:

* Can you tell more about the GraphQL API? Was this new or replacing an API? Tell me about the constraints and goals you were working towards?

* What issues did you have getting to that level of performance? What trade-offs did you make when you hit issues?

* What are the challenges with running your API in production?

* Can the API you implemented scale higher? If so, what would need to be changed with it as you scale to 400 and 1200 queries per second?

If this person has done the work this should be a good discussion and you can start to bring in some of your business or technical problems. It will be very evident whether someone has just invented metrics, or the statement is describing the work of others.

I feel it's important for technical interviewers to have some experience with STAR/behavioral interviewing. This assists with screening/selecting resumes and exploring these areas in interviews.
TemplOS' Repo via Onefetch
I suspect this would be similar to the first full screen smart phones. I had one of those. Long before the iPhone was a thing. It sucked.

The idea is good. It'll just take a while before someone gets the implementation right.
I for one am very glad that TSMC amounts to a SPOF. I've been to Taiwan twice, and I'd much prefer to use an old chip a while longer than for this lovely, open nation to be invaded by a totalitarian regime. There is only a few things preventing an invasion, mainly that the US would like to keep this "unsinkable carrier", and TSMC. As Xinjiang shows, only international pain will do to make the world react to China's actions, and TSMC might be able to cause that.