skysight-inc/HackerNews huggingface dataset:
> At this point there is a major and clearly stated objection to the proof out in public to which no reasonable refutation has been offered.

The problem is: Scholze and Stix formulated their objections to a "simplified" version of IUTT (i.e. they did quite some identifications). Their claim is that these simplifcations do not matter for whether IUTT holds or not, but Mochizuki claims that the details that Scholze and Stix "wiped away" do matter. No side could convince the other side of their position.

If you want to dive into the gory details:

http://www.kurims.kyoto-u.ac.jp/~motizuki/SS2018-08.pdf (Scholze & Stix)

http://www.kurims.kyoto-u.ac.jp/~motizuki/Rpt2018.pdf (Mochizuki)

If you love flamewars, read: Ivan Fesenko: Remarks on Aspects of Modern Pioneering Mathematical Resarch; https://www.maths.nottingham.ac.uk/plp/pmzibf/rapm.pdf
Why is this marked as a dupe now? It doesn't appear to have made the front page since December 2018.
The national reserves are already significantly full. There isn't a huge need to absolutely fill them to the rim considering their size.
Mailper provides a simple interface to create disposable email addresses.

You can create a mailbox in less than 30 seconds, doing just three steps:

1 - Insert the username for the email.

2 - Choose the domain.

3 - Select the expiration time.

We hope you enjoy Mailper; let us know in the comments if you have any suggestions about the product
It doesn’t matter if they’re wrong. That’s what they think. And if they think that, money doesn’t flow in. It becomes a self fulfilling prophecy.
There seems to be some evidence that exposure to pollution exacerbates the disease. Car culture may be making it worse.
http://archive.md/jwQCN
So after some consideration she gave the green light on an investment vehicle, but unfortunately as demand hit the brakes, it took a wrong turn and ultimately crashed?

All puns intended, I apologise and will see myself out.
I also appreciate that it strives for a higher SNR than the average site.

However, HN also has felt quite intolerant to serious views deemed heterodox on more than on occasion.

It can be fascinating to look at the karma score, see it take a hit, and wonder what orthodoxy I have offended.
Free Ivy League Online Courses
Anybody has taken a look into this? The math is a bit beyond me and the interpretation is a bit obscure, but if true the implications would be huge. It would intuitively explain the effects of quantum mechanics and there's also promise there some superluminal way of travel. Applying the same reasoning to general relativity might unite quantum mechanics and gravity.
Because they are diesel-electric. Diesel charges the batteries during snorkelling - afterwards you just use the batteries. Additionally, modern submarines like the german 212A-Class use fuel cells and other air-independent means of propulsion during underwater-cruise.

The problem with nuclear submarines is that they are massive and noisy. They need to be constantly cooled and thus require running coolant pumps, which emit audible noise. Also, steam turbines are noisy when running. They cant be cycled as rapidly to full stop and full power, as well as requiring complex gearing to go forwards and backwards. Their only advantage is their near infinite cruising range.

The US-ASW-Capabilities are laughable as of today. They are still fighting their soviet counterparts. They are as of now currently unable to find or fight modern diesel-electric submarines approaching their carriers in any form of exercise. Also, the USN relies heavy on Helicopters, which the russians were unable to counter during the cold war. Nowadays, there exist wire-guided Anti-Air-Missiles which can be launched submerged from torpedo-tubes.
I use a wiki. It allows me to find anything that I wrote or published over the last decade, and I can usually find anything in about 5 seconds. This approach requires working openly, but is very effective in retrieving anything that I need to share as I work. Check out my log at https://wiki.opensourceecology.org/wiki/Marcin_Log - where I have access to the last 3 years on a single page. Thoughts?
Mongo Aggregates and How to explain Aggregate queries
And more precisely: any company that's young relative to incumbents / dominant competitors in the space (beyond a certain proportion, of course; a 99-year-old company is obviously not a startup even if compared to a 100-year-old competitor, but a 5-year-old company would be, IMO).

