ninguem2 | 4 years ago | on: Mathematicians welcome computer-assisted proof in ‘grand unification’ theory
Did he prove the lemma or did he leave it as an exercise :-) ?
ninguem2's comments
ninguem2 | 6 years ago | on: Show HN: Kosmi – Hang out with friends and family online
Are you planning any features to help with online teaching (e.g. whiteboard support)?
ninguem2 | 6 years ago | on: Signal is finally bringing its secure messaging to the masses
What you want is Google Hangouts but, unfortunately, nobody uses that.
ninguem2 | 6 years ago | on: Why Google Did Android
I loved my G1. I didn't think it was that bad.
ninguem2 | 6 years ago | on: Worst Epidemics in History
What's up with the commas in 10,00,00,000?
ninguem2 | 6 years ago | on: Humans are hardwired to dismiss facts that don’t fit their worldview
Inability to understand reality will lead to the species' extinction. I guess that's indeed how it's supposed to work.
ninguem2 | 6 years ago | on: Is Fry’s Electronics in trouble?
Yeah, but right now their location is in Fry's headquarters and their promised permanent location (that Fry was building) is far from finished.
ninguem2 | 6 years ago | on: Is Fry’s Electronics in trouble?
I wonder what that means for the American Institute of Mathematics (https://aimath.org/). It is partially sponsored by John Fry.
ninguem2 | 6 years ago | on: The scramble for sand is destroying the Mekong
I read somewhere recently that the melting of ice in Greenland is exposing vast quantities of sand. I am not sure if this will make a difference as transporting the sand would then be a problem.
ninguem2 | 6 years ago | on: Category:Obsolete occupations
Are there still typists?
ninguem2 | 6 years ago | on: The Morality of Quantum Computing
Well, if it's going to take 150 years to get to that point, maybe they should stop with the hype already.
ninguem2 | 6 years ago | on: The Morality of Quantum Computing
Can we estimate how much energy would a server farm of quantum computers (capable of doing something useful) need?
ninguem2 | 6 years ago | on: Firefox moving to 4 week releases
Why do I seem to get a firefox update on ubuntu on a daily basis?
ninguem2 | 6 years ago | on: What’s it like to live on less than $2 a day?
How can a country that has people living in such abject poverty justifies sending a probe to the Moon?
ninguem2 | 7 years ago | on: Android updates are getting slower and slower, despite Google's best efforts
I would love to update my Nexus 5X to Pie but Google is not giving me this opportunity. How is this my fault?
ninguem2 | 7 years ago | on: The End of Being a Duke Professor and What It Means for the Future of Higher Ed
Williams, Harvey-Mudd, Reed...These places exist. But more people would like to go to Duke, Harvard, Berkeley,... Why is that, I am not sure but the market values the latter better.
ninguem2 | 7 years ago | on: Should I Resign from My Full Professor Job to Work Fulltime on Cocalc?
I'd say this is true. It wouldn't be UW nor at the same salary he currently has but, idk, Texas Tech, North Dakota State or some such place would think he would be a high profile catch at least in the next two or three years.
ninguem2 | 7 years ago | on: My Parents Are Flat Earthers
Eratosthenes not only showed that the earth is round but computed its circumference around 200BC by measuring shadows at two different latitudes.
ninguem2 | 7 years ago | on: BitPatron – A Bitcoin Censorship-Free Patreon Alternative
Why is there need for software to accept bitcoin donations? Can't one just put the bitcoin address on the website?
ninguem2 | 7 years ago | on: The Commerce Department is considering national security restrictions on AI
page 1