mazsa

10 ms·

31.
by mazsa 7y ago
Gone communal: "Authorities also confirmed two more cases: a doctor in his 50s who works at a hospital in western Japan and a man in his 20s who lives in Chiba, near Tokyo. None had a record of travelling abroad in recent weeks or cont
32.
Ask HN: Your take on The best way to predict the future is to create it,for 2030
8 points by mazsa 7y ago|1 comments
33.
by mazsa 7y ago
Not editable anymore but here you are (cf. http://us.metamath.org/metamath/set.mm ) : h50::noneabove.1 |- ( ph <-> ( ( ps /\ ch /\ th ) /\ ( ta /\ et ) ) ) h51::noneabove.2 |- ( ps <-> (
34.
by mazsa 7y ago
Although h53::noneabove.4 |- ( th <-> ( ph \/ ps \/ ch ) ) is not a correct interpretation of "[Exactly] One of the above", it is rather "[At least] One of the above", it doesn't matter because &#x27
35.
by mazsa 7y ago
Only the 5th is true, Metamath: $( <MM> <PROOF_ASST> THEOREM=noneabove LOC_AFTER=? h50::noneabove.1 |- ( ph <-> ( ( ps /\ ch /\ th ) /\ ( ta /\ et ) ) ) h51::noneabove.2 |- ( ps <-> ( -. ch &
36.
by mazsa 7y ago
and on https://whatsmyaircraft.com/
37.
by mazsa 7y ago
"The decision does not contain specific measures, it is more of a set of symbolic commitments: the Assembly vowed to take the environmental effects into account on any matter that directly or indirectly affects CO2 emissions, and also
38.
by mazsa 7y ago
The Best of All Possible Worlds: Mathematics and Destiny by Ivar Ekeland, https://www.goodreads.com/book/show/407320.The_Best_of_All_P... It is definitely not like Feynman's Lectures still one of the best boo
39.
by mazsa 7y ago
Review of the book by Max Tegmark: https://www.amazon.com/gp/customer-reviews/RVSAD5GWSLQ42/
40.
by mazsa 7y ago
FYI: "Feeding cows seaweed cuts 99% of greenhouse gas emissions from their burps, research finds" https://www.independent.co.uk/environment/cows-seaweed-metha... https://news.ycombinator.com/i
41.
by mazsa 7y ago
Laser Scanning Reveals Cathedral’s Mysteries | National Geographic https://www.youtube.com/watch?v=jAi29udFMKw
42.
Google Bankrolls Oligarch-Owned Media Group in Hungary(medium.com)
2 points by mazsa 8y ago|0 comments
43.
by mazsa 8y ago
Great, thank you.
44.
by mazsa 8y ago
Search is hidden behind registration wall AND I was not allowed to register (without affiliation). You should open search or registration.
45.
De novo origins of multicellularity in response to predation(nature.com)
92 points by mazsa 8y ago|46 comments
46.
by mazsa 8y ago
of course nothing is free but they think it may be feasible: https://www.symbrosiasolutions.com/team
47.
by mazsa 8y ago
I don't want to prevent you from testing on a larger sample:)
48.
by mazsa 8y ago
"hardly anything" = 80% of feed crops, foregone absorption of greenhouse gases (i.e. 32% of all of their carbon costs, cf. https://static.scientificamerican.com/sciam/cache/file/54D29... )
49.
by mazsa 8y ago
FYI: "Feeding cows seaweed cuts 99% of greenhouse gas emissions from their burps, research finds" https://www.independent.co.uk/environment/cows-seaweed-metha...
50.
by mazsa 8y ago
Original: https://www.nature.com/articles/s41467-018-04375-6
51.
The Malicious Use of Artificial Intelligence, written by 26 Authors(maliciousaireport.com)
2 points by mazsa 9y ago|0 comments
52.
by mazsa 9y ago
Latin: http://penelope.uchicago.edu/Thayer/E/Roman/home.html https://droitromain.univ-grenoble-alpes.fr/ &Ancient: http://www.perseus.tufts.edu/hopper/collections Ma
53.
by mazsa 9y ago
Text: https://arxiv.org/abs/1710.11425 , cf. https://arxiv.org/abs/1712.00697
54.
Effects of the Scale Invariance of the Empty Space: The Fall of Dark Matter?(iopscience.iop.org)
1 points by mazsa 9y ago|1 comments
55.
The Age of Outrage: What political climate is doing to our country&universities(city-journal.org)
1 points by mazsa 9y ago|0 comments
56.
Matrix Madness: Daniel Kleitman on Nick Bostrom’s Simulation Hypothesis(inference-review.com)
2 points by mazsa 9y ago|0 comments
57.
by mazsa 9y ago
"The complete proof of 2 + 2 = 4 involves 2,863 subtheorems including the 189 above. (The command "show trace_back 2p2e4 /essential" will list them.) These have a total of 27,426 steps—this is how many steps you would ha
58.
Futarchy Fix(agentfoundations.org)
2 points by mazsa 9y ago|0 comments
59.
How the idea of humanity came into being(thenation.com)
1 points by mazsa 9y ago|0 comments
60.
by mazsa 10y ago
I think you are right (metamath): $( <MM> <PROOF_ASST> THEOREM=whiteswans LOC_AFTER= * Assume it is provable that ( l e. S /\ l e. W ) implies for all l ( l e. S /\ l e. W ), and assume that g e. S . Then it is provabl

More ›