HN user

mazsa

1,899 karma

[ my public key: https://keybase.io/mazsa; my proof: https://keybase.io/mazsa/sigs/xPwRov8NpmFZyKbAJxnuY5beZu8fMPsco06-d6_oHlg ]

Posts0
Comments156
View on HN
No posts found.
[GET] "/api/user/mazsa/stories?hitsPerPage=30&page=0": 500 Failed to fetch user stories

"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/...

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.

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?

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...

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...

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

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."

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 )

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 $. $)