skysight-inc/HackerNews huggingface dataset:
Basically it turned out that theoretical undecidability did not matter in practice, because Scholze mathematics relies so little on definitional equality. We prove theorems with `simp` not `refl`. Pierre-Marie Pédrot is quoted above as saying that various design decisions are "breaking everything around", but we don't care that our `refl` is slightly broken because it is regarded as quite a low-level tool for the tasks (eg proving theorems of Clausen and Scholze) that we are actually interested in, and I believe our interests contrast quite a lot with the things that Pédrot is interested in.
"Fatalities from contaminated tempeh bongkrèk were once common in the area where it was produced.[42] Thus, its sale is now prohibited by the law; clandestine manufacture continues, however, due to the popular flavor."

Remarkable. It joins fugu on a very short list of "things that are lethally poisonous, but also food".

Wikipedia even has a category for this!

https://en.wikipedia.org/wiki/Category:Potentially_dangerous... ("Category:Potentially_dangerous_food")

Casu Martzu, tempeh bongkrèk, fugu are all on there. But I think it's missing a couple interesting ones: raw cassava root (glycosides that are metabolized to cyanide) and rhubarb (oxalic acid (which is also the toxic metabolic product of ethylene glycol, the antifreeze fluid)).

https://en.wikipedia.org/wiki/Cassava#Potential_toxicity

https://en.wikipedia.org/wiki/Rhubarb#Oxalic_acid

https://en.wikipedia.org/wiki/Oxalic_acid#Occurrence_in_food... (several other obscure foods)
What generally happens is that a select few get to receive pay for a fake job and everyone else of worse off by having to pay for it by force.

Actual benefit comes when people get paid by other people voluntarily making the exchange
I don't understand this answer. All of these activities are out of scope in your current role?
I think double taxation is a fantastic thing, it allows far more granular taxation.

However, I also think we need a land tax, and part of that land tax includes the economic land of intellectual property.

IP is one of the biggest roadblocks for new entrants to the space, which greatly limits expansion of production capacity. This is also very true for things like pharmaceuticals in the developing world. There's a tradeoff to be made between allowing the creators of new economic land to charge rent for the land, and the need to reduce that rent in order to improve economic efficiency.
Might be an issue on your end. Steam maxes out my bandwidth more than Speedtest/Fast.com do
Some reality TV-host recently got in some controversy for using unusual food like these for effect.

Personally, I don't care if people don't like a food or poke fun at a dish I'm familiar with. But some people get sensitive about cuisine even if they themselves don't like those dishes because they take it as a personal affront.
Good luck with that. The process at the national level is completely broken, so nothing substantial gets passed but budget reconciliations.
But they are paid from some other budget, or perhaps from state income taxes. That has a real effect on something, it’s just not apparent what. Any job that only exists via mandate is taking the place of some other economic activity.
People want to make their own side more powerful so that it can constrain and defeat the evil other side. The result is growth of power of both sides.
> That's not how it works. The x86-64 ISA requires these "top" bits to be properly sign extended when actually accessing addresses.

On Coffee Lake no more than 48 bits of the virtual address are "real". If I steal ten of the 64 bits from the top, all the actual address information is preserved and I've lost nothing. My compiler works just fine.

On Ice Lake up to 57 bits of the virtual address are "real". Since I'm stealing ten of the 64 bits from the top, I only have 54 bits left, so 3 significant bits were dropped and I don't have them any more. Sign-extending the wrong value won't magically make it into the right value.
What point is conquering a people if you level it to the point that people can live there? It defeats the point of annexation. I guarantee Taiwan has seen that day coming that they've got bunkers galore kind of like Switzerland. Believe it or not, it's a mountainous island.

At best, it'd be a drawn out Afghanistan with a diplomatic sanction frenzy worldwide. China would be painted by global media outlets as evil if they took a total war approach. They'd have to do it like Russia with Crimea or Milosevic in Yugoslavia with paramilitary groups. Everyday the Taiwanese identify less Chinese making it that much harder.

The only thing that will make them do it is if the US and EU are in a weak state and can't be bothered with policing that. Like another depression and global war elsewhere.
> not everyone feels that Prusa Research has made the Mini as “open” as its predecessors. Some concerned owners have pointed out that according to the documentation for the Buddy board, they’ll need to physically snap off a section of the PCB so they can flash custom firmware images via Device Firmware Upgrade (DFU) mode. Once this piece of the board has been broken off, which the documentation refers to as the Appendix, Prusa Research will no longer honor any warranty claims for the electronic components of the printer.

https://hackaday.com/2019/12/16/prusa-dares-you-to-break-the...
> and making the resources available to those schools available

How would you do this? It seems like it’s impossible to tax the group of people who would have sent their kids to private school had it been possible.

Equally it seems impossible to force the people who would have chosen teaching careers at private schools to work at comprehensive schools.

That, and the fact that one of the ‘resources’ that private schools have is flexibility to make decisions outside of the comprehensive school system.
> Some who eat the cheese prefer not to ingest the maggots. Those who do not wish to eat them place the cheese in a sealed paper bag. The maggots, starved for oxygen, writhe and jump in the bag, creating a "pitter-patter" sound. When the sounds subside, the maggots are dead and the cheese can be eaten.

Sounds like there is less protein rich ways of eating the cheese as well.
Absolute side topic, but has anyone used an EventBus-like system for C? I have an RTOS project and would like to have some eventbus options to simplify inter task communication.

As with everything, lots of options outside of C, not many in.
taking measures against a pandemic is not, because the pandemic is real and deadly

The existence of a problem does not imply that any measures taken to address it are reasonable. Child pornography is real. Should the government secretly install an app that scans your photos and reports you if it finds anything suspicious?

because in particular in the US there exists a phobia both to technology as well as government

Surreptitiously installing tracking apps is not going to help with that.
Unlikely, they’ll probably update the Mac Pro with a new Intel CPU this year, but very unlikely to see anything else.
This hasn’t been true for decades… it’s one of those “Internet Talking Points” that gets repeated ad nauseam but just isn’t true..

The AMA lobbies intensely for more residency spots and more medical schools and has since at least the debate over the ACA.
Of course competent programmers using the top K bits of the pointer would make sure that the kernel and memory allocator operate so that they don't allocate memory outside a (64 - K)-bit address space, regardless of what the CPU supports (e.g. Linux mmap as one would expect won't allocate beyond 2^48 unless explicitly requested).

And obviously any intelligent CPU architect, if they make a CPU that masks the upper bits, they would make the number of bits that gets masked configurable per-process and not dependent on the maximum virtual address space supported by the CPU.
If you’d like to learn how they built these wells or shafts with steam engines and bricks:

https://youtu.be/tqAbMbRQ3jE
It would be more than that. The U.S. would actively attack Chinese forces attempting to invade Taiwan. There is very little doubt about that.
Humans are great at long term thinking, however capitalism is not
I'd be surprised if x86 is still a major thing in 5 years, and very surprised if it was still a major thing in 10 years. It's had a good run, but it's 40 years old (with, granted, many extensions and improvements). Sometimes you need to start with a fresh sheet of paper.

Apple's M1 was the first shot across the bow, and I believe AMD has an ARM-like architecture in development as well.
The studies they're quoting support the thesis that fathers aren't strictly necessary for child survival, only the role they perform is. So from the child survival point of view, a culture or society that does not have doting fathers but enough community support to fill those roles is just as beneficial as one that has doting fathers. Either way works, from a child survival p.o.v.

