Oleg Grenrus

@phadej

Oh hai! How duz I program? Dunno. Kthxbye!

Helsinki, Finland
Vrijeme pridruživanja: kolovoz 2010.

Tweetovi

Blokirali ste korisnika/cu @phadej

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

  1. Prikvačeni tweet
    18. tra 2017.
    Poništi
  2. proslijedio/la je Tweet
    Poništi
  3. proslijedio/la je Tweet
    2. velj

    Palindrome day, but more importantly, the US and the EU can finally agree on the date to display too! DDMMYYYY: 02022020 MMDDYYYY: 02022020 YYYYMMDD: 20200202 YYYYDDMM: 20200202

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

    You know you have programmed enough type-level stuff when you write ': to cons value level lists

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

    It's taken a while, as he decided to make it compatible with 64-bit systems before releasing it, but, as I hinted at Code Mesh, David Turner has now released the Miranda programming language under a BSD licence:

    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    28. sij
    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    28. sij
    Odgovor korisnicima
    Poništi
  8. 25. sij

    I wrote a post about migrating from `lens` to `optics` using real world haskell codebase as a case study:

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

    Mitä uusi työntekijä opettelee Liptonilla ensimmäiseksi? Perusteet.

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

    Despite Zion Williamson debuting tonight and scoring 17 points in a three minute stretch, this is the play of the year so far.

    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    23. sij

    Meetup next week! The spots are currently filled up, but there's a wait list.

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

    Patients and scientists: THIS IS NOT A DRILL. The White House is considering requiring open access to all taxpayer-funded research. Please sign to let The White House know that you strongly support this transformational initiative:

    Poništi
  13. proslijedio/la je Tweet
    23. sij
    Poništi
  14. proslijedio/la je Tweet
    21. sij

    Tiling a 16x16 board, with one unit removed, using L shaped tiles. Recursively divide into four smaller boards, place the tile on those not containing the omitted square. This reduces to four smaller instances of the problem. Works with any square board of size 2^n.

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

    If the job title is proof-engineer, is it unfair to ask ”how would you implement quicksort in Agda or Coq” in the interview?

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

    Ryan Tannehill used his NOSE on the tablet 😂🥶 (via )

    Poništi
  18. proslijedio/la je Tweet
    18. sij

    Everything reminds me of him ...

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

    so i'm going to be done with my degree in a few months and am doing some thinking about Careers and such how does one find opportunities get paid to write haskell/rust, *preferably in person* with a group of other people doing the same?

    Prikaži ovu nit
    Poništi
  20. 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
  21. proslijedio/la je Tweet
    13. sij

    Vahvaa porukkaa ehdolla sivuosapystin saajaksi: Al Pacino, Joe Pesci, Anthony Hopkins, Tom Hanks. Palkinnon saa Pitt.

    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:

    ·