skysight-inc/HackerNews huggingface dataset:
The comment from "PS" and the reply from "BCnrd" on this blog post https://www.galoisrepresentations.com/2017/12/17/the-abc-con... (which was linked elsewhere in this comment section) claim, more or less, that there are 49 lemmas which are presented in sufficient detail to be computer-checkable, and one lemma which is not presented in enough detail for either computers or (most) humans to check, but is stated to follow straightforwardly if you understand the overall argument made by the other 49 lemmas. There are a couple of people besides Mochizuki who say "Yes, it does follow immediately, it's pretty clear," and they haven't been able to communicate why it's pretty clear to anyone else.

That was in 2017: in 2018, Peter Scholze and Jakob Stix spent a week with Mochizuki trying to understand the proof and published their claim that the proof is flawed, which focuses on that very same unclear portion. In their understanding, that portion of the proof claims something much weaker and uninteresting, and they haven't been convinced of the intended claim. http://www.kurims.kyoto-u.ac.jp/~motizuki/SS2018-08.pdf
It's kinda like a spreadsheet with a programmatic interface. Check out pandas for a nice introduction!
The Singapore model for tackling the coronavirus that all the American press were blaming the American government for being too incompetent to manage doesn't even work in Singapore, as it turns out - they're going full-on lockdown now, with all non-essential businesses forced to either work from home or close down.
I don't know where this 18-22% number comes from.

A simpler explanation is that it's all driven by fund size. We all have the same 24 hours/day, 7 days/week and all investments require analysis and oversight. If I'm a VC with 600-800 million to deploy (typical large fund size), I can do, 30-40 deals/year, maybe, only if the diligence checks out, a partner is willing to commit 5-7 years to being on their board, and various other things work out.

That narrows you right away down to $20-30 million checks, maybe less if you keep reserves around for pro rata rights, but still, nobody's getting $500K out of this fund. Ownership is whatever it needs to be to generate the right returns for the fund. Also keep in mind, syndication is very common in VC so one $20 million check might be part of an overall round size of $50 million or more. Don't even bother with that if you can't show line of sight to nine, or ideally ten figures, of enterprise value.
I've had two anxiety attacks already when reading news in the past weeks, because the press and the goverment (I'm in Italy) love to only put the bad stuff out.

Also the news were cause of many arguments among the family. For this reason, I decided to stop for the time being to read anything at all. The quarantine is already taxing (fifth week this Monday) and I don't want to make it worse it already is.
Not too hard but a little unforgiving. JCL was harder to deal with.
That would be exploitation of human beings and nature.

I am not moralizing at all. I am being rational. A moralizing stance would be wishing starvation and ill health and disease due to poor nutrition upon those who hold positions like yourself.
Remembering Bill Withers, the Soul Legend Who Lived on His Own Terms
Could you, the guy who assumed I was directly comparing a relatively small startup with Google and uproariously laughed at that comparison, quote me on where I said "no incentive caused them to exist at all"?
Statistics based on a sample size of one are not a good example.
This is still quite common in parts of India, where wrestlers train for old-fashioned "kushti" matches in a "vyayamshaala". It literally means "exercise school", and is basically a gym.
I suspect the fact the Dow Jones is also feeling strong downward pressure, that too will not be helping in the confidence of those same VCs.
Is there a button to reset? I clicked on one to see what happened and now I can't undo.
Or the US could use it as a chance to reduce tensions.

Tell China they can control the territory in exchage for them stopping all hostilities in the South China Sea (where they falsely try to claim international waters by building artificial islands.)

That + making NK a nuclear free zone could be a compromise that benefits everyone
Several reasons. There have been to many scam projects so it’s hard for most people to separate wheat from shaft. Bitcoin is oldest and therefore the most accessible one, with more ways to buy it and trade it. Finally, there’s vested interests that help keep the status quo as it is. For example, miners who have invested capital in mining equipment and who wish to keep making a profit.
Btw why hasn’t that business idea caught on more? Lots of people would love to talk to celebrities and celebrities like money. So why isn’t it a thing?

I bet lots of us would pay $20 to talk to Linus or guido for 5-10 minutes. Or a couple bucks for a quick text chat.
Sure, but they might expect more work than you'd want to do.
As a JavaScript dev can I learn ClojureScript without learning Clojure?
Tech layoffs, shutdowns and bankruptcies due to pandemic
>I spent many years living in San Ramon, Alameda, Newark, etc. in my youth and have no desire to ever return

I understand that this is not center to the point you're making but I am curious! What makes you hate the Bay area? I lived there for ~4 years and recently moved to Pittsburgh. I can't wait to move back. In fact, the mere mention of these places evokes a strong sense of homesickness in me for some reason.
There's an Adult Swim short about that: https://www.youtube.com/watch?v=DJklHwoYgBQ :)
You know the numbers. 90%+ of startups fail. In an economic downturn, it's more like 99%+. If you're trying to put food on your table, startups are probably the wrong place to turn.
This is a great idea. I would have assumed by default, with no particular reason, that tools would choke at least on file names starting with, if not all of those containing, a comma, but a quick test with a few basic bash tools shows no issue.

I wonder (having never really grokked the latter) if it's productive to think of this as akin to a leader key in vim ….
I don't think.. I've also bookmarked everything from 1996...

And I've lost everything every five years or so...

I would say 40% of my Google search are for content that I know I have bookmarked someplace... And can't find where... :(
the early zombie movies covered this too. It was a major plot point of the research of living with the virus (and training them) via intelligence vs eliminating it via brute strength
And also saying that it was Jewish elites that were killed. I’m sorry, no definition of ‘elite’ includes six million people. Grotesque and offensive on every level.
DeGoogling: Exploring the Mountains of Data
(Sorry for the late response; had to sleep and then forgot about it.)

Isn't it?

I don't think so. Windows and Mac rule the desktop, proprietary Android and iOS rule the mobile space. Your average person's computer is running more proprietary software than not, and Stallman's goal was always to get the average user's computer free of proprietary software. Even Web browsers are proprietary for your average user, and it's impossible to have a spec-compliant one with only free software.

As for luck, the details of one's life is luck. But success comes from those who develop a plan, learn what they need to, and execute that plan. Nothing good is going to happen to you if you spend your spare time drinking, if you fritter away your money, etc. Luck finds people who are out there ready to recognize it and take advantage.

Plenty of people don't drink, waste currency, (to cite a later example of yours:) watch television, etc. I don't think this is as common as it used to be, though I'm not sure what modern equivalents are.

Would you find it fair to say that 'success comes from those who develop a plan, learn what they need to, execute that plan, and have luck on their side'?

Caltech provides opportunities, not guarantees.

Certainly. Would you agree that most people do not get the substantial volume of opportunities the average person at Caltech during the late 1970s received?

Ya know what's cool? Taking responsibility for your fate is empowering. It means you can do something about it. A piece of advice - the next time something bad happens to you, instead of blaming fate, take a good hard look at what decisions you made that got you into that pickle. Learn from it, and don't do that again.

I'm doing more than fine myself. I just don't agree that 'none of it's luck' is an accurate way to look on this.

I've been around a long time, long enough to see patterns in successful people. 100% of the ones I know do not share your opinion that it's luck. 100% believe they are in charge of their future. They make it happen. They have their sail up when the wind blows their way. I know one fellow who made and lost two seven figure fortunes. This doesn't dismay him in the slightest, he's cheerfully working on his third.

I've seen my share of unsuccessful people. On average, they don't seem substantially different from the examples you cite as successful in terms of mindset or determination.
‘Zoombombing’ Is a Horrifying New Trend
General Transit Feed Specification and Clojure
they have an emergency use waiver.

