Tweetovi

Blokirali ste korisnika/cu @Potato4x4

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @Potato4x4

  1. proslijedio/la je Tweet
    12. sij

    Please stop moving open source support to Discord, Slack, and other fora that don't have indexed, linkable archives. We're going to regret the walled gardens we're building in exchange for a shinier UI.

    Poništi
  2. proslijedio/la je Tweet
    16. srp 2019.

    Cubical Agda- A Dependently Typed Programming Language with Univalence and Higher Inductive Types Andrea Vezzosi , Anders Mörtberg, and Andreas Abel 2019 preprint

    Poništi
  3. proslijedio/la je Tweet

    nice, google hijacked right-click so i can't open emails in a new tab anymore, useless fuck of a website

    Poništi
  4. proslijedio/la je Tweet
    8. srp 2019.

    in a world first, Vaxei has shattered the boundaries of all that was thought possible and achieved osu!'s first 1000pp+ score. words do not adequately address the enormity of this feat. so, we will spam instead. SHUDHNSJDNBSHJDJKSDKJLH

    Poništi
  5. proslijedio/la je Tweet
    23. svi 2019.

    There is now a fully formalised proof of the independence of the Continuum Hypothesis from ZFC in Lean

    Poništi
  6. proslijedio/la je Tweet
    22. svi 2019.

    PSA to high school teachers and anyone who wants to read a scientific paper: Many authors have a free copy of the paper on their personal web page. If that fails, email authors! Most would love to give you a copy. Don't give up or pay if Google doesn't find you a free copy!

    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    12. tra 2019.

    I'm very glad to announce the release of Agda 2.6.0, introducing cubical agda, automatic variable generalization, a new Prop universe, an overhaul of instance seach and many other new features and a gazillion bugfixes. Enjoy!

    Prikaži ovu nit
    Poništi
  8. 13. ožu 2019.

    Verifying myself: I am 44potato44 on . LIU0dZ3QJGi0yx1eEr7Lqvac9VqGamDKnCaT /

    Poništi
  9. proslijedio/la je Tweet
    17. velj 2019.

    this is who all your failed sudos get reported to

    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    26. pro 2018.

    TIO now hosts exactly 600 programming languages.

    Poništi
  11. proslijedio/la je Tweet
    12. pro 2018.

    day 12 (star 1) in Befunge, an esoteric programming language with a two-dimensional execution model. (I then used Python and a calculator to solve the more… philosophical second task!)

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    21. ruj 2018.

    GHC 8.6.1 has at long last been released! Happy compiling.

    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    19. ruj 2018.

    Coworker bought a new scope and, well, you all knew this was going to happen didn't you.

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    24. srp 2018.

    yea, watching anime from an osu beatmap is pretty groundbreaking, but have you ever watched a movie from your file explorer window? there's a reason why i have 3000 iq

    Poništi
  15. proslijedio/la je Tweet

    VOCALOID5が本日発売! 特徴 ・Win / Mac、VST / AU対応 ・4ボイスバンク同梱 ・カスタム可能なフレーズ1,000個 ・歌唱スタイル100種 ・抑揚を簡単設定 アタック&リリースエフェクト ・新インターフェイス などここでは語りきれません。 日本語デモ含む詳細はこちら ▶︎

    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    4. lip 2018.

    has been merged to GHC master; just in time for GHC 8.6

    Poništi
  18. proslijedio/la je Tweet
    14. svi 2018.

    I hope we can get beyond this stereotype someday. putStrLn "Hello, world!" is really not that bad! We need to stop toting Haskell as a "smart people only" language. It's really not, and I'd love to see it become more accepted! This ideology doesn't help!

    Prikaži ovu nit
    Poništi
  19. proslijedio/la je Tweet
    6. svi 2018.

    Twitch Haskell Q&A Session complete. Part 1: Part 2: (4 hours. 1 hiccup.) Fancy intro worked! Lots of folks on discord this time. New sketch-cam got put to use. Alas, my color balance made me look like I had a terrible sunburn.

    Poništi
  20. proslijedio/la je Tweet
    7. svi 2018.

    TIO now hosts exactly 500 programming languages.

    Poništi

Č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.

    Možda bi vam se svidjelo i ovo:

    ·