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 World Happiness Report 2026
"14 1 Now, there was a certain Cineas, a man of Thessaly, with a reputation for great wisdom, who had been a pupil of Demosthenes the orator, and was quite the only public speaker of his day who was thought to remind his hearers, as a statue might, of that great orator's power and ability. Associating p387 himself with Pyrrhus, and sent by him as ambassador to the cities, he confirmed the saying of Euripides, to wit, "all can be won by eloquence

That even the sword of warring enemies might gain."

2 At any rate, Pyrrhus used to say that more cities had been won for him by the eloquence of Cineas than by his own arms; and he continued to hold Cineas in especial honour and to demand his services. It was this Cineas, then, who, seeing that Pyrrhus was eagerly preparing an expedition at this time to Italy, and finding him at leisure for the moment, drew him into the following discourse. "The Romans, O Pyrrhus, are said to be good fighters, and to be rulers of many warlike nations; if, then, Heaven should permit us to conquer these men, how should we use our victory?" 3 And Pyrrhus said: "Thy question, O Cineas, really needs no answer; the Romans once conquered, there is neither barbarian nor Greek city there which is a match for us, but we shall at once possess all Italy, the great size and richness and importance of which no man should know better than thyself." After a little pause, then, Cineas said: "And after taking Italy, O King, what are we to do?" 4 And Pyrrhus, not yet perceiving his intention, replied: "Sicily is near, and holds out her hands to us, an island abounding in wealth and men, and very easy to capture, for all is faction there, her cities have no government, and demagogues are rampant now that Agathocles is gone." "What thou sayest," replied Cineas, "is probably true; but will our expedition stop with the taking of Sicily?" 5 "Heaven grant us," said Pyrrhus, p389 "victory and success so far; and we will make these contests but the preliminaries of great enterprises. For who could keep his hands off Libya, or Carthage, when that city got within his reach, a city which Agathocles, slipping stealthily out of Syracuse and crossing the sea with a few ships, narrowly missed taking? And when we have become masters here, no one of the enemies who now treat us with scorn will offer further resistance; there is no need of saying that." 6 "None whatever," said Cineas, "for it is plain that with so great a power we shall be able to recover Macedonia and rule Greece securely. But when we have got everything subject to us, what are we going to do?" Then Pyrrhus smiled upon him and said: "We shall be much at ease, and we'll drink bumpers, my good man, every day, and we'll gladden one another's hearts with confidential talks." 7 And now that Cineas had brought Pyrrhus to this point in the argument, he said: "Then what stands in our way now if we want to drink bumpers and while away the time with one another? Surely this privilege is ours already, and we have at hand, without taking any trouble, those things to which we hope to attain by bloodshed and great toils and perils, after doing much harm to others and suffering much ourselves."

8 By this reasoning of Cineas Pyrrhus was more troubled than he was converted; he saw plainly what great happiness he was leaving behind him, but was unable to renounce his hopes of what he eagerly desired." https://penelope.uchicago.edu/Thayer/e/roman/texts/plutarch/...

mazsa··on Open Problems in Computational geometry
Are there any solutions similar to those found at https://www.cs.ru.nl/~freek/100/ ?
mazsa··on Omnom: Self-hosted bookmarking with searchable, wysiwyg snapshots
I know OP personally and have a high regard for him. His blog at https://www.ctrlc.hu/~stef/blog/ is also worth following.
mazsa··on 'The Best of All Possible Worlds' Review: Leibniz Lives Again
Try this: Discourse on Metaphysics https://www.earlymoderntexts.com/assets/pdfs/leibniz1686d.pd...
mazsa··on Circuit diagrams and firmware source code for Gboard DIY keyboards
This is misleading customers: they are trying to sell a (single-sided) Moebius keyboard as a double-sided one https://www.youtube.com/watch?v=EHqPrHTN1dU
mazsa··on Ask HN: Good Online Maths Communities?
https://github.com/metamath/set.mm , if you do not object to your theorems being machine-provable.
mazsa··on The Unraveling of Space-Time
https://www.amazon.com/Physics-Symmetry-Undergraduate-Lectur...
mazsa··on Hawai'i-Issued Real IDs Can Be Added to Apple Wallet Beginning August 28
https://github.com/microsoft/uprove-node-reference/blob/main...
mazsa··on Find My Device on Android
You are right, bad translation. She was trying to explain that the problem is that, independently of you and against your will, the remote telecommunications system is able to activate the broadband chip of your mobile phone while it is in airplane mode, where you expect the baseband system to be deactivated.
mazsa··on Find My Device on Android
I was told: "I suspect that in airplane mode it would only communicate at the specific request of the system (and perhaps in spread spectrum mode), so [before baseband is activated from outside] it would not be worth measuring." What do you think?
mazsa··on Formalizing 100 Theorems
"Here is a list of some of what has been written about this or things we can do:" https://github.com/metamath/set.mm/wiki/Fermat's-Last-Theore...
mazsa··on A Random Distribution of Wealth (2017)
Simulation of Norvig, same topic: https://nbviewer.org/url/norvig.com/ipython/Economics.ipynb
mazsa··on Dropbox Shop Beta
Edit: "Stripe payment links"
mazsa··on Dropbox Shop Beta
I think the most simple no-code solution is Stripe payment, e.g. https://bibor.org/portfolio/shop/on-the-back-of-the-universe...
mazsa··on Ask HN: Are there any good poverty simulator games?
Economics Simulation of Norvig: https://nbviewer.org/url/norvig.com/ipython/Economics.ipynb Not really a game either, but it's my favorite.
mazsa··on A tsunami wiped out ancient communities in the Atacama Desert 3,800 years ago
My favorite word of mouth story is about a tsunami as well: https://web.archive.org/web/20120322110734/http://mdn.mainic...

