D Oisín Kidney

@oisdk

mainly tweeting about and

Cork, Ireland
doisinkidney.com
Vrijeme pridruživanja: svibanj 2015.
54 fotografije ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @oisdk

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

  1. Prikvačeni tweet
    29. sij

    Terminating Tricky Traversals

    3 proslijeđena tweeta 9 korisnika označava da im se sviđa
    Poništi
  2. 13. pro 2019.

    Lazy Constructive Numbers and the Stern-Brocot Tree

    2 proslijeđena tweeta 8 korisnika označava da im se sviđa
    Poništi
  3. 15. stu 2019.

    A Small Proof that Fin is Injective

    2 proslijeđena tweeta 6 korisnika označava da im se sviđa
    Poništi
  4. 2. stu 2019.

    How to do Binary Random-Access lists simply

    5 korisnika označava da im se sviđa
    Poništi
  5. 5. lis 2019.

    1. First language: Javascript 2. Had difficulties: All of them, but mostly Haskell, CSS, C, PHP 3. Most used: Agda, latex 4. Totally hate: All of them at some time or another 5. Most loved: Agda 6. For beginners: Swift 7. Most excited about lately: Cubical Agda

    1. First language: MATLAB 2. Had difficulties: Scala, C 3. Most used: Python, Haskell 4. Totally hate: Java, Bash, JavaScript 5. Most loved: Haskell 6. For beginners: Haskell? (Don't know enough about beginners, would love to try!) 7. Most excited about lately: Typed Racket, Joy
    5 korisnika označava da im se sviđa
    Poništi
  6. 2. lis 2019.

    New Post: What is good about ?

    5 replies 34 proslijeđena tweeta 85 korisnika označava da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    6. kol 2019.

    This short paper suggests that you can use optical illusions to trick the human visual cortex into computing boolean circuits

    31 proslijeđeni tweet 85 korisnika označava da im se sviđa
    Poništi
  8. 4. lip 2019.

    Solving Programming Puzzles without using your Brain

    1 proslijeđeni tweet 5 korisnika označava da im se sviđa
    Poništi
  9. 28. svi 2019.

    How can two continuations cancel each other out?

    1 korisnik označava da mu se sviđa
    Poništi
  10. 27. svi 2019.

    Deriving a Linear-Time Applicative Traversal of a Rose Tree

    1 proslijeđeni tweet 6 korisnika označava da im se sviđa
    Poništi
  11. 14. svi 2019.

    Implicit Corecursive Queues

    1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Poništi
  12. 11. svi 2019.

    Concatenative Programming; The Free Monoid of Programming Languages A simple encoding of a (typed) concatenative language in

    1 proslijeđeni tweet 9 korisnika označava da im se sviđa
    Poništi
  13. 8. svi 2019.

    Tricks for List Manipulation

    4 proslijeđena tweeta 14 korisnika označava da im se sviđa
    Poništi
  14. 17. tra 2019.

    Cubical Agda and Probability Monads

    12 proslijeđenih tweetova 32 korisnika označavaju da im se sviđa
    Poništi
  15. proslijedio/la je Tweet
    20. ožu 2019.

    Finally got a version of my Master's Thesis published as an Open Access article!

    3 proslijeđena tweeta 21 korisnik označava da mu se sviđa
    Poništi
  16. proslijedio/la je Tweet
    26. ožu 2019.

    The extended version of my ICFP 2019 submission is available at (if you're not on the program committee). Comments welcome!

    8 proslijeđenih tweetova 25 korisnika označava da im se sviđa
    Poništi
  17. 24. ožu 2019.

    Permutations By Sorting

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  18. 21. ožu 2019.

    Really liking copattern syntax in It lets you define folds and so on with the usual pattern-matching syntax

    1 reply 1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  19. 21. ožu 2019.

    Lazy Binary Numbers

    4 korisnika označavaju da im se sviđa
    Poništi
  20. 14. ožu 2019.

    More Agda Tips

    Poništi

@oisdk još nije objavio nijedan Tweet.

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

    ·