Preskoči na sadržaj
Korištenjem servisa na Twitteru pristajete na korištenje kolačića. Twitter i partneri rade globalno te koriste kolačiće za analize, personalizaciju i oglase.

Za najbolje sučelje na Twitteru koristite Microsoft Edge ili instalirajte aplikaciju Twitter iz trgovine Microsoft Store.

  • Naslovnica Naslovnica Naslovnica, trenutna stranica.
  • O Twitteru

Spremljena pretraživanja

  • obriši
  • U ovom razgovoru
    Ovjeren akauntZaštićeni tweetovi @
Predloženi korisnici
  • Ovjeren akauntZaštićeni tweetovi @
  • Ovjeren akauntZaštićeni tweetovi @
  • Jezik: Hrvatski
    • Bahasa Indonesia
    • Bahasa Melayu
    • Català
    • Čeština
    • Dansk
    • Deutsch
    • English
    • English UK
    • Español
    • Filipino
    • Français
    • Italiano
    • Magyar
    • Nederlands
    • Norsk
    • Polski
    • Português
    • Română
    • Slovenčina
    • Suomi
    • Svenska
    • Tiếng Việt
    • Türkçe
    • Български език
    • Русский
    • Српски
    • Українська мова
    • Ελληνικά
    • עִבְרִית
    • العربية
    • فارسی
    • मराठी
    • हिन्दी
    • বাংলা
    • ગુજરાતી
    • தமிழ்
    • ಕನ್ನಡ
    • ภาษาไทย
    • 한국어
    • 日本語
    • 简体中文
    • 繁體中文
  • Imate račun? Prijava
    Imate račun?
    · Zaboravili ste lozinku?

    Novi ste na Twitteru?
    Registrirajte se
Profil korisnika/ce krismicinski
Kristopher Micinski
Kristopher Micinski
Kristopher Micinski
@krismicinski

Tweets

Kristopher Micinski

@krismicinski

Asst. CS prof, @EngineeringSU. Programming languages and security. Always looking for students (email me!). Formerly @haverfordedu

Syracuse, NY
kmicinski.com
Vrijeme pridruživanja: veljača 2011.

Tweets

  • © 2020 Twitter
  • O Twitteru
  • Centar za pomoć
  • Uvjeti
  • Pravila o privatnosti
  • Imprint
  • Kolačići
  • Informacije o oglasima
Odbaci
Prethodni
Sljedeće

Idite na profil osobe

Spremljena pretraživanja

  • obriši
  • U ovom razgovoru
    Ovjeren akauntZaštićeni tweetovi @
Predloženi korisnici
  • Ovjeren akauntZaštićeni tweetovi @
  • Ovjeren akauntZaštićeni tweetovi @

Odjava

