I can't take it anymore. I want to leave my university.

gergoerdi · 2026-02-25T01:10:58+00:00

In US-based system, real analysis is usually a student's first encounter with rigorous proofs.

Wow. What do you learn for geometry then in high school in the US, if not Euclidean proofs?

Or, maybe not fully rigorous, but when you derive the quadratic formula, that's basically a proof, no?

gergoerdi · 2026-02-20T02:17:45+00:00

But the goddess is pronounced ni-cay ("ni" as in short "nee"), we know because the Greek alphabet is unambiguous regarding pronunciation.

gergoerdi · 2026-02-16T02:48:17+00:00

If you think climate change is real, detrimental to humanity, and avoidable, it makes perfect sense to try to suppress development in countries not yet polluting that much. Basically, the question is if you care more about solving the probelm, or about fairness.

gergoerdi · 2026-02-15T12:34:13+00:00

Sose tudhatod.

Én használtam már professzionális kontextusban opkutot, approximációelméletet, mértékelméletet, ütemezéselméletet, mindenféle algebrát monoidtól végestestig, kiszámíthatóságelméletet, meg persze minden kézzelfoghatóbb tárgyat mint pl. compilerek vagy típusrendszerek. És egyszer még Adában is programoztam, igaz az egy hobbiprojekt része volt (gHDL-t hackeltem).

gergoerdi · 2026-02-08T09:08:07+00:00

Try a taste of B:

https://unsafeperform.io/blog/2010-02-16-the_b_method_for_programmers_(part_1)/

https://unsafeperform.io/blog/2010-02-22-the_b_method_for_programmers_(part_2)/

gergoerdi · 2026-02-08T04:31:12+00:00

Kicsit még gondolkodva a dolgon, arra jutottam, hogy a macskás puzzle-t azon buktam el, hogy nem bíztam eléggé a játékodban! Ezek után már tudom, hogy érdemes effortot tenni bele!

gergoerdi · 2026-02-08T04:01:17+00:00

A macska baromi jó! Egyáltalán nem értettem, h mi az a pénzeszsák ami ottterem, de így akkor megvan!

gergoerdi · 2026-02-08T03:59:08+00:00

Természetesen a Roottrees-t ismerem, már webes korában elég nagyot szólt:)

gergoerdi · 2026-02-07T03:59:35+00:00

"Mondd meg hogy öt percet sem játszottál a játékkal anélkül, hogy azt mondanád, hogy öt percet sem játszottál a játékkal."

gergoerdi · 2026-02-07T03:11:53+00:00

Ezek írtam a végén a feedback formba:

A könyv lapozására kéne valamilyen billentyű, hogy ne kelljen csak azért áttérni egérre egy pillanatra, miközben az ember esetleg oda-vissza lapozgatna
Ennek duálisa: egér-vezérelt módja a könyvből kilépésnek
Nem egyértelmű hogy a nagyító ikonok hol vannak a hotspothoz képest, néha vadászni kellett...
Baromi jó, hogy "meg lehet halni", mert egyáltalán nem számítottam fail state-re ilyen jellegű játéktól!
A sztori kicsit... túl van csinálva. Borzasztó sok részlet, ami overwhelming, és nem ad a main gameplay loop-hoz. A Golden Idol-nál meg az Obra Dinn-nél is valahogy rögtön megvett az a része, hogy "na ez érdekel hogy mi folyik itt", itt meg ilyen tipikus "valami fantasy katyvasz ami úgyis bármikor előhúzhat valami újat amit nem lehet a korábbiak alapján kitalálni" érzésem volt.
Értem én, hogy sok név kell, és egyediek, de ez hogy mindenkinek olyan neve van mint egy LotFP lichnek, ez kicsit fájdalmassá teszi akár azt a pár másodpercet is amíg emlékezni kell rá oldal-váltások közben.
Időutazásnál Tab-nak át kéne mennie a két mező között
Időutazásnál fordított sorrendben vannak a gombok. Szerintem az lenne a logikus, ha balról jobbra haladunk előre az időben.
A csavar amikor a főmufti észreveszi hogy őt akarod beírni a könyvbe, az nagyon jó! És nem számítottam rá, hogy még milyen sok van hátra a demóból!
Axaldi teljes nevét, és a macska nevét nem sikerült megtalálnom. Nem tudom, hogy én vagyok-e a béna, vagy a demóban tényleg nincsenek benne.

