Live data from Hacker News

Viewing profile — mazsa

mazsa

HN member
Joined
Wed, Dec 15, 2010, 7:00 AM UTC
HN karma
1,899
Public activity
344 items

About mazsa

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

Recent public activity

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

  2. story
  3. story
  4. comment
    Comment #44014616

    Are there any solutions similar to those found at https://www.cs.ru.nl/~freek/100/ ?

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

  6. comment
    Comment #42244091

    Try this: Discourse on Metaphysics https://www.earlymoderntexts.com/assets/pdfs/leibniz1686d.pd...

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

  9. comment
    Comment #41774989

    https://github.com/metamath/set.mm , if you do not object to your theorems being machine-provable.

  10. comment
    Comment #41738578

    https://www.amazon.com/Physics-Symmetry-Undergraduate-Lectur...

  11. comment
    Comment #41395833

    https://github.com/microsoft/uprove-node-reference/blob/main...

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

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

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

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

  16. story
  17. comment
    Comment #31860296

    Simulation of Norvig, same topic: https://nbviewer.org/url/norvig.com/ipython/Economics.ipynb

  18. comment
    Comment #31845315

    Edit: "Stripe payment links"

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

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

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

  22. comment
    Comment #30966199

    https://indieweb.org/POSSE#Why

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

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

  25. story