skysight-inc/HackerNews huggingface dataset:
Automated proofs aren't remotely comparable to Mochizuki's abc stuff. Automated proofs just handle a lot of complicated case by case checking that humans could in principle do, it's just too much work, like counting to a trillion. Automated proof systems are incapable of the brilliant but unreliable intuitive leaps that mathematicians can make.

Mochizuki's stuff is simply a hypercomplicated pile of nonsense unintelligible to the mathematical community.
I think it's a combination although oftentimes very straightforward particularly for scientists. For entrepreneurs/founders, it's more complicated but as a very general rule, press that mentions the founder by name and his her work and really anything public, such as publications, speaking engagements, presentations, etc. help. USCIS essentially is looking foe third-party/objective validation of an applicant's "extraordinary abilities."
The tweet is really low quality clickbait so the replies are of same quality. If you actually read the study you'll find that PG's summary has little to do with it. It reads like anti-woke clickbait if anything.
Modern UX people are monsters that come out every few months to terrorize me. I’m honestly scared to install MacOS updates.

I don’t recall the last time an update made anything better for me. But I’m a “power user” so I guess that means I should expect to re-learn basic navigation endlessly.

My computer is a tool. Please stop changing how I use it.
> it's like this crisis was custom built to kill off humans.

dialectics instilled in me by USSR education sees nothing surprising here. Increasing quantity of human activity creates qualitatively new conditions. All systems develop from crisis to crisis, each time being forced to undergo qualitative transformation to overcome another crisis or perish otherwise (i.e. exploit the current state as much as possible, hit the crisis resulting from the over-exploitation, explore for a new state, get into it if successful, exploit...). Human civilization has become a planet scale factor while lacking planet scale means to manage its impact - that is a classic dialectical quantity vs. quality mismatch leading to a crisis which if not proactively "soft landed" will settle on its own through a catastrophic style readjustment.

And if to look as an outside observer - there is some logic to it as giving that humans are on the edge of becoming a space faring civilization the humans are either to deal with the climate change on their own planet or shouldn't be able to move to the next levels of energy/technology, handling other star systems and civilizations.
> It does not make sense to me to consider a bootloader and whatever it boots to be one program.

Yes the name says it: a bootloader loads some other program into memory.
You really want the intrusion of a government bureaucracy in your life telling you how much and which foodstuffs, that are perfectly safe when eaten in moderation, you can buy? Think for a while about how this can go wrong, and about what kind of agency you want over your body.
Sleep deprivation.

Unless the study is controlling for that. Most of these studies only control for sleep deprivation based on self reported questionnaires, where parents are likely to be too optimistic.
Innovation Gets (Mostly) Harder
Apart from the poor methodology that others have commented on, pg's scare statistic appears to come from just one row of Table C on page 12 (numbered 482), related to one topic.

Looking at all of the other topics paints a different picture: approximately 75% of student are consistently against banning books. But that's significantly less easy to hand-wring about.
Hey there, I'm a Canadian living in the US on an L1 right now, it was a good fit for me. What my company did was set up a Canadian Entity (subsidy) and started paying me through that for a year before I made the trip. It worked out well.
For me, the most interesting one is Josephine[1]. This allows tracking of stack roots, doesn't limit the time when GC can run, and takes advantage of rust's affine type system. However I have to say the API feels fairly clunky, with the need to root everything before mutation and the need to pass context objects to every method.

[1] https://github.com/asajeffrey/josephine
> There’s obviously no data going back 1200 years and the temperature proxies used, like ice cores, or tree rings, haven’t been consistently reliable.

Not my area, but what does it mean to say they're not consistently reliable if we don't have the ground truth to compare them with? Especially given that, when talking about a given region, you may only have one imperfect signal?

But aside from that, the claim that "this current drought is potentially on track to become the worst that we’ve seen in at least 1,200 years" doesn't say anything specifically about temperatures. It would be nice if they had explicitly clarified what "worst" means. Do we have better ways to judge how _wet_ years or decades were a millennia ago, for given regions?

You're accusing the cited experts from turning the issue into a faith, but the second and third scientists both mention the way that the current observations are in line with prior, model-based predictions. That sounds like falsifiable hypotheses being held up to new information. Isn't that almost the essence of science?
For anyone reading this thinking: "huh?".

This is presumably about Hitler's "Mein kampf". Which wasn't banned by law in Germany. The province of Bavaria simply inherited the ownership (copyright) of it and decided not to grant anyone permission to print it. Thats why it was not illegal to have the book but it was illegal to print it.