There may be other factors that we as a society consider beneficial that we wish to promote, that need present and involved fathers, and that's fine. But that doesn't mean a non-involved father is bad for the survival of the child. We currently based societal mores on more than just survival, though, and that is a sign of progress.
New BiteOpt 2021.26 – DFO method for Hyperparameter opt, Best in class
What IO limitations are there?
If not an asterisk, they’ll just have less impact. A proof generates a fact. The best facts and proofs are useful in that they help other things. You work becomes useful for my work, which may become useful for others.
Governments and organizarions in general tend to also operate knee-jerk style as well. Its almost like there's a threshold that must be exceeded until a need for change appears necessary. That threshold could be lives lost, money lost, significant opportunities lost etc.
> TDD is a workflow suggestion, not gospel that must be strictly followed.

you haven't been talking to the same people I've been talking to, I guess. TDD is sacred and must be strictly adhered to, according to them. "anything less is just plain testing and is useless."

and people sometimes ask why I have such strong opinions against things like this. it's because people who don't write software come up with these things, and their lack of experience hides the realities of software development from them. they mean well, and they cause harm.
> So the best approach would probably be to schedule 30min

> meetings that are always followed by 30min free time

It seems better to have no free time between meetings. That way everybody is much more motivated to keep them to the allotted time. 30 min is much too short an interval to do serious technical work.
Then, frankly, we should just incorporate the Cayman Islands into the USA
Indeed. Is a pointless but harmless job worse for society than preventable poverty? I think not.

Is that always the case? No, of course not.
It should be easy to cite all the bad predictions he had made.
I think that right now it is not clear why condensed/liquid mathematics would be useful for PDEs. On the other hand, your question

> Or does it "contain" topology in some sense, allowing people to continue working with notions of convergence obtained from norms?

has a positive answer. You can, if you want, swap out topological spaces, and use condensed sets instead, and just continue with life as usual.

At the same time, all of this is in fast paced development, so hopefully we will see some killer apps in the near future. But I expect them more in the direction of Hodge theory and complex analytic geometry.
> How many of his ~70 books am I required to read before forming an opinion?

I like to follow the rule that I only talk about things which I know about. I think it's a pretty good rule. So I personally wouldn't talk about an entire person's collection from such a limited introduction because it would feel a tad bit hasty to me. Instead, I would talk about the works that I had read--this might prove difficult if you can't recall the names.

> This clowning bullshit is a good reason not to take him seriously.

It's a dad-joke that he told at a talk. Heaven forbid the man try and add some levity to situations.
API for Next.js Application
Hey all!

So we have an internal API setup already using Next.js routes to get data in pages, on the client side using fetch. Are there any better solutions for this? The folder structure is getting complicated and we would rather have API routes in one file as opposed to a huge folder structure. Thanks for your time and help you can provide!

Cheers.
I have taken literally thousands of showers in America and that isn't consistent with my experience at all. If it takes more than ten seconds for my shower to heat up, it means that the water heater is dead and waiting any longer won't make a difference. The only place I've had to wait longer than that (but still not long enough that I'd go sit down to wait) is at some hotels, maybe because their plumbing is longer?
Thanks for linking this! It’s a fascinating piece of history.
You know, that gas-pumping law comes up for vote every few years, and each time it’s re-approved. For the most part, people like it.
That’s why there’s a browser setting that handles this for you
Mostly unrelated shoutout to Flashback, the 90s game that totally ripped off They Live’s glasses but was great anyway.
This is in line with State tax credits on large data centers. At least a credit wouldn't favor Intel over AMD. Companies like Tesla, Deere, Ford would abuse the credit shifting as much cost as they can on their unit that manufactures and tests boards.
How does that help the US, as a country, at all?
>New lives are not inherently more valuable than old lives.

From an evolutionary standpoint, they absolutely are. The whole idea of life is to produce a variety of mutations in the hopes that at least some of them will be able to overcome hostilities that their predecessors couldn't win against.

>A lot of the suffering inherent to human life is caused by moral compromises made for the sake of future generations' well-being

Well, future generations' well-being is exactly the goal of life and evolution. Any species that fail at ensuring future generations' well-being get wiped out. Whether they like it or not.

