d ⧉ aan

@ijks_w

doing MSc Logic ∘ i like general abstract nonsense ∘ opinions are my future employer's ∘ he/him

your nearest polder
Vrijeme pridruživanja: studeni 2011.

Tweetovi

Blokirali ste korisnika/cu @ijks_w

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

  1. Prikvačeni tweet
    19. pro 2019.

    i've decided i'm going to be a compositionality stan now

    Poništi
  2. proslijedio/la je Tweet
    1. velj

    my new video! Twitter and Empathy

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    2. velj

    Ten years ago today, The Lancet retracted Andrew Wakefield’s fraudulent 1998 article claiming the MMR vaccine caused autism. He performed procedures on children unethically, paid kids at a birthday party to give him blood samples, and doctored data. He still claims he was right.

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

    I know spreadsheets are just programming but they feel like programming where you have to do everything with inline assembly

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    1. velj

    Thesis: for any given field you need to learn three categories of things: 1. How to act correctly 2. How to think correctly 3. How to feel correctly Higher numbers require a foundation of lower, but if you don't develop the higher the lower rapidly hit diminishing returns.

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

    computing is fun, it's just a real shame that the only machines we have to perform it on are computers

    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    29. sij

    Definitely my views here are informed by my conviction that ethics are mostly an enterprise in reverse-engineering the commitments you actually already held. A lot of philosophers think they're objectively proving the values which are already current in their own culture!

    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    28. sij

    +, Σ, and ∫ are just different evolutions of the same Pokémon

    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    28. sij

    Answering “yes” to questions of the form “is X or Y true?” is my least favorite internet joke. Not only is it completely unhelpful, people think they’re making a clever joke about “inclusive or,” which is wrong: “yes” would still be a valid answer if the question used “xor.”

    Poništi
  10. 27. sij

    (for the record: to see test results as they happen you need `cabal v2-test --test-show-details=streaming`)

    Prikaži ovu nit
    Poništi
  11. 27. sij

    so apparently cabal v2-test's default behaviour is to log test output to a file. does anyone seriously think that's good dev UX?

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    24. sij

    it is also immensely frustrating because this is a time where access to technology is a huge problem, and Dreams, through the lens of actually solving social problems, is a collossal, hostile failure.

    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    21. sij

    I cut House of Leaves in half to make it easier to carry, but each half is somehow larger than the original, and contains a totally different complete story

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

    I've cut this david foster wallace novel in half and in half again until there's nothing left to cut. I call it "infinitesimal jest"

    Poništi
  15. proslijedio/la je Tweet
    21. sij

    If you have something of kind T->T->T I want the variable to stand out! It's ridiculous to write arr :: (b->c) -> a b c where the 'a' is completely different from 'c'

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

    "keep your account safe! give us a phone number!" does anyone believe this

    Poništi
  17. proslijedio/la je Tweet
    19. sij

    I’m pleased to present the flame-bait sequel to my previous blog post: “No, dynamic type systems are not inherently more open.” (Please send me your hatemail at your earliest convenience.)

    Poništi
  18. proslijedio/la je Tweet

    Right. So, torture. That's what you're describing.

    Prikaži ovu nit
    Poništi
  19. proslijedio/la je Tweet
    17. sij
    Poništi
  20. proslijedio/la je Tweet
    Poništi
  21. proslijedio/la je Tweet
    14. sij

    So, today is UNESCO World Logic Day! Some major fields of logic: Model theory, proof theory, set theory, recursion theory, type theory, modal logic Debate is debate, but it's not part of any logic that I've ever heard of

    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:

    ·