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 24. sij
    • Prijavi Tweet

    n² likes = n half-baked ideas for better developer tooling (Said tooling may be useless, infeasible, or already exist. No refunds.)

    18:42 - 23. sij 2020.
    • 14 proslijeđenih tweetova
    • 223 oznake „sviđa mi se”
    • Geoff Langdale Diego Roque 🌼🏵🌸🌺mira🌺🌸🏵🌼 William Lubelski Alexander Riche Kris Nuttycombe Joachim Schipper britone mwasaru Andrey Mishanin
    14 proslijeđenih tweetova 223 korisnika označavaju da im se sviđa
      1. Novi razgovor
      2. Hillel‏ @hillelogram 24. sij
        • Prijavi Tweet

        1. A modular search engine. Each module whitelists sites, you pick the modules to search over. IE if I search "bug" with the "programming" and "javascript" modules I won't get stuff on mirrors or physics, because of the module whitelists

        2 proslijeđena tweeta 12 korisnika označava da im se sviđa
        Prikaži ovu nit
      3. Hillel‏ @hillelogram 24. sij
        • Prijavi Tweet

        Modules could be either community driven or curated by a core team, revenue would come from advertising, since advertisers can target the EXACT modules that represent their demographic a la Ravelry (Also people could make premium curated modules)

        0 proslijeđenih tweetova 5 korisnika označava da im se sviđa
        Prikaži ovu nit
      4. Hillel‏ @hillelogram 24. sij
        • Prijavi Tweet

        2. Syntax highlighting based on additive rules, not a state machine parser. So you can add/remove blocks of highlighting interactively Like only highlight functions from imported modules, or assignments to dictionaries

        0 proslijeđenih tweetova 24 korisnika označavaju da im se sviđa
        Prikaži ovu nit
      5. Hillel‏ @hillelogram 24. sij
        • Prijavi Tweet

        A browser designed for both manual use AND automation, so you can go "open all links that appear on BOTH of these tabs, then close the ones with `foo` in them"

        3 proslijeđena tweeta 17 korisnika označava da im se sviđa
        Prikaži ovu nit
      6. Hillel‏ @hillelogram 24. sij
        • Prijavi Tweet

        (That was 3) 4. If there's an uncaught exception in production, save the entire execution to a new image, save it to a fileserver, and let me open a debugger on it

        11 replies 0 proslijeđenih tweetova 21 korisnik označava da mu se sviđa
        Prikaži ovu nit
      7. Hillel‏ @hillelogram 24. sij
        • Prijavi Tweet

        5. A multipaned layout for documentation. Possible panes: what you're reading, tangential stuff (glossary, footnotes) so you don't lose your place, history of clicks, bookmarks, things to check out later, personal notes Basically an IDE just for reading hypertext

        5 replies 0 proslijeđenih tweetova 22 korisnika označavaju da im se sviđa
        Prikaži ovu nit
      8. Hillel‏ @hillelogram 24. sij
        • Prijavi Tweet

        6. A standardized sqlite-based configuration format so I can actually encode relationships and comment my config and not have to deal with all the YAML footguns

        1 proslijeđeni tweet 13 korisnika označava da im se sviđa
        Prikaži ovu nit
      9. Hillel‏ @hillelogram 24. sij
        • Prijavi Tweet

        7. A tool for persistently annotating code in-line without using comments, a la Google docs, the bare minimum of editing features, so I can say "hey do we want this line" without it being a comment or a github pull request

        2 proslijeđena tweeta 26 korisnika označava da im se sviđa
        Prikaži ovu nit
      10. Hillel‏ @hillelogram 24. sij
        • Prijavi Tweet

        Oooh oooh we can also make it multimedia, so I can annotate a function with a stack trace that includes it, or a set of other functions that call it, or an uptime graph, or a picture of cats

        1 reply 0 proslijeđenih tweetova 15 korisnika označava da im se sviđa
        Prikaži ovu nit
      11. Hillel‏ @hillelogram 24. sij
        • Prijavi Tweet

        8. Tablet integration I want to have a tablet displaying a file graph and if I touch a file the editor on my desktop jumps to that file More variety in input methods in general would be cool

        1 reply 0 proslijeđenih tweetova 19 korisnika označava da im se sviđa
        Prikaži ovu nit
      12. Hillel‏ @hillelogram 24. sij
        • Prijavi Tweet

        Uhhh folks I might only have 8 half-baked ideas Really reaching to find a ninth

        0 proslijeđenih tweetova 8 korisnika označava da im se sviđa
        Prikaži ovu nit
      13. Hillel‏ @hillelogram 24. sij
        • Prijavi Tweet

        9. A way to specify additional information in versions of libraries about what's different in this version, like saying "3.4.3 -> 3.5.0, cause: security vulnerability, added public api: foo bar baz"

        0 proslijeđenih tweetova 4 korisnika označavaju da im se sviđa
        Prikaži ovu nit
      14. Hillel‏ @hillelogram 24. sij
        • Prijavi Tweet

        10. Portable file metadata, because right now the only metadata you got is the file extension, and that's barely any info at all. Might have to be stored in a different file to be backwards compatible, lol

        7 replies 0 proslijeđenih tweetova 6 korisnika označava da im se sviđa
        Prikaži ovu nit
      15. Hillel‏ @hillelogram 24. sij
        • Prijavi Tweet

        Okay now we're getting into quarter-baked ideas 11. A profiler that tells you how much money you'd save by making your code faster, either by reduced machine time or by better customer retention

        6 replies 0 proslijeđenih tweetova 22 korisnika označavaju da im se sviđa
        Prikaži ovu nit
      16. Hillel‏ @hillelogram 24. sij
        • Prijavi Tweet

        12. Unit test suggestors. Either prebuilt libraries of test templates or something that introspects the code and suggests tests for you to add if you want

        5 replies 1 proslijeđeni tweet 12 korisnika označava da im se sviđa
        Prikaži ovu nit
      17. Hillel‏ @hillelogram 25. sij
        • Prijavi Tweet

        YOU PEOPLE 13. Better versions of core tools burdened by legacy, like git and bash. I mean these already exist (fossil, gitless, powershell, fish) but, like, widespread, and not weird-niche stuff (powershell is a lot nicer than bash y'all)

        6 replies 0 proslijeđenih tweetova 13 korisnika označava da im se sviđa
        Prikaži ovu nit
      18. Hillel‏ @hillelogram 3. velj
        • Prijavi Tweet

        14. Actually decent Github querying tools so I can actually find representative samples of codebases solving problems similar to mine

        0 replies 0 proslijeđenih tweetova 8 korisnika označava da im se sviđa
        Prikaži ovu nit
      19. 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