I believe the copyright has now expired in Germany and it is in the public domain.
Hey there, author here!
I got the M1 around the 15th March of 2021 from work, at this time, Docker and some other apps weren’t fully supported yet but tech previews were letting a favorable view of the whole thing.
I am pretty lucky since Docker isn’t really essential in my work and is just a nice bonus that saves time when doing local tests.
Even tho some little things were frustrating at first (some applications not supported), a little patience never killed anyone :)
In the end, even with that, I would say that the experience was pretty much painless given I only had few programs not running either natively or M1, most of which being games.
If you really want to achieve a great experience for an interactive networked application, you should engineer things where everyone is close enough to your servers to get a response quickly. Or design an experience that does not need to be network interactive.

> are you suggesting that network requests in an Android app should block the UI thread

I'm suggesting that if network requests over a cellular connection could just be made within a frame (really, a tick, nothing is that fast), like they are on Fortnite or Roblox for Android, for example - if people applied the same engineering practices and standards to GUI applications as for realtime multiplayer games - yes, the apps would be way better, and as a side effect, way easier to author. The server and deployment story would get more complicated. But maybe that's a good thing, to put the hard work where it's easier to do.

For a concrete example of what that would look like, the io_uring thing posted here just a bit ago was really fascinating. It's probably the way HTTP should have been done in Java from the get go - a request that returns immediately, but you must poll in the GUI that actually needs its results to render, and you must poll at the right time. Clunky, but still, all synchronous and all direct.
I think they need a platform for developers and macOS diehards. But fast forward 10 years macOS won’t exist.
The language appropriate tool for writing SQL is SQL. Anything else is a mess; even the ORM best case (generating a simple query from suitable metadata, without redundant source code) is both very complicated compared to just having the text of the SQL statement and very constraining for future evolution (e.g. when the query involves a new table, doing multiple queries and filtering data in the applications instead of using joins because it's the path of least resistance).
joplin is one of the initial open source note taking tools with cross platform and device support. they were an inspiration for me for making my own note taking tool.

shameless plug: if your looking for a modern dev focused note taking tool, would love to get feedback on what you think of https://wiki.dendron.so/
The use of ivermectin in humans to treat parasites won a Nobel Prize.

Quoting from the Wikipedia page:

"Half of the 2015 Nobel Prize in Physiology or Medicine was awarded jointly to Campbell and Ōmura for discovering avermectin, "the derivatives of which have radically lowered the incidence of river blindness and lymphatic filariasis, as well as showing efficacy against an expanding number of other parasitic diseases"
You live in a country where people modify their vehicles to deliberately cause more pollution - and not just CO2 emissions, but local particulates that do immediate damage to your community.

Appeasing that mentality is not the solution.
> And so you fall into the pit of tar and despair that is relying on Sufficiently Smart Compilers. Same one that couldn't save Intel's shiny new IA-64 architecture (the "Itanic").
I disagree. I'm not just pulling this out of my ass, I've been doing exactly this for years, I can't remember how long. It works fine.

>you'll eventually get into the habit of blindly enabling scripts when a site breaks, negating any security benefits.

The key here is that when you're deciding whether to whitelist a JS import, and you don't know what it is and don't want to take the time to look it up, then whitelist it temporarily not permanently. It will be moved back to the blacklist the next time you restart the browser.

Only permanently whitelist JS that you know for sure isn't a tracker or malware or sketchy.
A misrepresentative, editorialized tweet written by the founder of this website.
Perhaps Microsoft doesn't own all the relevant code? Historically, there are too many win32 API users "clever" enough to exploit the coupling between UI, business logic and old assumptions that don't work anymore in modern platforms.
>India wouldn't have taken it off the recommended drugs list.

Normally authorities are afraid to go against W.H.O recommendations, because if it didn't work out, it would be hard to justify it on the basis of local observations alone, at least on paper.

But the important thing is that some states still did it, which might indicate there was very observable benefit.
The statistical significance of the poll may be garbage, but the point it's trying to make is important. I'd personally ban CRT rhetorics in education, but banning CRT books would be a direct attack on 1A.
Scientists discuss science in YouTube comments? That's a first to me.
One Laptop per Child Project Is Dead
I agree with your take on event busses but I feel like it describes RxJava pretty well too.

> RxJava has its significant downsides. It's still indirect, it's very hard to debug call stacks with them! RxJava call stacks are meaningless. This is the right criticism. The wrong criticism is, "Bad developers can't handle it."

How about "It's still indirect, it's very hard to debug call stacks with them! RxJava call stacks are meaningless" and because of that bad developers can't handle it ?

Context: Have worked with RxJava (1&2) for about 6 years on different products and I agree that Rx is powerful but it's incredibly easy to over-use and abuse to the point of being a net-negative for a codebase. I think it takes a very disciplined developer to work with Rx. I love/hate Rx
Yes it gets rather complicated, is Breton Woods good or bad, so to speak? Well, I'd like my non-irradiated cake and eat it too.

Its mind blowing how much that the post war era is still affecting current affairs.
The "extreme left" is not even a fraction as represented as even far right within popular consciousness and, more significantly, political representation. There's no Marxist-Leninist politicians of note in Germany (where the study was done). There are however plenty of popular politicians and parties with significant power who align with some of the statements and topics the students were asked about.

What I'm trying to say with that is that it's not an equal comparison. There is no political mobilization for extreme left ideas that is even remotely comparable to the far-right that align with some narratives that the students obviously consider as dangerous, such as anti-Islam and anti-immigration, anti-LGBTQ, and pro gendered labor division.

I am not in favor of flat out banning such books (even if I personally believe they have no place in an environment of science and learning such as a university), but it's easy to understand why the response of left-leaning students towards right-leaning topics is stronger than the inverse.
> because it's easy to spin it into an anti-woke censorship narrative, HN is going to eat this up.

It is the most tiring and mundane narrative -- that a group of people who are mostly young and relatively powerless somehow represent some grave existential threat by being too "woke".

It's embarrassing for humanity that this is the issue that riles people up. We're killing off all life on the planet, but comparatively no one seems to care much.
Any discussion of ivermectin on platforms like YouTube, Facebook, and twitter is met with ceremonial bans or deletion. Even when the discussion is between doctors or is part of a senate hearing (see: dark horse podcast with Bret and Cory, and Cory’s testimony to the senate which have both been taken off YouTube)

So yes it is an apt comparison.
Wait until Slack outfits their developers with M1 machines and we’ll quickly be back to being unhappy again.
No, actually, I do not mean that. I mean exactly what I said.
I dont agree with getting rid of "widget", but I do agree vertical space are very limited. Your example of 1080P will be on a 16:9 Screen or iMac. MacBook uses 16:10, but even that, vertical space are still at premium. Once you have Dock at the bottom, and all web design has another layer of navigation at the top, you are quickly looking at 480 out of 1600 gone [1]. That is 30% of my vertical screen space. Leaving effectively 2560 x 1120 for content at Aspect Ratio of ~21:9 ultra wide.

I would have used Full Screen Option if I could have Tab Bar showing instead of Address bar + Tab Bar. And Safari for some reason has strange GPU / CPU usage problem with full screen usage which hasn't been addressed for years.

May be instead of software design, hardware should have adopted to it. Microsoft Surface Laptop has a 3:2 Aspect Ratio. On the same MacBook Pro 13.3", that would have been an additional 120 pixel.

Another point worth mentioning, the Big Sur redesign actually have the Safari ( and macOS )Toolbar "thicker" as in taking more vertical space.

[1] I tend to hide the Dock Bar, without the Dock it is only 340 of vertical space.
In terms of carrying capacity, I think we are far from physical limits for Earth. We need technological solutions - imagine how many humans we could have with vertical farming and fusion power. Colonizing space? Technology is something we can obtain. You imagine the masses from 1860 holding us back, but what if every scientist from 1860 on was still with us and building on a century plus of experience?

Regarding social progress - first, it is the modern social views we would be extending and entrenching, not antiquated ones. We are extending the lifespan of Trump voters, not slavers or Jim Crow enthusiasts.
Perhaps you are suggesting that our social views, in a hundred years, will seem as reprehensible as those of a hundred years past seem to us. However, there is no guarantee which way social views will progress. Perhaps, without amortals from our time future societies would have worse social views.

Second, I suspect the reason the elderly tend to be more close minded is related to their circumstances. Their minds aren't as plastic, their bodies not as hale, they can't get out to work and be a part of society, etc. If, instead, their bodies were hearty and their minds agile, they might be as amenable to influence as anyone else. We may find the social views of a healthy two hundred year old advance as steadily as society's.

Regardless, I wouldn't kill people or prefer they die just because they have regressive social views. We should convince them if possible or just live with them if not.

There are certainly problems that may arise from extending lifespan. I believe we can solve them.
It says page not found.
Eh, the issues seem largely orthogonal. If anything semiconductor manufacturing subsidies propping up companies that are primarily software driven is an argument for breaking them up not an opposing idea.
Hey there!
Yes, I kinda was surprised that the M1 held like this, my previous experiences with ARM-based processors was with single-board ones like the Raspberry Pi which obviously don’t are as snappy as the Macs are.
I personally will probably not buy the M2 as I feel the M1 will fullfill its function perfectly for the years to come :)
Croatian Wikipedia Disinformation Assessment
Remember when Tim Cook put Bono's album in the iTunes library of everybody? That's when it felt that the smartphones are not our devices. Someone you don't know can and U2 album to your library without you ask for it or being able to do anything about it.