I personally think reliance on VC money is a more reliable indicator, though.
It could be a major undertaking for a sufficiently complex site like Stackoverflow, just like the article illustrates, because there just so many UI elements to re-color.
> What are you saying is wrong specifically?

I'm saying that donning PPE is hard, and that members of the public can't do it. They usually miss out several hand washing steps, or they don items in the wrong order, or they don't have a safe place to doff items.

You've said "wash your hands" -- you do that by touching taps/faucets. Most people would have to open a few doors to get to the taps. Now all those door handles, and the taps, are contaminated, so you need to clean them too.

> FWIW I use a 3M 7503 with discrete filters so there is a mask body to grab

The entire front face of that filter is to be regarded as contaminated. You must not touch it when doffing the mask.

People in this thread are claiming that one use of the mask is to prevent infected people from infecting others, but this mask has an exhalation valve, so it doesn't stop infected droplets leaving the person wearing it.

Masks provide marginal benefits to people walking around in public, but only if they're worn absolutely correctly. As soon as people deviate from the rigorous protocols those marginal benefits disappear. Worse, there's a chance that they increase risk. If people are touching their masks but not immediately washing their hands, or they are touching their face to adjust their mask then the mask is causing harm.

> From what I've seen, the intellectual argument underlying the "no masks" narrative is that individual mask use will "take away" from hospitals

WHO, CDC, PHE, etc have all been pretty clear that masks don't provide any benefit to members of the public. This thread is full of paranoid nonsense that this was a deliberate lie by the CDC/WHO to preserve stocks.
Please don't editorialize titles. Submitters that do that eventually lose submission rights on HN.

"Please use the original title, unless it is misleading or linkbait; don't editorialize."

https://news.ycombinator.com/newsguidelines.html

Plenty of explanation here: https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...

(Submitted title was "Apple's treatment of developers is neither fair nor consistent")
An unexpected application of feistel network is for creating neural networks that are invertible!

https://arxiv.org/abs/1802.07088
Covid-19 ATM safety guidelines
Any idea what the driver (pun not intended) is on that increase? Were more guns sold? Did people abruptly start driving more?
Also we're in an age when many wars are fought through proxies and with plausible deniability. A submarine doesn't help with either of the those. This isn't the BUK missile that somehow "happen" to end up with "insurgents". It's going to be used only in an open and direct confrontation between the 2 clearly identifiable parties.
Servants as a routine function in society went into a terminal decline after WWI.

Women got the vote as a result of the social change of WWI.

Arguably, public health initiatives worldwide got a massive kick from Spanish Flu.

cataclysmic ? no. But then, 1917-1919 and the russian revolution...
Hehe, you’re probably right about that, but you could script the live part with the api, and then get the eval part to update as you mentioned, and allow the user to play around at the same time. I'm sorry you didn't find it related.
Yes, we'll do that now.

More at https://news.ycombinator.com/item?id=22781515
Kinda tangential: but what’s with startups naming their companies ending in vowels since 2010- especially ending in -ly? It kinda irks me but I can’t put my finger on it.
Only works if you have a fleet. Perhaps we should share the data so even people without a fleet (or a small fleet) could benefit.
> they certainly eat differently

Anecdotal evidence I've seen, which is corroborated by my own study of N=two adults in the household, suggests that people may eat more. Staying at home and trying to manage stress seems to involve eating more. And white collar workers in particular won't have much different energy expenditure under quarantine than they did when working.

Produce tends to be low in calories, but high in other nutrients. It's not like making it available would displace staples, and it's better to eat fruits&vegs than multivitamin pills.
MS is Zoomifying Skype... and although it does seem funny in a way, they do have a history of picking up trends late and then respinning them to their benefit.
Their desktop app is just a wrapper. You can "appify" it using Chrome or Webpin (https://github.com/artemanufrij/webpin/) or whatever.

Since I have to use Windows at work, I can guarantee you're not missing anything by doing that. I just keep it in a pinned tab in Firefox and use Alt+1 to quickly reach it.

What I am bothered with is the lack of official API which makes it difficult to auto-populate some stuff.
This literally happened as I switched from TFA to this HN post...
Yes, if Ford believes that their customer's independent decisions about parts and service could lead them down a path that makes you more sour about Ford as a brand and degrade/ruin your relationship with Ford as a consumer. This could easily happen in the wild west of unauthorized parts and service. I think the laws are wrong in this case and compromises a company's ability to maintain that brand relationship. Are there undesirable consequences to this? Yes, but they can be sorted out one-by-one.
Well the money doesn't flow in as long as they think it. Which will last however long they want it to.

When you get old and wizened you'll notice the pattern whereby the VC investor types will express the same certainty about everything all the time, even when shifting their opinions 180 degrees regularly and pretending like they've held their most recent opinion the whole time.
There is an abundance of secure, widely reviewed symmetric ciphers for every imaginable application profile.
The black market responds to the legal markets. Unless you think that these companies can ultimately win a bidding war against black market actors, trying too desperately to win over the black hats will just enrich them further.
As a hiring manager, I’ve had success with WttJ, LinkedIn, and talent.io

I gave up on ChooseYourBoss, I don’t know how it is for candidates but the UX for recruiters is awful. Never tried Glassdoor, to be honest it never crossed my mind.

(PS: no open positions at the moment but we’re moving forward with the hires we made in the last 3 months)
> His series of papers, which total more than 500 pages, are written in an impenetrable style, and refer back to a further 500 pages or so of previous work by Mochizuki

IANAM, but formalizing mathematical proofs that they can be machine-checked is hard, tedious and I guess doesn't get you much fame either. Doing this for such a monstrosity of proof must be an epic task.

And as far as non-machine-checked analysis goes, other mathematicians have claimed that specific parts contain flaws (TFA mentions this) but the author disagrees.
Why is it so offensive to people in this industry that our skills are valued?

Sometimes it seems a little crazy to me too, but I'm not, like, excited to need to live with 5 roommates 90 minutes away from work again like you seem to be.
>'poison bit' architecture...

I've never heard that phrase before. Got any reading material on it?
Thanks for sharing your perspective, looking forward to the sequel.
IIRC many modern nuclear subs can shut down the primary circuit pumps and rely on convection at low power, making them pretty quiet.
Category theory depends on set theory. Unluckily, formulating a category of all sets/groups/rings/... is not easy because there exists no "set of all sets/groups/rings/...".

One way to solve this problem is to replace ZFC by its non-conservative extension Tarski–Grothendieck set theory

https://en.wikipedia.org/w/index.php?title=Tarski%E2%80%93Gr...

to ensure that a Grothendieck universe

https://en.wikipedia.org/w/index.php?title=Grothendieck_univ...

always exists.
Oh yeah. I can’t tell you how many times I have heard — and still hear — “love it or leave it”.

Well, I’ve been here since I was 6. It’s home. I’m not going anywhere. I’m still allowed to have a critical view.
I agree, I prefer the high contrast too. I also agree about customization, I would suggest using proper CSS classes and HTML and so on in order to allow better user customization with user styles and stuff like that, rather than relying on the service provider. Web pages without CSS can use the settings (for colours, font sizes, etc) specified by the user, so someone should not complain about the lack of CSS, and more so too you should not use CSS too much on web pages I think. (But if you do, ensure you do not do it wrong; if you set the foreground colour you must also set the background colour and vice versa. But don't specify colours at all unless you need to use multiple colours in your document.)
Thank you very much for the feedback, I just fixed the issue.
Exercism co-founder here. We get bots spamming the site in every way possible if we don't have a recaptcha. Happy to accept other suggestions for stopping bots signing up if you have any more ethical alternatives that are as an effective?
So let’s say .foo sets “padding: 8px;” and .bar sets “padding: 4px;”. It’s been a while, but I’m pretty sure that <div class=“foo bar”> ends up with 4px padding, and <div class=“bar foo”> ends up with 8px padding. I could be wrong though and will test it out when I’m back in front of a real computer.

Edit: Woah... It looks like I am incorrect. Nifty! I'm amazed I have never been burned by that before!

Edit 2: I suspect the reason I've never been burned by that before is because overrides like that have generally been applied over top of some kind of generic CSS file and the generic one was loaded first; since whichever rule is declared later is considered to have precedence, the override file wins over the generic file. My mind is kind of blown right now that over 20 years of web development I have never encountered this problem!
I think site/application-specific toggling of dark mode is a fundamentally broken idea, since the default on the web is white background pages. It’s an awful experience to turn up the brightness when viewing dark pages, when most pages you open will be white by default! Ideally, all portals must support theming modes, but I’d like the switching to be seamless, to prevent such nasty surprises. Maybe based on a standard (something like the site delivers both CSS sets, and logic in the browser chooses which ones to display, or suitably “invert” the default)
> Or at least a valid refutation

Except that it isn't. While it's also technically true that we could all decide to live in the forest tomorrow and refuse to be part of the world, what do you think is the likelihood of that?

Real problems require real solutions, not back of the hand pontificating about how all choices are 100% free and just choose not to you lazy bastard.

A real argument would recognize the complexity rather than act like it doesn't exist.
I feel like for me, this would end up just making me gradually strain my eyes without noticing. I'd prefer it to try doing a gradual change that didn't make it harder to see - maybe increase the font size until I'm working in a 20character wide screen or something, which would be annoying but not bad for me?
<shameless plug> I created a browser extension called Remindoro[0] exactly for this purpose. Right now it is available for Chrome and Firefox. It is also open source[1]

Edit: But I really like the idea of this VS Code extension and will definitely try out. As I type this, I just got lost in editor for like 2 hours and a VS Code extension like this would have helped.

[0] - https://palerdot.in/remindoro/
[1] - https://github.com/palerdot/remindoro
Lower pollution energies only have a higher unit cost due to insane subsidies that oil/gas/coal receive. Now is a great time to ramp up cleaner technologies since people are going to be looking for jobs anyways once this ends.

Much better to advance technology when we are fixing our economy versus propping up old, unhealthy means.
Not all startups require VC capital, some of us are just running without venture funding just clients money, some startups are in better shape because are on right market on the right time. You just need to be in the right time.
> Leaving piles of purposeless cash is poor business acumen: it could be put into R&D, expanding operations, or returned to shareholders.

Or put into making the company profitable, or at least not losing money. That might very well include R&D (to develop new products or more efficient ways to produce and distribute those products) or expanding operations (to leverage better economies of scale and have a better bargaining position with vendors).
No, in a capitalist system a product is successful when it’s profitable.

Even if you are just looking for ubiquity and not looking for profitability, Firefox doesn’t exactly win there either.

You should be able to find one worldwide or at least nationwide mass market success that is successful on Android that isn’t available on Apple.

iOS has about the same marketshare in mobile that Macs have in the PC market. You can find plenty of Windows only successful software that is massively profitable. Where is the same software for Android?
> I was very disappointed that Game of Thrones veered into just another zombie show.

It wasn't a veer. The show was always about the seven kingdoms bickering among themselves instead of facing the actual threat that they could have unified against.

(Or at least it was until the last few seasons were written by someone other than the original author, said author having not even come close to finishing the book series.)

Just look at the first episode. It doesn't start in Winterfell or King's Landing. It starts north of the wall.
> The article defines elite panic as a false panic; a "cognitive disorder", caused by elites who look down on the rest of us and think we're all violent hooligans.

Yes. It's a belief based on pseudo-morality, where those who are not privileged are portrayed as being rude uncultured barbarians who, without resorting to extreme violence and oppression, would represent a threat to their pure and pristine existence and social order.

It's the same argument that slave owners used to justify beating slaves to death.

>If people really are trying to kill them, I don't think "panic" is an accurate term and I can't blame them for taking steps to avoid being murdered.

You somehow left out the part where these elites resort to extreme violence and oppression to deprive their neighbors from fulfilling basic needs and instead of helping the community they outright represent a very real and very violent threat to them.

And then, as a feat of cognitive dissonance, these elites cowarding behind their castle walls try to fabricate a moral basis for the violence and oppression they inflict on the very society that permitted their life of privilege.
Separating the layers of hardware and software, for whatever reason has escaped the realities that a product doesn't draw arbitrary boundaries between these lines. Why is this particular interface so special?
One of my good friends is a restaurant owner in NYC and my spouse is a doctor/surgeon in NYC. Startups aren't pummeled -- they're insulated. Restaurant owners and doctors are pummeled. And all of you who thought incompetent federal government leadership was OK in this modern world -- you were bamboozled. You can start apologizing now.
>Apple has been adding more restrictions lately

Apart from long term storage, what restrictions have been added?
Show HN: Online Virtual Town
Also, nuke subs can (and do) leak radioactivity into the water.

IIRC- and I don't have a source for this (might've been thedrive?)- Russia has radiation-detecting equipment onboard their subs that helps them in their hunt to find U.S. subs.
I get a "this server is blocked by instagram" message on https://bibliogram.art
https://www.quantamagazine.org/titans-of-mathematics-clash-o...:

Despite multiple conferences dedicated to explicating Mochizuki’s proof, number theorists have struggled to come to grips with its underlying ideas. His series of papers, which total more than 500 pages, are written in an impenetrable style, and refer back to a further 500 pages or so of previous work by Mochizuki, creating what one mathematician, Brian Conrad of Stanford University, has called “a sense of infinite regress.”

It’s not possible to “check the main theorem derives from the 50 lemmas” if each of the lemmas uses terminology one doesn’t understand or even has never heard of.
https://archive.md/if0Lx
Owners of every kind of company want to extract as much value as they can at the lowest possible cost. Even nonprofits want to serve their missions (which are usually distinct from staff welfare) as best they can at a given budget. Greed doesn't seem to have much explanatory power for why startups in particular would be worse.
I’m going by the evidence. I can point to plenty of links to successful chat apps. Can you point to a case from a reputable source where Apple didn’t allow a chat app? Which rule did Apple cite that disallowed his app but allowed the others?
This is a brassiere!
Magnetic bead filteration is commonly used to filter immune cells, but they are expensive. I used to work for a lab that did this on a daily basis. Common problems with it were getting enough cells to run the assays, and the process of extraction is damaging to the cells. So you need a lot of starting material and then after that they don't stay alive for very long. You can treat and freeze after isolation but thawing only decreases the amount of healthy cells.
I think startups will adapt in time. I mean, I'm surprised there aren't TP-finding apps right now...
We've changed to that URL from https://www.wsj.com/articles/inside-the-covert-group-threate.... Thanks!
That seems like an awfully pedantic position to take. The ability to install a program is irrelevant?
> The problem is that producing a formal proof that can be verified by a computer is incredibly boring

One can't help but wonder: as boring as reading through inter-universal teichmuller theory?
It started out as a zombie show, in the very first scene you had a Nightswatch patrol being killed by Zombies. The reason the Wildlings massed and marched on the wall was because they were being savaged by zombies.
Ask HN: Safe space for RNs and MDs to photographically document the front lines?
What would this look like? Publically viewable, anonymous for uploads, effectively protects the privacy of the subjects of the photo? Fear we are missing valuable scenes for history to remember because of fears of exposing individuals. This must be doable safely for everyone?