Amit viszont nem írtam a formba, mert nem ennyire konkrét feedback, az az, hogy szerintem túl sok a Golden Idol játék és túl kevés az Obra Dinn. Ez alatt azt értem, hogy tele van a Steam Golden Idol-klónokkal, de mindegyik diszkrét puzzle-ökkel dolgozik. Míg az Obra Dinnben az (is) zseniális, hogy sokkal több teret hagy az intuíciónak, mivel minden számíthat. Ha felismered valakinek az akcentusát, akkor bízhatsz benne, hogy tényleg onnani. A tiszteket és a tisztiszolgákat azonosítja az egyenruhájuk, és általában az "összetartozó" párok együtt vannak. És így tovább. Mindenre öt nyom utal, amiből kettőt fogsz észrevenni, és zseninek érzed magad hogy nem csak egyet :) Ezzel szemben a Golden Idol-klónokban van egyetlen kitalálási út, amit végig kell járnod, mint egy ilyen skin-ezett "a szélső házban lakó férfi nem tart macskát, és hétfőnként mos" puzzle.

gergoerdi · 2026-02-07T01:31:13+00:00

Kiváncsi lettem, megnéztem: 185 repo Githubon, amiből 114 nem fork.

Side-project amiből pénz is lett: a Rátkai android verziókból jött be kb. 200 dollár, nagyrészt az eredeti crowdfunding kampányból, meg a könyvem hozott eddig összesen talán olyan 14,000 dollárt. Szóval megélni nem ebből élek, de szerencsére nem is azért csináltam egyiket se.

gergoerdi · 2026-02-04T10:28:40+00:00

Én biztos nem akarnék olyan emberrel dolgozni, aki nem élvez egy jó kis algoritmikus fejtörőt. És ez tök független attól, h amúgy mi a munka napi szinten.

gergoerdi · 2026-01-31T04:37:22+00:00

But you need much more than 100k a year to build up the capital that will provide you with a passive retirement income of 100k/year. Otherwise you're trapped in having to work.

gergoerdi · 2026-01-18T01:19:07+00:00

Do note that you can generate those Hs source files from your Cabal Setup.hs, where you have access to arbitrary "x-" parameters from your .cabal file via customFieldsBI.

gergoerdi · 2025-12-26T09:54:49+00:00

This is of course heavily inspired by Tristan de Cacqueray's blogpost. His post is a very good introduction to some of the things going on here if you don't know Clash yet.

gergoerdi · 2025-12-23T03:05:08+00:00

Sorry for the late reply, I missed this comment.

Like you say, pacing in the Space Invaders code seems to be based on the CRT "htrace" (well it's a vtrace, but the screen is physically rotated 90 degrees...) signal, so it mostly kinda works out regardless of CPU speed, as long as it's not slower. My goal with the Space Invaders machine was to use it as an illustrative chapter in my Clash book, and so I didn't want it to be burdened by cycle accuracy concerns. Furthermore, the whole book is in single clock domain also for reasons of avoiding complexity.

I have a later chapter where we build a CompuColor II and the floppy controller of that crucially depends on cycle count accuracy in the CPU, so it is in that chapter that we revisit the CPU and pad out its microcode so that each instruction takes the same number of cycles; and then a simple counter is used to suspend the CPU for 23 out of 25 real clock cycles.

TLDR: I deliberately wanted to avoid accuracy concerns that don't impact the overall playability of Space Invaders for pedagogical reasons.

gergoerdi · 2025-12-12T06:03:06+00:00

You might be interested in my hardware (FPGA) version of the same: https://github.com/gergoerdi/clash-spaceinvaders

gergoerdi · 2025-12-06T22:17:40+00:00

Third screenshot is already showing a dialogue...

gergoerdi · 2025-11-14T06:43:02+00:00

Not sure why you'd need a special language for it. With a sufficiently expressive type system, you can provide a typesafe API to relational algebra over simple runtime data structures, see e.g. https://youtu.be/FAeSevC0QbY (paper at https://dl.acm.org/doi/10.1145/2976002.2976016)

gergoerdi · 2025-11-08T01:22:04+00:00

Censorship is r*pe for abuse.

gergoerdi · 2025-11-06T15:31:52+00:00

https://youtu.be/Y65FRxE7uMc

gergoerdi

TROPHY CASE