HNHacker News
TopNewBestAskShowJobs

mazsa

1,899 karma · joined December 15, 2010

[ my public key: https://keybase.io/mazsa; my proof: https://keybase.io/mazsa/sigs/xPwRov8NpmFZyKbAJxnuY5beZu8fMPsco06-d6_oHlg ]
submissionscomments
mazsa··on Budapest declares climate emergency, teases carbon-neutrality
"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 to prioritise the fight against climate change in the city's decisionmaking process, and to increase the transparency of information relating to the climate effects of municipal firms." https://index.hu/english/2019/11/05/budapest_general_assembl...
mazsa··on Ask HN: Are there books for mathematics like Feynman's lectures on physics?
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 books I've ever read.
mazsa··on Experts who say we shouldn't worry about superintelligent AI are wrong?
Review of the book by Max Tegmark: https://www.amazon.com/gp/customer-reviews/RVSAD5GWSLQ42/
mazsa··on A critical step to reduce climate change
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/item?id=18385384

https://news.ycombinator.com/item?id=17036221

mazsa··on The Notre Dame fire and the future of history
Laser Scanning Reveals Cathedral’s Mysteries | National Geographic https://www.youtube.com/watch?v=jAi29udFMKw
mazsa··on HN-like math research discussion for Ph.D.s
Great, thank you.
mazsa··on HN-like math research discussion for Ph.D.s
Search is hidden behind registration wall AND I was not allowed to register (without affiliation). You should open search or registration.
mazsa··on Indonesia reports reduced deforestation, triggering carbon payment from Norway
of course nothing is free but they think it may be feasible: https://www.symbrosiasolutions.com/team
mazsa··on Indonesia reports reduced deforestation, triggering carbon payment from Norway
I don't want to prevent you from testing on a larger sample:)
mazsa··on Indonesia reports reduced deforestation, triggering carbon payment from Norway
"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... )
mazsa··on Indonesia reports reduced deforestation, triggering carbon payment from Norway
FYI: "Feeding cows seaweed cuts 99% of greenhouse gas emissions from their burps, research finds" https://www.independent.co.uk/environment/cows-seaweed-metha...
mazsa··on Clan Wars Blamed for Ancient Collapse of the Male Chromosome
Original: https://www.nature.com/articles/s41467-018-04375-6
mazsa··on Chinese Text Project
Latin:

http://penelope.uchicago.edu/Thayer/E/Roman/home.html

https://droitromain.univ-grenoble-alpes.fr/

&Ancient: http://www.perseus.tufts.edu/hopper/collections

Math: http://us.metamath.org/

mazsa··on Effects of the Scale Invariance of the Empty Space: The Fall of Dark Matter?
Text: https://arxiv.org/abs/1710.11425 , cf. https://arxiv.org/abs/1712.00697
mazsa··on Shut up and calculate: an extreme mathematical universe
"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 have to examine if you wanted to verify the proof by hand in complete detail all the way back to the axioms." http://us.metamath.org/mpegif/mmset.html#trivia
mazsa··on The science of Westworld
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 provable that if ( l e. S /\ l e. W ) then g e. W .

h1::whiteswans.1 |- ( ( l e. S /\ l e. W ) -> A. l ( l e. S -> l e. W ) )

h2::whiteswans.2 |- g e. S

3:1:bnj1361 |- ( ( l e. S /\ l e. W ) -> S C_ W )

5:3:sseld |- ( ( l e. S /\ l e. W ) -> ( g e. S -> g e. W ) )

qed:2,5:mpi |- ( ( l e. S /\ l e. W ) -> g e. W )

$= ( cv wcel wa bnj1361 sseld mpi ) DGZAHMCHIZBGZAHOCHFNACONDACEJKL $.

$d S l

$d W l

$)

mazsa··on Human footprint surprisingly outpaced by population and economic growth
http://www.nature.com/articles/ncomms12558
mazsa··on Mathematicians are chronically lost and confused (2014)
http://us.metamath.org
mazsa··on Ask HN: Patreon for open source?
I think http://donate.money would be a great place for this.
mazsa··on The impossible task of creating a “best VPNs” list
Cf. https://thatoneprivacysite.net/
mazsa··on Skin anti-aging strategies
2012. Cited by 42 articles: https://scholar.google.com/scholar?cites=2175708970882397519
mazsa··on Investors of the DAO: unlimited liability for their partnership's misdeeds?
"The DAO's investors [...] might now be keenly interested in whether they are in fact general partners in the DAO under local law. Because general partners tend to have unlimited liability for their partnership's misdeeds. Even if the smart contract says otherwise. Without the protections of limited liability based in local law, all you have to rely on is cryptography."
mazsa··on Effect of Acute Exercise on Prostate Cancer Cell Growth (2013)
check those who are citing them with the keyword 'oxygen': https://scholar.google.com/scholar?q=oxygen&cites=1233997312... (or without it: https://scholar.google.com/scholar?&cites=123399731234947157... )
mazsa··on Turing machines that should run forever
FYI: first-order logic and ZF set theory in Adam Yedidia's Laconic https://gist.github.com/sorear/f56f447e2684ab4593d758da4ef42... cf. https://groups.google.com/forum/#!topic/metamath/OumBq83Ksqs
mazsa··on Ask HN: What are you working on and why is it awesome? Please include URL
PM me: youruserid at myuserid dot com
mazsa··on The Continuing Silence of Bourbaki (1997)
http://images.math.cnrs.fr/Un-nouveau-Bourbaki.html
mazsa··on The billion-dollar CRISPR patent battle: A case of big money shaping science
https://news.ycombinator.com/item?id=10279476 , https://news.ycombinator.com/item?id=10284508
mazsa··on Loss aversion is not what we think it is
FYI: Rabin,2000: "Diminishing marginal utility of wealth cannot explain risk aversion" https://scholar.google.com/scholar?cluster=12987999332583387... cf. https://scholar.google.com/scholar?cites=1298799933258338731...
mazsa··on Academic Assholes and the Circle of Niceness (2013)
Original with 300+ comments: http://thesiswhisperer.com/2013/02/13/academic-assholes/
mazsa··on Request for Comments: Privacy-Enhanced Identity Brokers
The deadline for comments is December 18, 2015.

Summary

As enterprises move more services online, many have given customers the option to use third-party credentials to access their services, rather then asking them to create and manage a new accounts. For example, you can use your social media account login to access your fitness tracker account. In effect, the social media company is vouching that the same person is logging in each time they access the tracker website.

Allowing third-party credentials are beneficial to businesses because it saves them time and resources in managing identities. For users, the benefit comes from not having another username, password, or a second-factor credential to manage and remember.

While these arrangements are becoming more common, organizations are finding it a time-consuming task to manage each relationship, or third-party integration. The dominant solution is a service called brokered identity management in which “identity brokers” manage the integration relationships between organizations and credential providers. Organizations can use an identity broker to manage multiple third-party credentialing options instead of having to manage each separately. However, for users, there is a concern that these connections create the opportunity for a breach, or exposure of personal information, as well as for the broker to track a user’s online activity.

The “Privacy-Enhanced Identity Brokers” project will examine how privacy-enhancing technologies, leveraging market-dominant standards, can be integrated into identity broker solutions to meet the privacy objectives of users and organizations. This project is a joint effort between the NCCoE and the National Strategy for Trusted Identities in Cyberspace National Program Office (NSTIC NPO).

Ultimately, this project will result in a NIST Cybersecurity Practice Guide, a publicly available description of the practical steps needed to implement a cybersecurity reference design.

← PreviousPage 2 of 6Next →