cactus is currently certified at Master level.

Name: Gergő Érdi
Member since: 2000-01-27 02:10:30
Last Login: 2008-11-12 11:46:31

FOAF RDF Share This

Homepage: http://gergo.erdi.hu/

Notes:

I got an MD at the Semmelweis University of Budapest in 2005. These days I'm studying CS at ELTE, work at Intentional Software and hack on GNOME whenever I have the time and feel like it. Guikachu is my most sophisticated creation that I'm writing alone, and orbitcpp is the largest and most complicated one that I was big contributor to.

You can find out about my projects on my home page.

I now keep my blog on my own site and write here only occasionally.

Projects

Articles Posted by cactus

Recent blog entries by cactus

Syndication: RSS 2.0

Iskola az őrület határán

Vajon mi lehet az oka, hogy az iskolában a gyerekeket osztályokba sorolják?

Avagy másképpen, milyen lehetett az az iskola, ahol először halmazokba próbálták rendezni a lurkókat, de Rekurzív Pistike és osztálytársai Rekurzív Pistike annyi gondot okoztak, amikor a tanárok (köztük főleg az osztályfőnök, egy bizonyos Russell tanár úr) meg akarták állapítani, hogy ki hiányzik az óráról, hogy kénytelenek voltak inkább csak osztályokba rakni a gyerekeket...

Syndicated 2008-04-23 21:45:00 from cactus.rulez.org

Munkamorál

Mai "azmilyenmár" rovatunkban: szombaton három körül Gabesszal a Macánál (úgy is, mint Norbi) voltunk felvinni a Huszi legénybúcsújához vásárolt kaját meg piát (na jó, főleg az utóbbit), és mondjuk neki hogy ugye akkor ötre jön ő is gokart. Nem, nem jön, mert még dolga van.

Az van ugyanis, hogy ilyen diákmunka keretében ő feliratozza az RTL Klubon siketek és nagyothallók kedvéért feliratosan adott filmeket: megkapja neten keresztül a szinkronizált filmet, és egy "valaki öccse biztos kapott érte egy csomó pénzt" jellegű tipikusan magyar, gányolt szar programba belapátolja amit hall. És szombaton háromkor még nem készült el a délután ötös filmmel.

Úgyhogy ha véletlenül siket vagy, és szombaton az első reklám után nem volt felirat a Nancy Drew, a tini detektív című lófasznál, akkor az azért volt, mert a Maca a film kezdete előtt pár órával kezdett csak neki a transzszkripciónak...

Syndicated 2008-04-21 06:46:00 from cactus.rulez.org

Structure and Interpretation of Computer Programs

Az egyik dolog, amit nagyon szeretek a progmaton a Simon-féle analízis kurzusban, az az, ahogyan gyakorlatilag a semmiből, vagyis a ZF-ből és a valós számok axiómáiból építkezünk, és ha néha ki is hagyunk egy-egy bizonyítást, akkor arra külön fel van hívva a figyelmünk. Ennek az a csodálatos eredménye, hogy még így a hatodik félév közepén is bármilyen bonyolult tétel bizonyítása esetén elvileg rekonstruálható a teljes út az axiómáktól.

Structure and Interpretation of Computer Programs

A SICP, mint alant kifejtem, ugyanilyen előadássorozat illetve könyv, a programozásról. Én egy-két évvel ezelőtt először az előadással találkoztam, ma már nem tudom, miért hagytam abba akkoriban a 6. előadás környékén. Most viszont elémkerült a könyv is, nekiugrottam, és kiderült, hogy a lényeg pont a második felében van.

Hal Abelson Az első három fejezet ugyanis bármelyik, hasonló témájú könyvben előfordulna: az absztrakció különböző, egymásra épülő vagy éppen ortogonális szintjei, mint pl. (magasabbrendű) függvények, adatok és műveleteik együttes kezelése (hadd ne mondjam típus), az imperatív megközelítés a maga értékadásos-mellékhatásos fekélyeivel, Haskell-szerű lazy evaluáció. Az összes illusztráció Scheme-ben, egy Lisp dialektusban íródott, valójában az első három fejezet éppen arról szól, ahogyan a fenti absztrakciós eszközök céljainak megvizsgálásával felépül a nyelv szemantikája.