edit: No. This is the real word of mouth story:

"Some 50 generations later, on March 11, 2011, the Murohama tsunami warning tower — which was supposed to sound an alarm — was silent, toppled by the temblor. Still, without the benefit of an official warning system supported by modern science, the locals relied on the lesson that had been transmitted generation to generation for 1,000 years. “We all know the story about the two tsunami waves that collided at the shrine,” I was told.

Instead of taking refuge on the closest hill, the one with the shrine, they took the time to get to high ground farther away. From the safety of their vantage point they saw two tsunami waves colliding at the hill with the shrine, as they did long ago. Tragically, not everyone made the right choice; I was told of at least one person who died." https://www.latimes.com/opinion/la-xpm-2012-mar-11-la-oe-hol...

mazsa··on Ask HN: Why Blog at All?
https://indieweb.org/POSSE#Why
mazsa··on Ask HN: Who wants to collaborate? (April 2022)
Hi Sam, you are completely right: the next step after the Metamath definitions and theorems for the constitutions should be very similar to your [1]. Based on your answer I compiled a list of perhaps useful links for you: [2]. Would you be so kind as to send me an email from your personal email address? I have a catchall address: anything at my username dot com.

[1] https://code.sgo.to/2021/01/06/brazil.html

[2] https://docs.google.com/spreadsheets/d/1lSia3bKPfLL6RuYg78qW...

mazsa··on Ask HN: Who wants to collaborate? (April 2022)
I solved the problem of formalization of constitutions in set theory, I mean the original/ideal/natural form and scope of them (not the formalization of existing constitutions like [1] or [2]). It is a kind of Archimedean fixed point, a set theoretical place to stand, but we will not move the whole world. On the contrary: we shall put it into an order, into the natural order of free and equivalent persons. I started to publish my results on the site of the Metamath theorem prover [1]). I want to find some programmers/engineers to help with this.

[1] https://archives.gov/founding-docs/constitution-transcript

[2] https://en.wikipedia.org/wiki/Twelve_Tables

[3] http://us.metamath.org/mpeuni/mmtheorems.html#dtl:20.21

mazsa··on SARS-CoV-2 501Y.V2 escapes neutralization by South African COVID-19 donor plasma
"expert reaction to preprint reporting that the South African SARS-CoV-2 variant 501Y.V2 escapes neutralisation by COVID-19 donor plasma" https://www.sciencemediacentre.org/expert-reaction-to-prepri...
mazsa··on Now I understand why almost no one uses encrypted email
I like your mission. But how do you (as VP of E) do it? Do you have a public description? I guess it's not Fully Homomorphic Encryption.
mazsa··on Now I understand why almost no one uses encrypted email
FHE?
mazsa··on Why does the coronavirus spread so easily between people?
"Why does the coronavirus spread so easily between people?" One of the reasons is the transmission from asymptomatic contacts, e.g. https://www.nejm.org/doi/full/10.1056/NEJMc2001468
mazsa··on Boeing 737 Max Aircraft: Preliminary Investigative Findings [pdf]
Cf. "How the Boeing 737 Max Disaster Looks to a Software Developer / Design shortcuts meant to make a new plane seem like an old, familiar one are to blame" https://spectrum.ieee.org/aerospace/aviation/how-the-boeing-...
mazsa··on Boeing 737 Max Aircraft: Preliminary Investigative Findings [pdf]
The key technical reason is this one: "While multiple factors led to these accidents, both crashes shared a key contributing factor: a new software system called the Maneuvering Characteristics Augmentation System (MCAS), which Boeing developed to address stability issues in certain flight conditions induced by the plane’s new, larger engines, and their relative placement on the 737 MAX aircraft compared to the engines’ placement on the 737 NG."
mazsa··on New COVID-19 cases reported across Japan
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 contacts with Chinese nationals – a possible sign that the virus is spreading inside the country." https://www.theguardian.com/world/2020/feb/13/japan-reports-...
mazsa··on Which answer in this list is the correct answer to this question? (2017)
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 <-> ( -. ch /\ ( -. th /\ -. ta ) /\ -. et ) )

