Wolfgang Jeltsch

@WolfgangJeltsch

I’m passionate about functional programming, logic, type theory, category theory, and more.

Tallinn, Estonia
Vrijeme pridruživanja: rujan 2019.

Tweetovi

Blokirali ste korisnika/cu @WolfgangJeltsch

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

  1. proslijedio/la je Tweet

    Planets for scale. Credit:

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

    Improbawall by 3D Designer Matt Taylor

    Poništi
  4. proslijedio/la je Tweet
    3. velj
    Poništi
  5. proslijedio/la je Tweet
    2. velj

    A common misconception. You need to chant "Yoneda" 3 times in your bathroom mirror at midnight, and you'll be embedded fully and faithfully into your category of presheaves.

    Poništi
  6. 31. sij

    Miranda is alive! 😮 I was taught this language in my first semester back in 1997/1998, alongside C++. One or two years later, the professor switched from Miranda to Haskell. 😁

    Poništi
  7. proslijedio/la je Tweet
    28. sij

    Our partner published their programme! Register now for a chance to pick brains of innovators and community leaders including , , Oliver Strickson, and others. Best prices available before 2 February.

    Banner for Lambda Days Developer Conference, 13.-14. February 2020 in Kraków, Poland. Banner image shows portraits of eight people.
    Poništi
  8. proslijedio/la je Tweet
    28. sij

    We're excited for one month away from today! Join , and discover beyond the mainstream and learn from how to unify your CI/CD workflow. Also, come talk to us on our booth 🙂

    Poništi
  9. proslijedio/la je Tweet
    25. sij

    GHC 8.10.1 is finally converging with the release of release candidate 1. Do let us know how testing goes!

    Poništi
  10. proslijedio/la je Tweet
    27. sij

    In case you guys are interesting in the formal model behind how Cardano handles smart contracts, here is our Extended UTXO model:

    Poništi
  11. proslijedio/la je Tweet
    20. sij

    No Peter, you forgot your password. You apparently also manage other people's money.....

    Poništi
  12. proslijedio/la je Tweet

    A relatively harmless example from the genre of “clearly this dev team doesn’t know many non-Anglo people”:

    Poništi
  13. proslijedio/la je Tweet
    16. sij

    The GHC team is happy to announce the release of GHC 8.8.2! This release includes several important bug-fixes so users are encouraged to upgrade. As always, let us know how things go! Happy 'ing

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

    of all the legacy software stacks in the world that somehow manage to work, the TeX ecosystem is perhaps the most amazing

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

    Berkeley is a strange and sometimes wondrous place. I just had the 𝙥𝙞𝙯𝙯𝙖 𝙙𝙚𝙡𝙞𝙫𝙚𝙧𝙮 𝙜𝙪𝙮 recognize me and ask a bunch of Haskell questions as we sat on the deck and ate said pizza. 😆🍕🤭 10/10 will order again

    Poništi
  18. proslijedio/la je Tweet

    As I drifted off to sleep last night I had a sudden realization... π/4 =⚫️/⬛️

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

    Comment on my course-evals from an _upper_ level course. I have to assume they don't mean what they wrote…

    Poništi
  20. proslijedio/la je Tweet
    9. sij

    Warning! The Yoroi wallet website is being faked by scammers. The real and official website is . Scammers are also offering balance check and a wallet restore on their website which is there to steal your funds. Please be cautious and RT please!

    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:

    ·