FSF szabad szoftver pályázat 2011 és egyebek

Kissé megkésve bár, de egy kis jó hír ezzel kapcsolatban, bár a pályázattól függetlenül. Az egyik pályázatom a RapidMiner integrálása volt KNIME-ba (valószínű rossz pályázat volt mindenesetre nem kapott támogatást, így lassabban is jutottam el idáig). Végül ezt erre a hétre úgy sejtem egész jól megoldottam, nyílt forrású lett. Juhé! :) Külön köszönet a Konstanzi Egyetemnek és a KNIME csapatnak a támogatásáért.
A program maga annyira rossz nem lehet, már kapott egy like-ot is (tőlem függetlenül :D), illetve ennek hatására megkeresett egy magyar fejlesztőcsapat is. :)
Ha adatelemzési munkátok van és megfelel az AGPL, nyugodtan használjátok. (Remélem a RapidMiner-ös csapat sem emel kifogást, hisz az is AGPL-es.)

Sikerült a logikai játékot is felgyorsítanom, hatékonyabbá tennem, így végre használhatóbbá vált Androidon. :) Már csak felhasználók kellenek majd, hogy ne legyen időm másra. :D (Valaki igazán megdönthetné már a rekordomat. ;))

Azt hiszem most nekiállok és folytatom a Mercury-s projektem (kai) (szintén egy sikertelen FSF-es pályázat öncélú megvalósítása). Lehet, hogy meg kellene tanulnom majd pályázni és akkor több időm lenne ilyesmire. :)
Remélem egy sys 64738 után jobb lesz az eredmény. :)

Végül egy ötletet megosztanék ezzel a szakmai közönséggel... Nemrég láttam egy InfoQ-s videót az MPS-ről, így újra a látókörömbe került. Azt hiszem talán már most is alkalmas lehetne egy folyamatosan bővíthető matematikai IDE-t készíteni vele. Egyelőre csak a formalizmust leírni és minimális ellenőrzésekre gondolok, egyszerűbb refactorokkal, de talán az automatikus fordítás sem lenne lehetetlen. Egy matematikai ontológia létrehozása lenne a cél, melynél egy (vagy több) tételbizonyító is ellenőrizné a tételek helyességét és persze kellene egy hatékony kereső is ehhez. Na meg persze egy csomó matematikai tudás formalizálása. :) Néha előtör belőlem a matematikus és olyankor ez mindig jó ötletnek tűnik. De persze ehhez egyedül nagyon kevés lennék. Ha valaki szívesen kísérletezgetne ilyesmivel az jó lenne, nyugodtan keressen meg. :)

Szóval ez egy egész jó hét volt. :) És a következők is jónak igérkeznek. ;)