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 hillelogram
Hillel
Hillel
Hillel
@hillelogram

Tweets

Hillel

@hillelogram

Formal methods, software history, chocolatiering. Author of Practical TLA+ (http://is.gd/ptlaplus ). DMs open, ask me questions!

Chicago, IL
hillelwayne.com
Vrijeme pridruživanja: listopad 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.

    Hillel‏ @hillelogram 17. pro 2019.
    • Prijavi Tweet

    2^n likes = (n+1) opinions about programming and tech, for n ∈ Nat + 0

    09:32 - 17. pro 2019.
    • 26 proslijeđenih tweetova
    • 294 oznake „sviđa mi se”
    • nwf O(n) rntz Wenny Hidayat КЕРИЛ Xavier Abby Edwards henesy Agustin Berthet
    26 proslijeđenih tweetova 294 korisnika označavaju da im se sviđa
      1. Novi razgovor
      2. Hillel‏ @hillelogram 17. pro 2019.
        • Prijavi Tweet

        1. Visual basic 6's GUI builder was revolutionary, and it's a travesty nothing has succeeded it. VB6 could have democratized programming to the same degree spreadsheets did.

        14 replies 52 proslijeđena tweeta 243 korisnika označavaju da im se sviđa
        Prikaži ovu nit
      3. Hillel‏ @hillelogram 17. pro 2019.
        • Prijavi Tweet

        2. Smartphones need their own automation-like programming language to actually unlock their potential. I shouldn't have to learn the entire Android toolchain just to make my phone start Spotify as my alarm, or open a specific bus schedule when I'm in a specific location.

        11 replies 22 proslijeđena tweeta 189 korisnika označava da im se sviđa
        Prikaži ovu nit
      4. Hillel‏ @hillelogram 17. pro 2019.
        • Prijavi Tweet

        3. In an ideal world, the static vs dynamic types debate wouldn't be about "static verification vs developer economics", but "static verification vs runtime type manipulation". Turns out most of our "dynamic" languages aren't actually all that dynamic.

        7 replies 11 proslijeđenih tweetova 86 korisnika označava da im se sviđa
        Prikaži ovu nit
      5. Hillel‏ @hillelogram 17. pro 2019.
        • Prijavi Tweet

        4. Why isn't your pet language/process/tool more popular? Shit UX or shit PR. I guarantee it's one of those two.

        14 proslijeđenih tweetova 100 korisnika označava da im se sviđa
        Prikaži ovu nit
      6. Hillel‏ @hillelogram 17. pro 2019.
        • Prijavi Tweet

        5. We don't bother to understand complexity _as a concept_. "No Silver Bullet" was the most recent innovation in the topic and it came out thirty years ago. All arguments about "simple vs easy" and "simple vs complex" are tainted by this ignorance.

        7 replies 12 proslijeđenih tweetova 82 korisnika označavaju da im se sviđa
        Prikaži ovu nit
      7. Hillel‏ @hillelogram 17. pro 2019.
        • Prijavi Tweet

        6. CS programs should have a mandatory semester on debugging.

        9 replies 22 proslijeđena tweeta 138 korisnika označava da im se sviđa
        Prikaži ovu nit
      8. Hillel‏ @hillelogram 17. pro 2019.
        • Prijavi Tweet

        7. The whole VC "Gotta hu$$$tle! 80 hour workweeks! Startupz Rool!" mindset would disappear overnight if they had to pay overtime.

        5 replies 47 proslijeđenih tweetova 201 korisnik označava da mu se sviđa
        Prikaži ovu nit
      9. Hillel‏ @hillelogram 17. pro 2019.
        • Prijavi Tweet

        8. Most teams would be a lot more effective if they used formal specification. People think formal specs are a waste of time because nobody's ever shown them what specifications can DO for them. (This is an instance of "shit PR".)

        5 replies 13 proslijeđenih tweetova 72 korisnika označavaju da im se sviđa
        Prikaži ovu nit
      10. Hillel‏ @hillelogram 17. pro 2019.
        • Prijavi Tweet

        Okay that's a gimme because I tweet that opinion all the time, so 8. Most interviewing processes are less effective than making a pool of everybody who isn't an asshole and can do fizzbuzz, picking one at random, and giving them the job. Less fair and efficient, too.

        7 replies 19 proslijeđenih tweetova 116 korisnika označava da im se sviđa
        Prikaži ovu nit
      11. Hillel‏ @hillelogram 18. pro 2019.
        • Prijavi Tweet

        9. Many "best practices" are post-hoc justifications for "fun". * Maintaining docs isn't fun ➡️ "code should be self-documenting!" * Risk analysis isn't fun ➡️ "BDUF is bad!" * Profiling isn't fun ➡️ "Optimize for developer happiness!"

        10 proslijeđenih tweetova 44 korisnika označavaju da im se sviđa
        Prikaži ovu nit
      12. 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