(nettipäiväkirja) !!! Huhtikuu (...)
Ehdotuksia hallitusohjelmaan (...)
Keksin idean, jonka haluaisin nähdä: runoaiheisen uutissaitin. Eli siellä olisi sellaisia uutisia kuin esimerkiksi "uusi muoti: kuusi tavua runojalkaan" tai "oletko jo kokeillut asetella runosi ASCII artiksi?" (...)
(nettipäiväkirja) !!! Huhtikuu (...)
Kokeilin tehdä Haskellilla splay-puun, mutta sen toiminta ei vaikuta mitenkään superjärkevältä :) Tosin se toimii, eli splayTo:lla saa juureen aina haluamansa alkion, mutta en ole kovin vakuuttunut siitä, miten puun rakenne muuttuu. Ja lisäksi tämä toimii tavalla, jossa luodaan väliaikaisia puun juuria vain sitä varten, että tuloksen voisi taas antaa splay:lle takaisin. (...)
Huom. Tämä sivu on käytännössä vanhentunut, katso [nettipäiväkirja 09.06.2020]. (...)
(nettipäiväkirja) !!! Huhtikuu (...)
"Hark! a vagrant" -sarjakuvassa mainostettiin tätä käytösopasta, joka onkin oikeasti aika hienoa luettavaa: (...)
Olen tekemässä machine learning engineer -luentoa tekstiaineiston koneoppimisesta: (...)
(nettipäiväkirja) !!! Huhtikuu (...)
Löysin hauskan kielen, Dynan (http://cs.jhu.edu/~darcey/dyna-tutorial.pdf). En nykyään löydä kovin usein kieliä, joissa törmäisin uusiin ajatuksiin. Dynassa logiikkaohjelmointiydin on liitetty funktionaalistyyppiseen lausekesyntaksiin (vähän niin kuin GF:ssä) ja lisäksi määritelmät ovat aggregoivia eli koska jokaisesta lauseesta voi olla monta tulosta niin määritelmissä kerrotaan miten ne tulokset yhdistellään. (...)
(nettipäiväkirja 25.10.2018) I read Tensorflow's text classification tutorial (https://www.tensorflow.org/tutorials/keras/basic_text_classification). It's pretty straightforward, and I encourage you to take a look at it, too. But it uses a ready-made dataset; and while this is quite okay, it's easier to create your own than you might think. (...)
(nettipäiväkirja 15.10.2018) There's been already for quite a while, in programming languages, a megatrend towards types, more complex and complete types, proving program properties, and catching problems in an early stage based on static (expression-bound) types. This development was probably caused by the growing popularity of very good (Hindley-Milner) kind of type systems with type inference and parametric polymorphism. The approach was first popularised by ML languages, but now the flagship is [Haskell], whose ghc implementation is constantly pushing the border of well-typed programs to include more and more programs. (...)
(nettipäiväkirja) !!! Huhtikuu (...)
Kommentteja tähän blogikirjoitukseen http://tonsky.me/blog/disenchantment/ : (...)
ClojuTre-muistiinpanot. (...)
SmallFP-muistiinpanot. (...)
Olen viime aikoina miettinyt ihmisten vastuuta siitä, kun leikitään leikkejä, joissa keskeinen elementti on osapuolten välinen vallankäyttö, alistaminen, epätasa-arvo tai pakottaminen. Esimerkiksi heteronormatiivisessa flirtissä on usein läsnä tämä piirre: mies käyttäytyy hallitsevasti ja nainen sopeutuu siihen, molemmat omista syistään, jotka voivat olla hyviä tai huonoja. Muita (harvinaisempia) esimerkkejä ovat vankilaleikit, alistamista sisältävät seksileikit, hierarkkisten ihmisryhmien nokkimisjärjestyksen muodostamiseen liittyvät rituaalit ([ihmisen laumakäyttäytymisen kolme perustyyppiä]), ja vaikkapa sellaiset perinnerituaalit kuin miesten haku. (...)
Pikalinkit: