Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @cocreature
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @cocreature
-
Pinned Tweet
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.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
The pigeon probably writes better code than I do.https://twitter.com/DAMLdriven/status/1222201401574678533 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Moritz Kiefer Retweeted
Great to see
@cocreature and others' work on the DAML developer experience benefitting the wider community. DAML's ghcide (https://github.com/digital-asset/ghcide …) and HIE (https://github.com/haskell/haskell-ide-engine …) are joining forces! https://neilmitchell.blogspot.com/2020/01/one-haskell-ide-to-rule-them-all.html … Big thanks to@ndm_haskell,@alan_zimm et al.Thanks. Twitter will use this to make your timeline better. UndoUndo -
Moritz Kiefer Retweeted
Haskell-ide-engine and Ghcide teams are joining forces to work on a single Haskell IDE. See https://neilmitchell.blogspot.com/2020/01/one-haskell-ide-to-rule-them-all.html … for details. With
@cocreature,@alan_zimm and many contributors from both sides.Thanks. Twitter will use this to make your timeline better. UndoUndo -
Moritz Kiefer Retweeted
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 - https://github.com/haskell/network-uri/pull/46 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Moritz Kiefer Retweeted
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!pic.twitter.com/1gRRcbA3oZ
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Very happy to be a part of this!https://twitter.com/ndm_haskell/status/1217010894519111680 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Moritz Kiefer Retweeted
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
@cocreature,@ndm_haskell and everyone else.Thanks. Twitter will use this to make your timeline better. UndoUndo -
We have just released ghcide 0.0.6 with a ton of new features and bugfixes, see https://github.com/digital-asset/ghcide/releases/tag/v0.0.6 … for the changelog
#haskellThanks. Twitter will use this to make your timeline better. UndoUndo -
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
I’ll join the Haskell Hackathon in Bristol and will be working on ghcide. See you there and thanks
@mpickering_ for organizing!Thanks. Twitter will use this to make your timeline better. UndoUndo -
Moritz Kiefer Retweeted
Coming soon to a GHC release near you: Native stack traces (e.g. in gdb). See for yourself:https://asciinema.org/a/mzQFrJefYQyIYA5MyappydgzP …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
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!https://twitter.com/DAMLdriven/status/1208081173001445376 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Moritz Kiefer Retweeted
I’m very excited we finally landed
@DAMLdriven Triggers. Automatically approving vacation, merging coins, settling expenses from split bills, etc. There are so many use cases.Thanks. Twitter will use this to make your timeline better. UndoUndo -
Moritz Kiefer Retweeted
Ever wondered how you can automate workflows in DAML? Check out our latest blog post https://hubs.ly/H0mlJfq0 on off-Ledger automation via DAML triggers written by our own Moritz Kiefer (
@cocreature)#DLT#SmartContracts#daml#damldriven#automationpic.twitter.com/sPfgib130I
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Moritz Kiefer Retweeted
A first version of completion support in `ghcide` is no longer WIP! https://github.com/digital-asset/ghcide/pull/227 …

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!
Thanks. Twitter will use this to make your timeline better. UndoUndo -
I managed to make an HTTP request from Cobol and I’m not sure if I’m happy or horrified.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
We have just released ghcide 0.0.5, special thanks to
@trupill for some awesome contributions (more in the pipeline for the next release). https://github.com/digital-asset/ghcide/releases/tag/v0.0.5 …
#haskellThanks. Twitter will use this to make your timeline better. UndoUndo -
Compile Time Segfaultshttps://twitter.com/hankadusikova/status/1197114372964995072 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
We have moved `ghcide` (formerly known as `hie-core`) to a separate repository at https://github.com/digital-asset/ghcide/ … to make it easier to contribute.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Moritz Kiefer Retweeted
In case you're curious how we built the
@DAMLdriven compiler based on GHC, that's how we did it:https://www.youtube.com/watch?v=mQulFrOp0Rg&=&feature=youtu.be …Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
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.