ninguem2
Re:Mathematicians welcome computer-assisted proof in ‘grand unificatio...
on Monday June 21, 2021 @03:33PM (#27583270)
Did he prove the lemma or did he leave it as an exercise :-) ?
Re:Show HN: Kosmi – Hang out with friends and family online
on Saturday March 14, 2020 @06:19PM (#22579154)
Are you planning any features to help with online teaching (e.g. whiteboard support)?
Re:Signal is finally bringing its secure messaging to the masses
on Friday February 14, 2020 @10:47PM (#22333086)
What you want is Google Hangouts but, unfortunately, nobody uses that.
Re:Why Google Did Android
on Monday February 10, 2020 @01:55PM (#22292034)
I loved my G1. I didn't think it was that bad.
Re:Worst Epidemics in History
on Monday February 03, 2020 @03:53AM (#22222533)
What's up with the commas in 10,00,00,000?
Re:Humans are hardwired to dismiss facts that don’t fit their worldview
on Friday January 31, 2020 @07:47PM (#22207616)
Inability to understand reality will lead to the species' extinction. I guess that's indeed how it's supposed to work.
Re:Is Fry’s Electronics in trouble?
on Friday January 03, 2020 @08:28PM (#21952112)
Yeah, but right now their location is in Fry's headquarters and their promised permanent location (that Fry was building) is far from finished.
Re:Is Fry’s Electronics in trouble?
on Friday January 03, 2020 @11:01AM (#21947017)
I wonder what that means for the American Institute of Mathematics (https://aimath.org/). It is partially sponsored by John Fry.
Re:The scramble for sand is destroying the Mekong
on Tuesday December 24, 2019 @01:52AM (#21870373)
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.
Re:Category:Obsolete occupations
on Wednesday December 11, 2019 @03:58AM (#21760753)
Are there still typists?
Re:The Morality of Quantum Computing
on Friday November 08, 2019 @01:54PM (#21485442)
Well, if it's going to take 150 years to get to that point, maybe they should stop with the hype already.
Re:The Morality of Quantum Computing
on Friday November 08, 2019 @10:46AM (#21483245)
Can we estimate how much energy would a server farm of quantum computers (capable of doing something useful) need?
Re:Firefox moving to 4 week releases
on Wednesday September 18, 2019 @03:06AM (#21003000)
Why do I seem to get a firefox update on ubuntu on a daily basis?
Re:What’s it like to live on less than $2 a day?
on Saturday September 07, 2019 @02:58AM (#20902229)
How can a country that has people living in such abject poverty justifies sending a probe to the Moon?
Re:Android updates are getting slower and slower, despite Google's bes...
on Thursday April 25, 2019 @03:20PM (#19751578)
I would love to update my Nexus 5X to Pie but Google is not giving me this opportunity. How is this my fault?
Re:The End of Being a Duke Professor and What It Means for the Future ...
on Thursday April 25, 2019 @05:51AM (#19746490)
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.
Re:Should I Resign from My Full Professor Job to Work Fulltime on Cocalc?
on Thursday April 18, 2019 @12:39AM (#19688757)
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.
Re:My Parents Are Flat Earthers
on Sunday January 20, 2019 @03:25AM (#18951909)
Eratosthenes not only showed that the earth is round but computed its circumference around 200BC by measuring shadows at two different latitudes.
Re:BitPatron – A Bitcoin Censorship-Free Patreon Alternative
on Friday January 11, 2019 @08:10PM (#18888780)
Why is there need for software to accept bitcoin donations? Can't one just put the bitcoin address on the website?
Re:The Commerce Department is considering national security restrictio...
on Tuesday January 01, 2019 @11:41PM (#18804229)
Re:“In 2018 the blockchain/decentralization story fell apart”
on Tuesday January 01, 2019 @06:15PM (#18803020)
Yes, 200, but China, India, US, EU (ok, bit of a stretch there), Brazil and Indonesia is about half of the world's population.
Re:PayPal has permanently banned The Hacker News and hold funds for 18...
on Saturday December 29, 2018 @09:39AM (#18783753)
I expect Zuckerberg owns the domain name and would land on you with an army of lawyers.
Re:Fridge 0.2
on Thursday December 27, 2018 @11:00PM (#18774796)
Milk that normally lasts three weeks (as reported in the OP) is pasteurized. That requires boiling it, at a minimum. Need to add that to your energy calculations.
Re:Ecuador will hand over Julian Assange to the UK
on Saturday July 21, 2018 @04:30PM (#17583708)
People seem to be downvoting opinions here and the discussion is all turning so pale it's hard to read. Maybe just live with the fact that there will be statements you don't agree with and perhaps post a comment explaining why, if the counterpoint has not yet been made.
Re:Can France Create Its Own MIT?
on Saturday June 30, 2018 @04:54AM (#17430061)
Why isn't the ENS part of this? The best math and science students go there.
Re:Alexa and Siri Can Hear Hidden Commands
on Thursday May 10, 2018 @03:24PM (#17042160)
Can't you just "machine learn" the attack?
Re:Ask HN: What are your favorite terminal programs?
on Monday May 07, 2018 @07:14AM (#17011811)
pdftk. If you find yourself needing to extract pages, split or merge pdf documents, this is wonderful.
Re:Jupyter, Mathematica, and the Future of the Research Paper
on Saturday April 14, 2018 @11:33PM (#16841026)
He should look into Sage.