Hacker News: fromeroj

New comment by fromeroj in "The future of interactive theorem proving?"

fromeroj — Wed, 17 Aug 2022 01:16:02 +0000

While this is a very interesting exercise, I see this kind of wild optimism as when the compilers were introduced or "5th generation computer languages" or any other advance in that area, its touted as: "you can just tell the computer what you want in a simple, natural way, and it won't need programmers any longer" while any of those is a significatively improvement, it is very far from the dream.

New comment by fromeroj in "Germany paying $5.5B for Intel fab"

fromeroj — Tue, 07 Jun 2022 16:24:15 +0000

where you think your tax euros go anyway? Now that germany will re-militarize, just expect to be a much larger amount going to american companies.

New comment by fromeroj in "Namecheap: Russia Service Termination"

fromeroj — Tue, 01 Mar 2022 01:29:11 +0000

I support your stance on this. looking forward for you to stop providing services to Israel, Saudi Arabia, USA, for the same resons.

New comment by fromeroj in "Klimaticket: All public transport in Austria with a single ticket for 1095 EUR/y"

fromeroj — Thu, 30 Sep 2021 15:40:35 +0000

Nope, for most ppl the 1EUR is negligible anyway, and also people values its time, so, it's not free to go now, it costs time. the only thing you want to punish is to be poor, as in that plan, only poor people would have to minimize movement for economic reasons.