Az érdekességek a negyedik fejezetben kezdődnek. Először, egyfajta baseline-ként bemutat egy Scheme-ben írt Scheme interpretert, ennek ugye Lispben eleve komoly hagyományai vannak (összehasonlíthatatlanul olvashatóbb a mai szemnek ugyanennek a cikknek a Paul Graham által felújított változata). Ezzel már sokkal valóságosabbá válnak az eddigi programok, hiszen bár a kígyó még a saját farkába harap, de már kezünkben van az axiómáknak az a véges halmaza, amikből a konkrét Scheme programok szemantikája levezethető.

Gerald Jay Sussman Ezekután bemutatja a Scheme pár leágazását, és persze hogy itt válik érdekeltté az intencionális programozó. A Lispben ugye régóta kultúrája van annak, hogy a problémákat a hozzájuk illesztett nyelven oldjuk meg, és utána vagy írjuk meg ennek a nyelvnek az értelmezését, vagy ágyazzuk be a nyelvet a Lispbe. Így aztán a tipikus Lisp programozó a legritkább esetben programozik Lispben, sokkal gyakrabban mindenféle ad-hoc Lisp' meg Lisp'' nyelvekben. A negyedik fejezet ilyen Scheme' nyelveket mutat be a lazy evaluációhoz és a nemdeterminisztikus futási szemantikához (ez utóbbi egyébként valószínűleg közel áll ahhoz, ahogyan a kvantumszámítógépeket fogjuk magasszinten programozni); illetve egy interpretált constraint-nyelvet.

És végül az utolsó fejezet az, ami odavág. Nem azért, mintha nem láttunk volna még a bootstrap-probléma megoldására gépi kódban írt compilert, hanem azért, ahogyan kerekké teszi a könyvet. Itt jön be ugyanis a korábban említett párhuzam az anal-kurzussal. Bebizonyítjuk, hogy létezik rendezett teljestest: a valódi, fizikai számítógépeket leíró regisztergép-modellen az utolsó bitig egyértelművé válik minden maradék kérdésre a válasz, a bemutatott, gépi kódú Scheme interpreter és fordító pedig hirtelen megfoghatóvá tesz minden, a könvyben megelőző példát. Handwaving-nek nyoma sem marad. Ahogy az utolsó előtti előadáson Abelson mondja: az utolsó, legnagyobb varázslat, hogy kiírtjuk a rendszerből a mágiát.

Syndicated 2008-04-16 20:17:00 from cactus.rulez.org

Titanic: Szamócás süti

Az utolsó idén megnézett Titanicos film múlt vasárnap, a Szamócás süti című japán dráma volt. (Valamiért benéztem, hogy vígjáték lesz, és így próbáltam társat szerezni a filmhez, végül Milán is ebben a hiszemben jött el, de aztán egyikünk sem bánta meg.)

A film alapvetően arról szól, hogy a mai japán nők élete mennyire élhetetlen, és nem több, mint megaláztatások sorozat. Ezt négy, többé-kevésbé párhuzamos, egymásba fonódó történettel mutatja be, a négy nő a kurva, az örök kislány, a művész, és végül az átlagos nagyvállalati alkalmazott. A karakterek jól vannak kitalálva, és a színészek is hozzák a figurákat, sajnos a történet viszont kicsit unalmasra sikerült.

Bár az ítélethez az is hozzátartozik, hogy tegnap este, amikor Edinának meséltünk a filmről, végül Milán is meg én is arra jutottunk, hogy így egy hét távlatából már inkább jónak mondanánk a filmet, akár meg is néznénk újra.

Syndicated 2008-04-13 14:53:00 from cactus.rulez.org

Zuboly-koncert

Kiment a ház az ablakon,
bennemaradt a vénasszony.
Kezemben a Smith & Wesson,
hol a Pamela Anderson?

Tegnap este Anitával a hajóra mentünk koncertre. Elvileg a moldáv Zdob si Zdub volt a fő fellépő, de mi az előzenekar, a Zuboly miatt mentünk.

A Zuboly kb. azt csinálja, hogy fog egy népdalt vagy hasonlót, meg egy mindenki által ismert popszámot, és a kettőt úgy gyúrja össze egy számmá, kiegészítve MC Busa rap-betéteivel, hogy akár észre sem veszed az átmenetet mondjuk a Billy Jean és egy regölős között.