they’re also willing to state their detection metrics, which is a fact you should praise loudly from the rooftops. >90 on both precision and recall is a F1 score of ~93: well within ballpark of “pretty reliable!”
With all due respect, that's an exceedingly fine distinction to draw, particularly with a HN user whose first language might not be English. If I fear a nation's military, it isn't an abuse of idiom to abbreviate that fear to one of the nation itself.

Besides which, as mentioned ITT, when one reads TFA, the only mention of Russia is as a threat to Sweden: "simulating attacks", "infiltrating territorial waters", etc. There is no support in the text for any Russian fear of anything. Let us not go so far overboard in defending sensationalist headline-writing editors.
You can scroll to the bottom to see all of the caught critters and uncheck them there
As long as population increases, production from fixed resources that are dwindling should cost more.

Ag depends on labour. Right now cheap food doesn’t come from better production but from economies of scale to a certain extent but mostly by hedging and importing from poorer countries where labour is cheaper.

Such a supply chain is unstable and unreliable. We will see food shortages in places like America as imports will fall short and labour dries up. The farm workers are the most vulnerable population. Most will likely be infected during this crisis and will contribute to community spread. Because there is no one willing to work as hard as them at such low wages, ag is going to come to a screeching halt in the coming seasons.
I've never met anyone who was rich and fun to be around or intellectually stimulating.

It's not that uncommon, though I don't think it's a 100% thing, either.
It seems like you have a point to make but it's not coming through. The comment you're replying to is proposing opening up the developer platforms to allow people to sell their own stuff.

> So has Amazon stopped people from selling their stuff on their own website?

Yes, along with google. By monopolizing search. You won't ever be able to find Bob's home store online when they push their own stores and paid ads on top of everything else.

Coming back to Apple, it definitely stopped people from selling their stuff. There is no way to load third-party apps on their platform besides the App Store. There is no way to provide payments (or even mention you sell stuff) without giving up 30% of your revenue.
Coronavirus Test Tracker
These are great suggestions.

You're right that the functionality is limited right now. Allowing people to see more stores is one of the first things we want to work on next. :)
Although this seems like a good idea, I wouldn't like typing an extra symbol. Maybe I'm just irrational.

Instead of prefixing my commands, I just search for a command in a manpage repo, cht.sh [0], and with my package manager (`dnf provides` for the DNF package manager). If nothing shows up, I'm probably safe. The process is easy to automate.
How can I bypass the paywall?
I thought that was pretty obviously tongue-in-cheek: ex-zombie...ex-skier...ex-patriate. And this was disclaimed as a very rough first draft - I'm guessing the author (in subsequent drafts),an editor or a test-reader would have caught it & have it revised (it's pretty low-effort wordplay - but that's more than OK for a first draft as disclaimed, and the author could even keep it if they feel strongly about it)
Probably nothing really. It will work a while for frequently out of stock items when the app has a small number of users. This replaces text messaging to let others know what's in stock.

But with many users, notifying other people will just make the store run out of stock sooner. So people will revert to texting their friends to let them know when something's in stock.
>You could be using an Apple device and choosing Apple as your app curator. Lack of choice is not a feature.

It absolutely is. Choice is happiness poison.
The point at which the government should have rewritten their COBOL systems into a language that would have a talent pool to draw from was at least 30 years ago.
I live alone in the desert. It's like the sea except you can't drown as easily. And I live with my SO so not exactly alone, but pretty close. No neighbors and it's a very very long way from any major city and no one comes here because it's uninteresting wasteland with few opportunities.

In the past sometimes I have been jealous of city dwellers. They have IKEA and good restaurants and meetups and clever people to talk to and interesting high paying jobs. I've thought about leaving. I didn't always live here, I've lived in major metros.

But not now. I'm so grateful to be here and feel so lucky. It's beautiful this spring with a lot of rain and flowers and nothing about my life has changed. I take long walks and think about life and really hope everything works out and feel very bad for those who felt the need to chase the shiny and now it's turned into a prison. Even in the little town 15 miles away, it's ugly the past few times I've been. But I have what I need for months and won't go back until summer most likely.

