ollie

@acid2

I write Haskell, ride bikes, build modular synthesizers and listen to experimental music.

London
Vrijeme pridruživanja: veljača 2007.

Tweetovi

Blokirali ste korisnika/cu @acid2

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

  1. Prikvačeni tweet
    26. lis 2017.

    I am putting my text editor to its fullest possible use, which is all I think that any conscious entity can ever hope to do.

    Poništi
  2. proslijedio/la je Tweet
    prije 10 sati

    Normalisation, how to do it fast for the untyped lambda-calculus by means of evaluation, and why we care (together with some of the required type theory/PLT background): first of a series, hopefully. Feel free to yell at me in replies about mistakes etc!

    Prikaži ovu nit
    Poništi
  3. prije 7 sati

    Thanks all who replied here - the tl;dr seems to be yes, go try it out!

    Poništi
  4. proslijedio/la je Tweet
    prije 11 sati

    If you've ever tried to test a stateful app in QuickCheck, Hedgehog or any other property-based testing library you'll know it can be seriously difficult! Check out this tutorial for a simple way to test stateful apps using Hedgehog.

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

    The EU now has 1 GB of free space

    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    2. velj
    Poništi
  7. proslijedio/la je Tweet
    1. velj
    Odgovor korisnicima

    With home-manager I can make myself at home on such a machine by simply `git clone /.env` and running `home-manager build`. Log-out and log back in and I can go on my merry way, forgetting I'm even on a foreign machine.

    Poništi
  8. 1. velj

    Should I learn home-manager? Anyone else using it?

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

    and it looks like 'haskell-language-server' is the clear outlier at 44 votes vs 7 for nearest alternative. So this is going to happen.

    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    31. sij

    Bikeshedding time. We are voting on a name for the merged haskell lsp server, between haskell-ide, haskell-lsp-server and haskell-language-server. Voting happens here

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

    Meet our new creation — Policeman — your PVP adviser👮 Struggling with assigning the new version numbers to your Haskell packages? Worry no more 🚓 Policeman is here to help with this process! Read more about the tool in our blog post:

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

    Twice a year, I read the comments on people are still mad at me.

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

    The GHC Steering Committee welcomes , Cale Gibbard and as new members!

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

    Wrote a novel about injectivity and ambiguity with fused-effects this morning:

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

    For a while I've been thinking: "Wouldn't it be great if our code editors were a bit more proactive and smart?" 🤔 So dusted off my Splash-based Swift editor prototype and built a feature that automatically generates models based on how they're being used. What do you think? 😀

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

    Last call to complete the Dhall survey before I summarize this year's feedback

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

    Haskell-ide-engine and Ghcide teams are joining forces to work on a single Haskell IDE. See for details. With , and many contributors from both sides.

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

    You can now generate Haskell types from Dhall types using Template Haskell. This helps when you want to keep the Dhall type as the source of truth (similar to how most IDLs work)

    Example use of Template Haskell to generate a Haskell type from a Dhall type
    Poništi
  20. proslijedio/la je Tweet
    24. sij
    Prikaži ovu nit
    Poništi
  21. proslijedio/la je Tweet
    25. sij

    [ann] I wrote a zsh completion for cabal command which discovers cabal components and pkg specs.

    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:

    ·