You can understand it with an OS update. It's the new shiny thing that comes with bunch of stuff and this new one has this new app.

However, getting it without action on our own part feels very wrong. Even with games, you would receive a pack or something that you can take action to activate. When it's happening without our action, it messes up with our sense of control and continuity.
He blocks the intelligent critics.
That sounds a lot like Graal
Im not a researcher, but why would any study of some social environment not be worth studying?

Especially as it relates to present day & macro-scale social dilemmas, and more importantly a robust history to learn from vs repeat –– Though for this, I'd be more interested in historic psycho- analysis/profiling, present day, and how individual viewpoints evolve to large social disruptions in democratic societies.
It also ignores the significant disagreements the founders had amongst themselves.
You can't make a point based on garbage data.
It's because it's a cheese that bugs people off.
> Ergo the U.S president at that time will leave Taiwan out to dry instead of risking World War 3.

I don't think (or atleast I hope not) the US would use nuclear weapons to defend Taiwan, but I have a hard time believing that the US wouldn't offer atleast token military resistance. At the very least, the US has a lot of standing to lose with it's many allies accross the globe that would make leaving Taiwan out to dry very costly.
Every June 21st sees a census of the world's urban microbes
Oh, my bad then. I've made the common mistake on HN - assumed that anything here is about the US.
Windows Update is pretty brutal in general.

While Windows 7 was still current, there was an update that refused to install, and reported a cryptic error code in the UI.

After digging into dense log files and online support I came to discover it was refusing to install because of an Incompatible version of the super-old Novell Netware client, that lived in C:\Old_Computer\hard-drive\installers\novell_installer-${someversion}.exe

Windows was scanning the entire hard drive @ install time to look for any software on it's list of incompatible software.
It's banned on YouTube because of multiple authoritative sources indicating it's not a safe and effective treatment for COVID-19.

Here is the FDA's stance:
https://www.fda.gov/consumers/consumer-updates/why-you-shoul...

Here is the European equivalent of the AMA advising against it's use:
https://www.ema.europa.eu/en/news/ema-advises-against-use-iv...

Here is an RCT in JAMA finding it ineffective:
https://jamanetwork.com/journals/jama/fullarticle/2777389

And here is Merck, that sells Ivermectin, but whose vaccine didn’t make it through clinical trials, discouraging the use of Ivermectin for COVID-19: https://www.merck.com/news/merck-statement-on-ivermectin-use...

If Ivermectin worked on COVID-19, the manufacturer of Ivermectin that has made no money on vaccines for COVID-19 would probably be pushing it wouldn't they?

There have been some studies that found it effective in vitro, but as noted in other comments, at several times the safe dosage in vivo.
Seems pretty clear - no new gas/petrol/diesel models by 2016; no hybrid or full electric in the range by 2028.

Hybrids mostly exist to tick a regulatory box, so a fully electric-only range will be a long time coming without further government intervention.
I've checked the original source [0]: You've guessed right. They specifically said they won't be introducing/creating new gas models. Nowhere do they say that they won't sell old inventory.

[0] https://www.sueddeutsche.de/wirtschaft/audi-verbrenner-elekt...
Yes, go to a good restaurant, the proper recipe is taking forever (days).
It's hard to compare in the abstract but an EB1A is highly subjective and discretionary and the standard that's been applied the past few years has been very whereas the EIP seems much more like a check the box type of application. The uncertainty regarding the processing time of IEP applications is the biggest negative, I think.
Used it for 1 year and it only got my spinal aches worse. The issue is that you tend to lean sideways in it, and leaning straight back doesn't help. Switched to Ikea's Bleckberget.
It is the same words, but not the same reality: The US's killing of Huawei was a quite real thing compared to some speculations about a future major conflict involving Taiwan or South Korea.
You can also over-dose on dihydrogen monoxide - should we also ban any discussion on that?
I picked up through my work an Audi E-tron 50. It was a second car, so I wasn't riding everything on it. What surprised me is that I am going to resist ever buying a car with an ICE now. People complain about range, but the issue is really availability of fast charging points, which will change. The smooth constant acceleration, quiet ride, not needing to visit petrol stations, long service intervals and lack of particles coming out the back has converted me. If I was running a car company, I would not be throwing any R+D at the ICE range.

EDIT: Just to add that the reviews didn't really represent to me the car that I got. They largely compared it to performance Teslas, and noted that it was slower, shorter-ranged and less efficient than Teslas. But I think a lot of reviewers miss the point. A fast Tesla (LR models, let alone performance) is so fast it beats my motorbike, which is normally faster than most performance ICE cars. I think the general public haven't quite grokked that yet, so have no idea just how fast 300hp with torque available all the time actually is.
A look at historical sea levels is a fun way to outrage people.

https://www.usgs.gov/faqs/how-does-present-glacier-extent-an...
This looks less ridiculous than the last metaanalysis on Ivermectin that was posted here.

Still if you look at it there's some reason for caution. Not all of the included studies were RCTs, some were not blinded. If you look at the "Risk of Bias"-Table there are really only three studies that could qualify as high quality.

I'm waiting for judgement from medical experts.