h52::noneabove.3 |- ( ch <-> ( ph /\ ps ) )

h53::noneabove.4 |- ( th <-> ( ph \/ ps \/ ch ) )

h54::noneabove.5 |- ( ta <-> ( ( -. ph /\ -. ps /\ -. ch ) /\ -. th ) )

h55::noneabove.6 |- ( et <-> ( ( -. ph /\ -. ps /\ -. ch ) /\ ( -. th /\ -. ta ) ) )

56:50:simprbi |- ( ph -> ( ta /\ et ) )

57:56:simprd |- ( ph -> et )

58:51:simp3bi |- ( ps -> -. et )

59:57,58:anim12i |- ( ( ph /\ ps ) -> ( et /\ -. et ) )

60::pm3.24 |- -. ( et /\ -. et )

61:60,59:mto |- -. ( ph /\ ps )

62:61,52:mtbir |- -. ch

63:50:simplbi |- ( ph -> ( ps /\ ch /\ th ) )

64:63:simp2d |- ( ph -> ch )

65:62,64:mto |- -. ph

66::3ioran |- ( -. ( ph \/ ps \/ ch ) <-> ( -. ph /\ -. ps /\ -. ch ) )

67:53:notbii |- ( -. th <-> -. ( ph \/ ps \/ ch ) )

68:67,66:bitri |- ( -. th <-> ( -. ph /\ -. ps /\ -. ch ) )

69:68:anbi1i |- ( ( -. th /\ -. th ) <-> ( ( -. ph /\ -. ps /\ -. ch ) /\ -. th ) )

70::pm4.24 |- ( -. th <-> ( -. th /\ -. th ) )

71:69,70,54:3bitr4i |- ( -. th <-> ta )

72::nbbn |- ( ( -. th <-> ta ) <-> -. ( th <-> ta ) )

73:71,72:mpbi |- -. ( th <-> ta )

74::df-xor |- ( ( th \/_ ta ) <-> -. ( th <-> ta ) )

75:73,74:mpbir |- ( th \/_ ta )

76::xoror |- ( ( th \/_ ta ) -> ( th \/ ta ) )

77:75,76:ax-mp |- ( th \/ ta )

78:55:simprbi |- ( et -> ( -. th /\ -. ta ) )

79::pm4.56 |- ( ( -. th /\ -. ta ) <-> -. ( th \/ ta ) )

80:78,79:sylib |- ( et -> -. ( th \/ ta ) )

81:77,80:mt2 |- -. et

82:51:simp2bi |- ( ps -> ( -. th /\ -. ta ) )

83::pm4.56 |- ( ( -. th /\ -. ta ) <-> -. ( th \/ ta ) )

84:82,83:sylib |- ( ps -> -. ( th \/ ta ) )

85:77,84:mt2 |- -. ps

86:65,85,62:3pm3.2ni |- -. ( ph \/ ps \/ ch )

87:86,53:mtbir |- -. th

88:87,75:mtpxor |- ta

89:65,85,62:3pm3.2i |- ( -. ph /\ -. ps /\ -. ch )

90:89,87:pm3.2i |- ( ( -. ph /\ -. ps /\ -. ch ) /\ -. th )

qed:90,88,81:3pm3.2i |- ( ( ( -. ph /\ -. ps /\ -. ch ) /\ -. th ) /\ ta /\ -. et )

mazsa··on Which answer in this list is the correct answer to this question? (2017)
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 'th' is not true anyway.
mazsa··on Which answer in this list is the correct answer to this question? (2017)
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 /\ ( -. th /\ -. ta ) /\ -. et ) )

h52::noneabove.3 |- ( ch <-> ( ph /\ ps ) )