Life is hard.
Can you be more specific? What advice did he give you that was wrong? Was there any reason he stopped communication other than the application being rejected?
If Sapphire Rapids and Meteor Lake fail they might be in danger. Increasingly the threat is not AMD but Arm, since cloud hyperscalers can bring CPU design in house and undercut x86 and Arm's fixed length instruction encoding is fundamentally better for very wide decoders.
I'll have to give it more time but so far I like the change.

Typically I have dozens of tabs open, so at first blush it might seem that the redesign wouldn't work for me at all, and that would be true if I didn't adjust my tab habits.

What I've done is swept those dozens of tabs into a handful of purpose-oriented tab groups. I don't really need all of those tabs open at all times, all I really needed is somewhere to put them that's more ephemeral and has less management overhead than bookmarks. As a result, most groups only have a few tabs open and pose no problem with the new UI.

Theoretically, this approach may also have the benefit of improving focus. Because online message boards and the like live in my "general" tab group, when I'm switched to my "programming" tab group I'm soft-locked out of those sites by way of reduced accessibility, making it harder to drift off of my current task when googling for documentation, etc.
It seems likely that we will see a faster processor and more RAM (to me it would make sense to have 16GB base and allow upgrades to 32GB). The last time Apple released the lower end computers and now they will release their high-end.

What happened last time was just that their low-end was good enough that it covered most of what people needed, so it didn't seem as much of a low-end as it was meant to be.
Ivermectin for Prevention and Treatment of Covid-19 Infection
Should the government scale linearly with population? It’s not obvious.

For example. If you think the role of government is to regulate pairwise interactions among people, then government should scale as O(N^2) where N is population.
Hi Peter,

Thanks for your AMA. I work for one of the big tech and I am a European citizen. We just sent my I-485 forms to USCIS(I-140 approved in pp). According to USCIS, it will take anywhere from 13 to 16 months to get it approved. Per portability rules, I understand that I can switch companies to a similar job after 6 months of I485 pending. However, I have a desire to start my own business, what are my options? Would it be best to stay put until I485 is done?
> There is a disadvantage for me, because the privacy laws in Europe are stronger than Asia, I lose some privacy protection. Is this a coincidence?

It is a coincidence, I recently had my account changed from Australia to Germany. Seems to simply depend on your IP, as I don't have any payment methods associated as speculated in another comment.
Can the reduction in testosterone result from increased cortisol levels caused by the stress of a newborn in the home?
> users can, in theory, opt to turn off Google Play Services, users of the Covid-19 contact-tracing app in Ireland cannot turn the surveillance off if they want the contact-trac ing app to work. This means the collection and use of this data is unavoidable for people who wish to use the app.

I would find it quite amusing if someone submitted a gdpr complaint saying that unnecessary data collection is not optional.
The 13” Macbook Pro that they first transitioned to M1 was the cheapest, entry level 13”. Even before M1, they had that one with only 2 ports as the entry 13” MBP.

Just like they transitioned the entry level Mini, but kept selling the high end Intel version.

They’re now updating the higher end 13”
They can afford to pay to get premium access. Same reason they don't have to worry about freight prices going up: they can afford to pay more and ship it by air.
I agree, but I think my statement is accurate today in 2021. I would love to see funds directed towards this sort of question. The big problem is that at high level so so much is skipped over, and you still sometimes have to struggle to put undergraduate-level mathematics into Lean -- this is why UG maths is such a good test case.
that’s because ubuntu and debian are (seemingly willfully) wrong and broken in how python is packaged on their distro package managers. If you install python from python.org, you get pip.

https://gist.github.com/tiran/2dec9e03c6f901814f6d1e8dad0952...
It’s not very mobile friendly…
> get rid of private schools

What does that actually mean? It seems like you’d have to ban homeschooling and severely curtail private tutoring too.

The idea of the state providing basic schooling so that even the poorest people start with at least some intellectual capital and can participate in society seems like and a good one.

