LG 4.12?
Dinko
(da si znam organizirati dan)
oknid
Alan Pavičić
>
¬2b
sorry, zaboravio objavit. odgođeno za 7 dana.
--aka
Alan Pavičić
dakle, LG je u sljedeću nedjelju (11.12.). za sada od tema imamo samo
GObject - GTK-ov objektni model koji je eksplicitno dizajniran za
bindinge na druge jezike (stvar bi zbog svoje sve prisutnosti morala
bit zanimljiva svim linuxašima). ako netko ima još nekakav prijedlog
slobodno nek se javi.
vidimo se u nedjelju@18h
--aka
Dinko Srkoc
Ako nitko nema pametniju ideju ja bih mogao, da ne završimo prerano,
potrošiti 10 do 15 minuta pričajući malo o uniji tipova (ili tipu
unije?) uz marginalno spominjanje Curry-Howardove podudarnosti
(zapravo bih prepričao blog post koji mi se svidio).
oknid
>
> vidimo se u nedjelju@18h
>
> --aka
>
> --
> You received this message because you are subscribed to the Google Groups "lang gang" group.
> To post to this group, send email to lang...@googlegroups.com.
> To unsubscribe from this group, send email to lang-gang+...@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/lang-gang?hl=en.
>
Alan Pavičić
> Ako nitko nema pametniju ideju ja bih mogao, da ne završimo prerano,
> potrošiti 10 do 15 minuta pričajući malo o uniji tipova (ili tipu
> unije?) uz marginalno spominjanje Curry-Howardove podudarnosti
> (zapravo bih prepričao blog post koji mi se svidio).
>
super
--aka
David Kaloper
>
> Ako nitko nema pametniju ideju ja bih mogao, da ne završimo prerano,
> potrošiti 10 do 15 minuta pričajući malo o uniji tipova (ili tipu
> unije?) uz marginalno spominjanje Curry-Howardove podudarnosti
> (zapravo bih prepričao blog post koji mi se svidio).
>
Ovaj?
http://www.chuusai.com/2011/06/09/scala-union-types-curry-howard/
--
"Linear Time is wrong and suicidal." -- Gene Ray
Dinko Srkoc
> 2011/12/9 Dinko Srkoc <dinko...@gmail.com>:
>>
>> Ako nitko nema pametniju ideju ja bih mogao, da ne završimo prerano,
>> potrošiti 10 do 15 minuta pričajući malo o uniji tipova (ili tipu
>> unije?) uz marginalno spominjanje Curry-Howardove podudarnosti
>> (zapravo bih prepričao blog post koji mi se svidio).
>>
>
> Ovaj?
>
> http://www.chuusai.com/2011/06/09/scala-union-types-curry-howard/
Baš taj. Naravno, ja to mogu reći lošije nego što je napisano. Nadam
se pomoći s tvoje strane. ;-)
Ne znam jesi li vidio, postoji i video gdje čovjek priča upravo o tome
i to skoro 1.5 h.
oknid
>
> --
> "Linear Time is wrong and suicidal." -- Gene Ray
>
Iva Jurisic
Kaze da bi bilo super da se ipak okupite i odrzite ostatak programa.
Pozdrav,
Iva
Nikola Plejic
> Nazalost, danas Aka nece moci doci, pokupio je neku virozu.
> Kaze da bi bilo super da se ipak okupite i odrzite ostatak programa.
>
Brz oporavak Aki.
Ako i dalje ima interesa, mogu ja doći otključati Mamu oko 18 h. Samo
javite da ne dolazim(o) bezveze. :)
Davorin Rusevljan
Tko je trebao pricati o GObjectu? Aka ili netko drugi?
rush
On Dec 11, 2011 3:24 PM, "Nikola Plejic" <zwei...@gmail.com> wrote:
On Sun, Dec 11, 2011 at 3:10 PM, Iva Jurisic <iva.j...@gmail.com> wrote:
> Nazalost, danas Aka ne...
Brz oporavak Aki.
Ako i dalje ima interesa, mogu ja doći otključati Mamu oko 18 h. Samo
javite da ne dolazim(o) bezveze. :)
--
You received this message because you are subscribed to the Google Groups "lang gang" group.
To...
Nikola Plejic
> Tko je trebao pricati o GObjectu? Aka ili netko drugi?
>
Vjerujem da je Aka -- rekao je da bi bilo super da održimo *ostatak*
programa. :)
Davorin Rusevljan
Hm steta taj dio programa me zanimao :) tak da mozda navratim naluknuti se a mozda I ne. Tj ne otkljucavajte samo zbog mene.
rush
--
You received this message because you are subscribed to the Google Groups "lang gang" group.
To post to this group, send email to lang...@googlegroups.com.
To unsubscribe from this group, sen...
Frane Perleta
Kazimir Majorinc
Koliko vidim, jo� je ostao Dinko sa kra�im, 15-minutnim izlaganjem o
unijama tipova. Mislim da je to, iako zanimljiv, ipak prekratak program,
tako da je bolje odgoditi.
Dinko Srkoc
(kako sam mentalno već krenuo molio bih još jednu potvrdu)
2011/12/11 Kazimir Majorinc <kaz...@chem.pmf.hr>:
>
> Koliko vidim, još je ostao Dinko sa kraćim, 15-minutnim izlaganjem o unijama
> tipova. Mislim da je to, iako zanimljiv, ipak prekratak program, tako da je
> bolje odgoditi.
>
>
>
Frane Perleta
Alan Pavičić
sorry za jučer - napala me nekakva crijevna viroza i svakako vam
preporučam da je izbjegnete ako ikako možete.
dakle, ako sam dobro razumio, jučer nije bilo LG-a. ukoliko ste idući
vikend u Zg (većina Razmjene je tada u Moravicama) možemo pokušati sve
odraditi u nedjelju 18.12?
poz
--aka
Dinko Srkoc
> dragi svi,
>
> sorry za jučer - napala me nekakva crijevna viroza i svakako vam
> preporučam da je izbjegnete ako ikako možete.
Zvuči kao koristan savjet. ;-)
>
> dakle, ako sam dobro razumio, jučer nije bilo LG-a. ukoliko ste idući
> vikend u Zg (većina Razmjene je tada u Moravicama) možemo pokušati sve
> odraditi u nedjelju 18.12?
18.12. je, čini mi se, još jedini mogući datum u prosincu. Ja sam za.
- oknid
>
> poz
> --aka
Kazimir Majorinc
>> dakle, ako sam dobro razumio, ju�er nije bilo LG-a. ukoliko ste idu�i
>> vikend u Zg (ve�ina Razmjene je tada u Moravicama) mo�emo poku�ati sve
>> odraditi u nedjelju 18.12?
>
> 18.12. je, �ini mi se, jo� jedini mogu�i datum u prosincu. Ja sam za.
>
> - oknid
I ja sam za.
--
Kazimir Majorinc
http://kazimirmajorinc.blogspot.com
Nikola Plejic
Radovan Bjeloš
Ja sam u Zagrebu i zanima me GObject. :)
Nikola Plejic
Alan Pavičić
>
> Jel sve po planu, vidimo se večeras u 18 h?
>
da
--aka
Frane Perleta
--