De ez eddig még csak egy gimmick lenne, ami miatt viszont a tegnapi koncertet simán berakom az eddigi top 10-embe (olyan illusztris társaságba, mint pl. a Lamb 2003-as Szigetes koncertje), az a hitelesség. Nincs nehéz dolguk, mert az arcukra van írva. A lemez sehol sincs az élő élményhez képest: a koncepciót kitaláló Ágoston Béla faarccal előadott abszurd szövegei vagy Busa mosolygó szeme miatt az ember kénytelen az amúgy már semmit sem jelentővé koptatott örömzene jelzőt használni.

Syndicated 2008-04-11 21:43:00 from cactus.rulez.org

168 older entries...

 

cactus certified others as follows:

  • cactus certified cactus as Journeyer
  • cactus certified hp as Journeyer
  • cactus certified Iain as Apprentice
  • cactus certified julian as Journeyer
  • cactus certified nagya as Apprentice
  • cactus certified kenelson as Journeyer
  • cactus certified Guillaume as Journeyer
  • cactus certified tigert as Journeyer
  • cactus certified Radagast as Journeyer
  • cactus certified notzed as Journeyer
  • cactus certified miguel as Master
  • cactus certified raph as Master
  • cactus certified jacob as Journeyer
  • cactus certified rakholh as Apprentice
  • cactus certified Jimbob as Journeyer
  • cactus certified alan as Master
  • cactus certified andersca as Journeyer
  • cactus certified hovinen as Apprentice
  • cactus certified Crimz as Journeyer
  • cactus certified campd as Journeyer
  • cactus certified DV as Master
  • cactus certified jdube as Apprentice
  • cactus certified ole as Apprentice
  • cactus certified Raphael as Journeyer
  • cactus certified LotR as Journeyer
  • cactus certified xach as Journeyer
  • cactus certified gorgo as Apprentice
  • cactus certified mjs as Journeyer
  • cactus certified ettore as Master
  • cactus certified blizzard as Journeyer
  • cactus certified federico as Master
  • cactus certified murrayc as Master
  • cactus certified Telsa as Apprentice
  • cactus certified bratsche as Journeyer
  • cactus certified timur as Apprentice
  • cactus certified Szilva as Apprentice
  • cactus certified rse as Master
  • cactus certified jdub as Master
  • cactus certified al3x as Apprentice
  • cactus certified danielk as Master
  • cactus certified jamesh as Master
  • cactus certified hadess as Journeyer
  • cactus certified toma as Apprentice
  • cactus certified Jody as Master
  • cactus certified shooby as Apprentice
  • cactus certified louie as Master
  • cactus certified BitchKapoor as Apprentice

Others have certified cactus as follows:

  • cactus certified cactus as Journeyer
  • Iain certified cactus as Master
  • nagya certified cactus as Apprentice
  • julian certified cactus as Journeyer
  • hovinen certified cactus as Apprentice
  • macricht certified cactus as Apprentice
  • yosh certified cactus as Apprentice
  • Raphael certified cactus as Apprentice
  • mjs certified cactus as Journeyer
  • jdube certified cactus as Apprentice
  • gorgo certified cactus as Apprentice
  • Jody certified cactus as Apprentice
  • Guillaume certified cactus as Journeyer
  • rodrigo certified cactus as Journeyer
  • murrayc certified cactus as Master
  • bratsche certified cactus as Journeyer
  • footrot certified cactus as Master
  • Szilva certified cactus as Master
  • maragato certified cactus as Journeyer
  • ks certified cactus as Journeyer
  • ricardo certified cactus as Master
  • fxn certified cactus as Master
  • chipx86 certified cactus as Journeyer
  • wacky certified cactus as Master
  • tnt certified cactus as Master
  • al3x certified cactus as Journeyer
  • geoff certified cactus as Journeyer
  • danielk certified cactus as Master
  • Lolindrath certified cactus as Master
  • braden certified cactus as Master
  • toma certified cactus as Apprentice
  • strider certified cactus as Journeyer
  • shooby certified cactus as Journeyer
  • richdawe certified cactus as Master
  • lerdsuwa certified cactus as Master
  • oubiwann certified cactus as Master

[ Certification disabled because you're not logged in. ]

New Advogato Features

New HTML Parser: The long-awaited libxml2 based HTML parser code is live. It needs further work but already handles most markup better than the original parser.

Keep up with the latest Advogato features by reading the Advogato status blog.

If you're a C programmer with some spare time, take a look at the mod_virgule project page and help us with one of the tasks on the ToDo list!

X
Share this page