Tweets

You blocked @cocreature

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @cocreature

  1. Pinned Tweet
    23 Feb 2018

    It is a little-known fact that Z3 has not only 3 but 4 different results for the satisfiability of a formula: sat, unsat, unknown and segfault.

    Undo
  2. Jan 28

    The pigeon probably writes better code than I do.

    Undo
  3. Retweeted
    Jan 28

    Great to see and others' work on the DAML developer experience benefitting the wider community. DAML's ghcide () and HIE () are joining forces! Big thanks to , et al.

    Undo
  4. Retweeted
    Jan 27

    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.

    Undo
  5. Retweeted
    Jan 26

    It's time to say thank you and good night to everyone who I had the pleasure of welcoming to Bristol this weekend. Lots of inspiring projects. Just time for one last performance improvement to ghcide before bed -

    Undo
  6. Retweeted
    Jan 25

    We were lucky to encounter a misty atmospheric day for the first day of the Bristol Hackathon. Thanks to all the attendees for coming from far and wide!

    Undo
  7. Jan 14
    Undo
  8. Retweeted
    Jan 13

    Working in a blazing fast ghcide with dot syntax from record-dot-preprocessor makes it almost hard to believe this is Haskell. I feel like when I first encountered IntelliJ fifteen years ago. Thanks , and everyone else.

    Undo
  9. Jan 10

    We have just released ghcide 0.0.6 with a ton of new features and bugfixes, see for the changelog 🎉

    Undo
  10. Jan 8

    I always try to write useful PR titles.

    Undo
  11. Jan 6

    I’ll join the Haskell Hackathon in Bristol and will be working on ghcide. See you there and thanks for organizing!

    Undo
  12. Retweeted
    31 Dec 2019

    Coming soon to a GHC release near you: Native stack traces (e.g. in gdb). See for yourself:

    Show this thread
    Undo
  13. 21 Dec 2019

    This was a very fun feature to work on and something that I’ve been missing myself when writing DAML. Very happy that we finally released this!

    Undo
  14. Retweeted
    20 Dec 2019
    Replying to

    I’m very excited we finally landed Triggers. Automatically approving vacation, merging coins, settling expenses from split bills, etc. There are so many use cases.

    Undo
  15. Retweeted
    20 Dec 2019

    Ever wondered how you can automate workflows in DAML? Check out our latest blog post on off-Ledger automation via DAML triggers written by our own Moritz Kiefer ()

    Undo
  16. Retweeted

    A first version of completion support in `ghcide` is no longer WIP! 🎊🎊 Most of the complicated code comes from `haskell-ide-engine`, where they had already solved the difficult problem of turning GHC output into completions. OSS power! ☀️

    Undo
  17. 14 Dec 2019

    I managed to make an HTTP request from Cobol and I’m not sure if I’m happy or horrified.

    Undo
  18. 12 Dec 2019

    We have just released ghcide 0.0.5, special thanks to for some awesome contributions (more in the pipeline for the next release). 🎉

    Undo
  19. 20 Nov 2019
    Undo
  20. 11 Sep 2019

    We have moved `ghcide` (formerly known as `hie-core`) to a separate repository at to make it easier to contribute.

    Undo
  21. Retweeted
    10 Sep 2019

    In case you're curious how we built the compiler based on GHC, that's how we did it:

    Show this thread
    Undo

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·