h53::noneabove.4 |- ( th <-> ( ph \/ ps \/ ch ) )

h54::noneabove.5 |- ( ta <-> ( ( -. ph /\ -. ps /\ -. ch ) /\ -. th ) )

h55::noneabove.6 |- ( et <-> ( ( -. ph /\ -. ps /\ -. ch ) /\ ( -. th /\ -. ta ) ) )

56:50:simprbi |- ( ph -> ( ta /\ et ) ) 57:56:simprd |- ( ph -> et ) 58:51:simp3bi |- ( ps -> -. et ) 59:57,58:anim12i |- ( ( ph /\ ps ) -> ( et /\ -. et ) ) 60::pm3.24 |- -. ( et /\ -. et ) 61:60,59:mto |- -. ( ph /\ ps ) 62:61,52:mtbir |- -. ch 63:50:simplbi |- ( ph -> ( ps /\ ch /\ th ) ) 64:63:simp2d |- ( ph -> ch ) 65:62,64:mto |- -. ph 66::3ioran |- ( -. ( ph \/ ps \/ ch ) <-> ( -. ph /\ -. ps /\ -. ch ) ) 67:53:notbii |- ( -. th <-> -. ( ph \/ ps \/ ch ) ) 68:67,66:bitri |- ( -. th <-> ( -. ph /\ -. ps /\ -. ch ) ) 69:68:anbi1i |- ( ( -. th /\ -. th ) <-> ( ( -. ph /\ -. ps /\ -. ch ) /\ -. th ) ) 70::pm4.24 |- ( -. th <-> ( -. th /\ -. th ) ) 71:69,70,54:3bitr4i |- ( -. th <-> ta ) 72::nbbn |- ( ( -. th <-> ta ) <-> -. ( th <-> ta ) ) 73:71,72:mpbi |- -. ( th <-> ta ) 74::df-xor |- ( ( th \/_ ta ) <-> -. ( th <-> ta ) ) 75:73,74:mpbir |- ( th \/_ ta ) 76::xoror |- ( ( th \/_ ta ) -> ( th \/ ta ) ) 77:75,76:ax-mp |- ( th \/ ta ) 78:55:simprbi |- ( et -> ( -. th /\ -. ta ) ) 79::pm4.56 |- ( ( -. th /\ -. ta ) <-> -. ( th \/ ta ) ) 80:78,79:sylib |- ( et -> -. ( th \/ ta ) ) 81:77,80:mt2 |- -. et 82:51:simp2bi |- ( ps -> ( -. th /\ -. ta ) ) 83::pm4.56 |- ( ( -. th /\ -. ta ) <-> -. ( th \/ ta ) ) 84:82,83:sylib |- ( ps -> -. ( th \/ ta ) ) 85:77,84:mt2 |- -. ps 86:65,85,62:3pm3.2ni |- -. ( ph \/ ps \/ ch ) 87:86,53:mtbir |- -. th 88:87,75:mtpxor |- ta 89:65,85,62:3pm3.2i |- ( -. ph /\ -. ps /\ -. ch ) 90:89,87:pm3.2i |- ( ( -. ph /\ -. ps /\ -. ch ) /\ -. th )

qed:90,88,81:3pm3.2i |- ( ( ( -. ph /\ -. ps /\ -. ch ) /\ -. th ) /\ ta /\ -. et )

$= ( w3a simprbi mto wn wa mtbir wb sylib mt2 3pm3.2i pm3.24 simprd simp2d simp3bi anim12i simplbi wo notbii 3ioran bitri anbi1i wxo w3o pm4.24 3bitr4i nbbn mpbi df-xor mpbir xoror ax-mp simp2bi pm4.56 3pm3.2ni pm3.2i mtpxor )

ANZBNZCNZKZDNZOZEFNZVLVMVIVJVKACC ABOZVPFVOOFUBAFBVOAEFABCDKZEFOZGLUCBVKVMENOZVOHUFUGMIPZABCDAVQVRG UHUDMZBDEUIZDEUNZWBWCDEQNZVMEQWDVMVMOVNVMEVMVLVMVMABCUOZNVLDWEJUJ ABCUKULUMVMUPUAUQDEURUSDEUTVAZDEVBVCZBVSWBNZBVKVSVOHVDDEVEZRSZVTT DWEABCWAWJVTVFJPZVGDEWKWFVHFWBWGFVSWHFVLVSUELWIRST $. $)

mazsa··on Why the Boeing 737 will never take the place of the 757
and on https://whatsmyaircraft.com/
Page 1 of 6Next →