Viewing profile — mazsa
mazsa
HN member- Joined
- Wed, Dec 15, 2010, 7:00 AM UTC
- HN karma
- 1,899
- Public activity
- 344 items
- HN profile
- View on Hacker News ↗
About mazsa
Recent public activity
-
comment
Comment #47446186
"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 …
- story
- story
-
comment
Comment #44014616
Are there any solutions similar to those found at https://www.cs.ru.nl/~freek/100/ ?
-
comment
Comment #43680808
I know OP personally and have a high regard for him. His blog at https://www.ctrlc.hu/~stef/blog/ is also worth following.
-
comment
Comment #42244091
Try this: Discourse on Metaphysics https://www.earlymoderntexts.com/assets/pdfs/leibniz1686d.pd...
- story
-
comment
Comment #41786207
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
-
comment
Comment #41774989
https://github.com/metamath/set.mm , if you do not object to your theorems being machine-provable.
-
comment
Comment #41738578
https://www.amazon.com/Physics-Symmetry-Undergraduate-Lectur...
-
comment
Comment #41395833
https://github.com/microsoft/uprove-node-reference/blob/main...
-
comment
Comment #39984454
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 acti…
-
comment
Comment #39977652
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…
-
story
UK: The New Definition of Extremism
extremism is "the promotion or advancement of an ideology based on violence, hatred or intolerance, that aims to: 1. negate or destroy the fundamental rights and freedoms of others…
-
comment
Comment #38126880
"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...
- story
-
comment
Comment #31860296
Simulation of Norvig, same topic: https://nbviewer.org/url/norvig.com/ipython/Economics.ipynb
-
comment
Comment #31845315
Edit: "Stripe payment links"
-
comment
Comment #31842424
I think the most simple no-code solution is Stripe payment, e.g. https://bibor.org/portfolio/shop/on-the-back-of-the-universe...
-
comment
Comment #31306789
Economics Simulation of Norvig: https://nbviewer.org/url/norvig.com/ipython/Economics.ipynb Not really a game either, but it's my favorite.
-
comment
Comment #30967916
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…
-
comment
Comment #30966199
https://indieweb.org/POSSE#Why
-
comment
Comment #30916203
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 compile…
-
comment
Comment #30887351
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…
- story