Blokiraj

  • Objavi Tweet s lokacijom

    U tweetove putem weba ili aplikacija drugih proizvođača možete dodati podatke o lokaciji, kao što su grad ili točna lokacija. Povijest lokacija tweetova uvijek možete izbrisati. Saznajte više

    Vaši popisi

    Izradi novi popis


    Manje od 100 znakova, neobavezno

    Privatnost

    Kopiraj vezu u tweet

    Ugradi ovaj Tweet

    Embed this Video

    Dodajte ovaj Tweet na svoje web-mjesto kopiranjem koda u nastavku. Saznajte više

    Dodajte ovaj videozapis na svoje web-mjesto kopiranjem koda u nastavku. Saznajte više

    Hm, došlo je do problema prilikom povezivanja s poslužiteljem.

    Integracijom Twitterova sadržaja u svoje web-mjesto ili aplikaciju prihvaćate Twitterov Ugovor za programere i Pravila za programere.

    Pregled

    Razlog prikaza oglasa

    Prijavi se na Twitter

    · Zaboravili ste lozinku?
    Nemate račun? Registrirajte se »

    Prijavite se na Twitter

    Niste na Twitteru? Registrirajte se, uključite se u stvari koje vas zanimaju, i dobivajte promjene čim se dogode.

    Registrirajte se
    Imate račun? Prijava »

    Dvosmjerni (slanje i primanje) kratki kodovi:

    Država Kod Samo za korisnike
    Sjedinjene Američke Države 40404 (bilo koje)
    Kanada 21212 (bilo koje)
    Ujedinjeno Kraljevstvo 86444 Vodafone, Orange, 3, O2
    Brazil 40404 Nextel, TIM
    Haiti 40404 Digicel, Voila
    Irska 51210 Vodafone, O2
    Indija 53000 Bharti Airtel, Videocon, Reliance
    Indonezija 89887 AXIS, 3, Telkomsel, Indosat, XL Axiata
    Italija 4880804 Wind
    3424486444 Vodafone
    » Pogledajte SMS kratke šifre za druge zemlje

    Potvrda

     

    Dobro došli kući!

    Vremenska crta mjesto je na kojem ćete provesti najviše vremena i bez odgode dobivati novosti o svemu što vam je važno.

    Tweetovi vam ne valjaju?

    Prijeđite pokazivačem preko slike profila pa kliknite gumb Pratim da biste prestali pratiti neki račun.

    Kažite mnogo uz malo riječi

    Kada vidite Tweet koji volite, dodirnite srce – to osobi koja ga je napisala daje do znanja da vam se sviđa.

    Proširite glas

    Najbolji je način da podijelite nečiji Tweet s osobama koje vas prate prosljeđivanje. Dodirnite ikonu da biste smjesta poslali.

    Pridruži se razgovoru

    Pomoću odgovora dodajte sve što mislite o nekom tweetu. Pronađite temu koja vam je važna i uključite se.

    Saznajte najnovije vijesti

    Bez odgode pogledajte o čemu ljudi razgovaraju.

    Pratite više onoga što vam se sviđa

    Pratite više računa da biste dobivali novosti o temama do kojih vam je stalo.

    Saznajte što se događa

    Bez odgode pogledajte najnovije razgovore o bilo kojoj temi.

    Ne propustite nijedan aktualni događaj

    Bez odgode pratite kako se razvijaju događaji koje pratite.

    Kristopher Micinski‏ @krismicinski 27. sij
    • Prijavi Tweet

    controversial opinion(?): pure functional programming still uses state, it's just that that state is reified via the stack and it is often the case that the stack's natural matching call-return structure makes it radically easier to write algorithms correctly.

    13:40 - 27. sij 2020.
    • 9 proslijeđenih tweetova
    • 96 oznaka „sviđa mi se”
    • Ampül Patlatıyoruz. Çalışan, zaferi görür. Maruth Goyal Maynard Brian who survived a powerline Yu-Jye Tung Thomas D 0xdecafbad Eoin Dowling Karol Danutama
    18 replies 9 proslijeđenih tweetova 96 korisnika označava da im se sviđa
      1. Kristopher Micinski‏ @krismicinski 27. sij
        • Prijavi Tweet

        you can, of course, always ditch and go to a more general state-passing style (i.e., monads), but that then causes the state mutations to happen in a way independent of the call-return structure of the stack. This is sometimes necessary, but we should be careful to reach for it.

        0 replies 0 proslijeđenih tweetova 8 korisnika označava da im se sviđa
        Prikaži ovu nit
        Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. Poništi
        Poništi
      1. Novi razgovor
      2. Tikhon Jelvis‏ @tikhonjelvis 27. sij
        • Prijavi Tweet
        Odgovor korisniku/ci @krismicinski

        Controversial opinion: structured programming still uses goto because loops and ifs and, hell, procedure calls are jumps under the hood.

        0 proslijeđenih tweetova 12 korisnika označava da im se sviđa
      3. Zanzi‏ @tangled_zans 27. sij
        • Prijavi Tweet
        Odgovor korisnicima @tikhonjelvis @krismicinski

        It's continuations all the way down! But there's a way to give it all a cool operational semantics.

        1 reply 0 proslijeđenih tweetova 3 korisnika označavaju da im se sviđa
      4. Još 5 drugih odgovora
      1. Novi razgovor
      2. Peter Goodman‏ @peter_a_goodman 27. sij
        • Prijavi Tweet
        Odgovor korisniku/ci @krismicinski

        Every C function is actually the constructor of a temporary object whose `this` pointer is the stack pointer.

        1 reply 4 proslijeđena tweeta 28 korisnika označava da im se sviđa
      3. Kristopher Micinski‏ @krismicinski 27. sij
        • Prijavi Tweet
        Odgovor korisniku/ci @peter_a_goodman

        yeah, powerful observation, here.

        1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
      4. Još 2 druga odgovora
      1. Novi razgovor
      2. Kenneth Knowles‏ @KennKnowles 28. sij
        • Prijavi Tweet
        Odgovor korisniku/ci @krismicinski

        Maybe less controversial: functional *programming* (the act) still uses state-ish reasoning. Especially when you start converting for tail call elimination.

        0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
      3. Kristopher Micinski‏ @krismicinski 28. sij
        • Prijavi Tweet
        Odgovor korisniku/ci @KennKnowles

        yeah, which also falls down within the extent of more interesting elaborate state-based implementation features such as dynamic continuations.

        1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
      4. Još 1 odgovor
      1. Novi razgovor
      2. Zizz Vonnegut‏ @zizzivon 28. sij
        • Prijavi Tweet
        Odgovor korisniku/ci @krismicinski

        Pure functional programming doesn't have a stack, only rewrites! Everything is self-modifying code forever >:-)

        1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
      3. Kristopher Micinski‏ @krismicinski 28. sij
        • Prijavi Tweet
        Odgovor korisniku/ci @zizzivon

        strong disagree.

        1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
      4. Još 2 druga odgovora
      1. Novi razgovor
      2. Milo Turner‏ @i2talics 27. sij
        • Prijavi Tweet
        Odgovor korisniku/ci @krismicinski

        Not exactly. A purely functional language can be *modelled* by substitutions on terms, with no heap or stack. The stack and call/return structure is an implementation detail. The ease in ability to reason comes from referential transparency.

        0 proslijeđenih tweetova 6 korisnika označava da im se sviđa
      3. Kristopher Micinski‏ @krismicinski 27. sij
        • Prijavi Tweet
        Odgovor korisniku/ci @i2talics

        I politely disagree with you. I think the difference is that you are talking about functional languages and I am talking about functional *programming*. For the latter, this is not an implementation detail, but it may be for the former.

        0 replies 0 proslijeđenih tweetova 3 korisnika označavaju da im se sviđa
      4. Kraj razgovora

    Čini se da učitavanje traje već neko vrijeme.

    Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

      Sponzorirani tweet

      false

      • © 2020 Twitter
      • O Twitteru
      • Centar za pomoć
      • Uvjeti
      • Pravila o privatnosti
      • Imprint
      • Kolačići
      • Informacije o oglasima