I still might leave at some point. Isolation for awhile is healthy but long term I think maybe it isn't. Sometime I feel like I've been lazy and dropped out a bit and could have contributed more to the world if I weren't trying to flee the annoyance and the noise and the politics and the bullshit. Also without the internet I couldn't work and this whole scheme would be untenable.

Everyone should try solitude for a bit. But not forever. We need other people to keep us on keel and help us reach our potential I think.
The site might be if located in Europe but if it's public you are not bound by those terms as long as you don't share with Europeans.
Seemingly this is just as a cheap version of namespacing or something in the event something comes out that uses the same name as a name you chose, rather than actually being about "overriding"?

Because otherwise why not just do what I assume everyone else does, and put ~/bin before everything else on your PATH?
Using Notion as a Personal CRM
Ctrl+F "Ecology"

Ctrl+F "CMBS"

Ctrl+F "Reits"

Ctrl+F "Repo"

Oh, wow.

You guys are totes not ready for the next stuff.
China has shown themselves to be masters manipulating international organizations composed of representatives of member states such as the ITU. Using monetary aid and political pressure they are able to get smaller states, which don't have any real skin in the game, to vote in agreement with them. I suspect this is more a calculated move than some sort of cultural mismatch.
The first several reasons seem plausible; the last one does not. It isn't clear why the cryptocurrency community would care about others' investments in mining equipment. If I had made such investments, I would use bitcoin, but that wouldn't force anyone else to use it.
Hmm, yes, it could be. I've seen it written like that too often for it to be a good joke, but who knows what the intention was.
Great, I appreciate the response and am glad to know that. I'm curious, what's the long-term plan for monetization?
> It isn't acceptable to just permit memory-leaks in case of cycles.

