, ¬ 

@ZoltanAK

PhD (Mathematics) | GoboLinux user Upvote, share does not imply endorsement.

Vrijeme pridruživanja: travanj 2015.

Tweetovi

Blokirali ste korisnika/cu @ZoltanAK

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

  1. 2. velj

    Well, literally thousands of developers toiled for decades, building complex tools and frameworks in an attempt to make it the hardest. It would be a total embarrassment if they hadn't succeeded after putting in that much effort.

    Poništi
  2. 1. velj

    Marie Kondo: if your tools don't spark joy, don't obsess over them, but throw them out. Pascal Precht: an entire book about rebasing in Git.

    Poništi
  3. proslijedio/la je Tweet
    30. sij

    Alexander demonstrated how to publish a reproducible experiment: see the example by and Şükrü Yalçınkaya at and a template with instructions at

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

    I am recruiting PhD students, particularly for projects on graphs, network games, and modelling/optimisation with agricultural data. Applications are due very soon - Jan 31 - and must include a research proposal. Contact me to discuss proposals!

    Poništi
  5. 4. sij

    It's just like Y2K, alarmism and hysteria all over again. I didn't install any so-called "Y2K patch", and guess what, my computer kept working just fine. Anyway, I'll quit ranting, have a happy 1920 everyone!

    Poništi
  6. 25. pro 2019.

    I know that royal families are rather closely knit, but the Queen of Australia looks nigh-identical to the Queen of the United Kingdom. Seriously, check it out; they could be twins. Crazy!

    Poništi
  7. 23. pro 2019.

    What conclusion should I draw from the fact that some of the smartest people I know have depression? (a) my Facebook balloon is too large (b) I should become depressed too (c) it's a statistical anomaly (d) something else? ;)

    Poništi
  8. 22. pro 2019.

    I'm happy for you Mr. Ridley. It was pretty shit for the rest of us, though.

    Poništi
  9. 10. pro 2019.

    Git has a beautiful graph theory model in the same sense that Pong has a sophisticated physics engine.

    Poništi
  10. proslijedio/la je Tweet
    4. pro 2019.

    The thick smoke in Sydney today, versus a normal day 😷

    Poništi
  11. proslijedio/la je Tweet

    Please RT fella, they not only muted the laughter. The searched the show for the line "absolutely vital" from a different question and used a more confident clip. His phrasing is different. This is a MAJOR scandal.

    Prikaži ovu nit
    Poništi
  12. 12. stu 2019.

    Fallout 5: Sydney is great. Time to buy a gas mask, though.

    Poništi
  13. 12. ruj 2019.

    A no-strings-attached Brexit Rehearsal. Brilliant!

    Poništi
  14. 30. kol 2019.

    1. The (atrocious) Agda proofs accompanying my PhD thesis, "Development of Algebra in Internal Set Theory", are now available:

    Poništi
  15. 29. kol 2019.

    And that's one reason why I don't want to hear the "someone who has a long-term investment in the country" argument for monarchy ever again. If the position of Head of State is hereditary, the HoS will optimize for "most income over least responsibility".

    Prikaži ovu nit
    Poništi
  16. 29. kol 2019.

    In most European democracies, the Head of State would have had the ability to deny the Executive's request to undertake an unusual and fishy course of action.

    Prikaži ovu nit
    Poništi
  17. 28. kol 2019.

    Reminder: in a country without a constitution, every crisis becomes a constitutional crisis.

    Poništi
  18. 4. kol 2019.

    "It follows by a standard argument" - but the only reference I can give you treats semilattices instead of groups, and does only 2 of the 16 possible cases.

    Poništi
  19. 1. kol 2019.

    Clarification: I mean rules for "data types", not dependent function types.

    Prikaži ovu nit
    Poništi
  20. 1. kol 2019.

    Please ELI5 what (if anything) goes wrong if we give the type introduction/elimination rules in Martin-Löf type theory as axioms (infer G |- nat-ind : ...) instead of inference rules (if G,x:N |- ... and ... and ... then infer G |- nat-ind P z s t : P[t/x]).

    Prikaži ovu nit
    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:

    ·