The idea of the state limiting what education is available to everyone and making it illegal to try to organize education outside of its direct authority seems maximally dystopian.
lol - the problem is these laws restrict far more than they help. Just look at AB-5 in CA - lobbyist driven legislation full of unintended consequences that, amusingly, bit a lot of people in the press (who were pushing it) in the ass since it severely limited what they could do as a freelancer vs. an employee.

All the other licensing requirements do is favor incumbents and restrict competition. Amazon was against paying local sales taxes - until they eventually figured it out; now they are a huge proponent for forcing all online retailers to have to collect all local taxes. Will squeeze out the little guys or drive them into their web store solutions.

Regulations rarely benefit small business or their customers.

Also who seriously pays attention to if someone has a license or not? You can still get a bad haircut or advice from a licensed person. What I find appalling is the more rigorous the licensing the less some people question the people who hold them. Indeed, it's now a thing to criticize any critical thinking around "experts" (such as the anointed one, Saint Fauci) - utterly disgusting.
Why not just eliminate taxes on corporations all together? Corporations are _groups_ of people cooperating. If you want to make up revenue, tax individual capital gains / dividends as ordinary income.

This removes the distortionary effects of taxation on corporations, but maintains tax revenues in a somewhat progressive structure.
My understanding is that there is a big psychological difference between something that costs nothing and something that costs 1¢, to the extent that even if (true) micropayments were possibly with current normal services, they probably wouldn’t be used because it is typically hard enough to get a customer to part with any cash at all that it isn’t worth it for very small amounts.
> I'd say if someone took IV bleach and it caused harm, the appropriate response isn't license revocation, it's a civil or criminal lawsuit.

If you eliminate the license requirement, what law would the criminal lawsuit be based on? And how would that law be written so it did not apply to a surgeon working on my heart? At what point would it apply to the surgeon?
North Korean hackers breach South Korea's atomic research agency through VPN bug
> UNIX and C being available as free beer since their inception (actually 6th edition) kind of outnumbers all the other possible reasons.

That would only explain why C featured as one of the choices on the table.

But from that point on, people like you and me made conscious decisions based on their requirements and preferences, and C frequently was everyone's top choice.
I don't trust the government because it's not really representative. The founders put so much effort into making sure congress was regionally representative, where states have their representatives and districts have representatives, etc. But nothing ensures that congress is demographically representative.

Congress is 40% lawyers [1] whereas the national lawyer population os 0.2% [2]. This is actually much better than in the mid 19th century where 80% of Congress were lawyers.

About 52% of Congress are millionaires, whereas only ~7% or so of the public are millionaires [3].

Even though a record number of women serve in Congress, it's still 27% compared to roughly 50% of the public.

Around 61% of Congress is 50 years old or older [5], whereas the number for the US population is around 34%.

The people who claim to represent us in Congress are not really representative of us at all.

1: https://thepractice.law.harvard.edu/article/declining-domina...

2: https://www.americanbar.org/news/abanews/aba-news-archives/2...

3: https://www.usatoday.com/story/news/factcheck/2021/06/08/fac...

4: https://www.pewresearch.org/fact-tank/2021/01/15/a-record-nu...

5: https://www.legistorm.com/congress_by_numbers.html
> So designs are going to change. Why not take the approach of “let’s see how I can adapt to this”?

Because there's huge costs for everyone involved...?

"let’s see how I can adapt to this”... Across how many devices? If a school lab updates, but I don't... I know have to learn something new when it's probably not necessary. If I update, and the school lab didn't... will my stuff be compatible? If I send a document to 'version Y', will I still be able to use it in my own local previous 'version X'?

If I'm a business, how do I support X changes across multiple customer bases? And for how long? I have support people to train to answer every stupid question from people who can't find ABC menu item any more because it's now rendered as 'abc' in a different menu area.

In MANY cases, there are compounded, massive costs to seemingly small/trivial/design changes.