Zanzi

@tangled_zans

Activism, Functional programming, Haskell, Category theory, AI. 🏳️‍⚧️

London
Vrijeme pridruživanja: prosinac 2014.

Tweetovi

Blokirali ste korisnika/cu @tangled_zans

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

  1. Prikvačeni tweet
    17. svi 2019.

    I'm going to teach a course on implementing dependently typed programming languages at this June! If you have any questions you'd like to see covered, feel free to ask. The 6 hours of videos will be posted online.

    Poništi
  2. proslijedio/la je Tweet
    31. sij

    Graded monads and parameterised monads both generalise monads to indexed forms, but with different kinds of indexing. , Phil Wadler, and I show that they can both be subsumed by a particular class of lax functors (with a little extra structure)

    Prikaži ovu nit
    Poništi
  3. 31. sij

    some fucking good data analysis, and a good methodology for tracking hate groups

    Poništi
  4. 30. sij

    Ah but refactoring so late, how do you know the innocuous sentence you've removed wasnt crucial to your point ten pages down? Theres only one solution, we need a type checker for written work.

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

    We are building a Haskell team at in London. I am especially interested in exploring probabilistic programming. DM me if you are interested.

    Poništi
  6. 30. sij

    My sheaves bring all the category theorists to the yard And they're like "Wanna make kimchi?"

    Poništi
  7. 30. sij

    "When all you have is nails, every rock looks like a hammer"

    Poništi
  8. 30. sij
    Poništi
  9. 29. sij

    ADHD is waiting half an hour until your 31st birthday to register for your 26-30 railcard.

    Poništi
  10. 29. sij

    "So far, the question has been posed as how does language affect thinking, but what if the question is inverted to ask how do concepts affect language?"

    Poništi
  11. 29. sij

    Finally a personality test that understands me

    Poništi
  12. proslijedio/la je Tweet
    29. sij

    "Bringing Stories Alive: Generating Interactive Fiction Worlds” made a text-adventure game world generator. The online demo is live! Paper: Code: Demo:

    Prikaži ovu nit
    Poništi
  13. 29. sij

    New startup idea: a chat bot trained on your conversations that takes care of online arguing for you. No more getting into dumb internet fights! Now you can tell people exactly how wrong they are without having to type a word yourself.

    Poništi
  14. 29. sij
    Poništi
  15. proslijedio/la je Tweet
    3. srp 2018.

    “Debugging data flows in reactive programs | the morning paper”

    Poništi
  16. proslijedio/la je Tweet
    4. pro 2018.

    Time to expand this into a thread. There are important classes of abstract machines that can hold things like lambda terms or graphs in their state, and do reductions on it. SPJ's spineless tagless G-machine is an example you might have heard of.

    Prikaži ovu nit
    Poništi
  17. 28. sij

    I was in a talk that mentioned how it might have been Roger Penrose who suggested the lambda calculus to Christopher Strachey as a potential language for programming language semantics. Speaker:"Perhaps someone who knows Penrose could ask him?" Audience: "Oh, he's right here"

    Poništi
  18. 28. sij

    "You hear that? Oh, no, no, no. No. No! Oh, Jesus Christ, no. The clocks are here!" The first thing I'll do when MovieGAN is invented is turn this into a film.

    Poništi
  19. 27. sij

    research friends: how do you organise your notes/questions? I feel like I've tried a bunch of over-engineered systems(ie org-mode) and they always end up going out of control.

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

    Romeo Stevens comes in with the best explanation I've seen of Suffering and Craving in Buddhism!

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

    Play stupid games. Win stupid prizes. Celebrate stupid victory by making a stupid commemorative 50p coin.

    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:

    ·