That's only in the new --gc:arc which is still somewhat experimental. The old gc, --gc:markandsweep IIRC, does detect cycles, and has a deadline schedule (i.e. you can tell it "I now have 5ms, collect as much as you can"); But it has per-thread heaps, which means passing data between threads often entails a copy. You also have --gc:boehm (no cycles, shared heap), and --gc:none (no gc, you should take care of freeing memory yourself).
... or you want to learn how and why to use an oscilloscope ground spring [21'15]
I know many people who are technical geniuses but refuse to deal with the necessary business and marketing aspects.

Surely you've known people who are/were technical geniuses, dealt with both of those, and still failed? It seems to be a common pattern.
> Either 2nd or 3rd by gdp [0]

Japan was 2nd or 3rd by GDP for longer than china, they were never a superpower.

> literally building the vast majority of the world tech, leading in renewable energy [1]

And?

> largest army in the world

And the 2nd largest army is the indian army. Are they are superpower?

> in the top 3 of military strength ranking

Wasn't iraq in the top 5? There is quite a drop from #1 and the rest.

> Economically invading Europe [3].

Invading a much wealthier region? Using your logic, europe has invaded china even more considering how much investment europe has in china.

> Playing the smart game in Africa [4]

"Smart game"? You mean trading? This is the problem with reading so much news/propaganda. You start parroting them without bothering to think.

> and the list goes on and on.

I bet it does, but nothing on the list will show china to be a superpower.

> If anything the US is on the way down while china is on their way up

Definitely china is on the way up relative to the US. But that doesn't make them a superpower.

>It's more like the US are happy to have a presence in Europe than the other way around.

Whatever the reason, the point is Europe can't be a superpower when it has foreign military/occupation presence.

It's conceivable that china or europe may one day be a superpower, but neither are at the moment.
Safari seems to - I just got a new Mac recently and all my bookmarks are there again - probably through iCloud
Awesome. About 8 years ago I was on vacation in Concan, Tx on the Frio river. There are maybe 3 stores in the area and then 3 roads out of town that each have a couple stores 10-15 miles away. I needed diapers. I didnt care what brand, I just needed some diapers. I imagined a similar idea wherein a person could search for "diapers" "beer" "charcoal" or whatever and find the closest item.

Glad to see it has come to exist.
No no, it's perfect just as written. I probably should have said, "This article _could_ be titled..."

I've lived abroad, and then I have a large number of friends from abroad, so I understand most of these things to some degree. But reading your article just made me realize, these are the very things that I am so frustrated by in my own country, and yet when I talk to my family and friends they mostly just look at me like I'm weird and shrug me off.

I think it's because (as another reply pointed out), they have never seen anything different and can't imagine that it doesn't have to be this way.

There are many great and wonderful things about America and Americans, but I think our biggest single downfall is that our national pride has somehow mutated into what I would call a national narcissism. So many Americans deeply believe that we are the absolute best at everything. I've listened to family members crushed by medical bills say, "Well, at least we're in America where doctors can treat things like this, we're so fortunate here." I point out that people in other countries pay a fraction what we do for the same care, and they just... space out and cannot process what I'm saying.

So, anyway, it was just a really cathartic read for me. You expressed these ideas so cogently and concisely, I wish I could have done the same.

Last thing, one the note of the built environment, if you're interested in that sort of thing, I help run an organization called Strong Towns (strongtowns.org) which is largely aimed at helping Americans understand the flaws in the suburban model (namely that over the long-term it is an unproductive money pit that is eroding our national wealth). You might find you fit in well with the Strong Towns movement :)

Thanks for writing and sharing this piece!
I'm pleased to meet someone who shares the same desire to ignore attention seekers :) This warrants the founding of a secret society (of 2) with cloaks and moose hats.
There has been one study on the influenza virus that says that people who are asymptomatic are more social than normal.

The simple hypotheses is that the virus wants the host to spread as much as possible.
rustc does have a working nvptx target today, though it’s not supported nearly as well as the mainstream cpu targets, and some things you would really want for gpu programming (e.g. shared memory address space) are not currently exposed in the rust language. But kernels written in rust can compile to ptx; you’ll still need to write glue code.
The app store is a fools' game. Build your business on a platform you control.

As developers we should all be cheering for the open web and doing what we can to support it.
There are places that sell used tractor tires

https://www.ntstiresupply.com/what-we-offer/products-supplie...

Where to keep it is a completely different matter (it's quite obvious that if you don't have the room for a home gym my advice is not useful for you).
Yes, it's reasonable to assume it's a contributor to the spread -- but I'm not sure what you mean by 'relevant'. Significant? (un)controllable? Worth bothering with?

I can't find the article now, but a week or two ago Singapore and South Korea (IIRC) were claiming most of their new cases were imports, as they'd been approaching some level of control (via tracking & testing) within their borders.

Because different countries have wildly different attitudes, policies, and procedures - the best place to enforce domestic controls are at your own border.

As you say, domestic travel can and will also spread the virus, but that doesn't mean you throw arms in the air and accept all travellers from everywhere.
Thanks for the (double) correction! Just read he "lost" in 65' with Nabokov and Neruda. Nice list to be in.
It's not just worms in the wild, there are a range of companies growing and harvesting these same bacteria for feeding fish and livestock. It seems to just be a cultural hurdle keeping them from becoming an ingredient in our own food. See this article from 2016 about Calysta of Menlo Park and Unibio of Denmark:

https://www.newscientist.com/article/2112298-food-made-from-...
Short Activism: The Rise in Anonymous Online Short Attacks (2017)
> Plus, they get the additional disadvantage of trying to figure out an actual business model during a recession.

this has a bit of a silver lining: it'll help filter out bullshit business models that appear to work in the times of plenty.
As he pointed out, he’s also able to take advantage of tab completion this way, and he doesn’t risk getting the wrong command if his path is modified.
Tesla Cybertruck Preorders Reach Insanity Levels
Compare Covid-19 across different areas over time
This is a fine point, but it is totally orthogonal to the point of this essay, which is specifically about a tragic and evil event that reverberates through American history (the good and the bad) ever since.
Rash decisions like this aren't going to do anything but hurt the students.
How to make your own face mask