Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @christopherdone
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @christopherdone
-
German Naming Convention https://chrisdone.com/posts/german-naming-convention/ …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Chris Done Retweeted
It is with great sadness that I share news of Joe Armstrong's passing away earlier today. Whilst he may no longer be with us, his work has laid the foundation which will be used by generations to come. RIP
@joeerl, thank you for inspiring us all.Thanks. Twitter will use this to make your timeline better. UndoUndo -
Web engines in Haskell and browser monoculture https://chrisdone.com/posts/web-engines/ …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Chris Done Retweeted
Finally, dynamically typed programming in Haskell made easy! https://github.com/chrisdone/dynamic … by
@christopherdoneThanks. Twitter will use this to make your timeline better. UndoUndo -
Chris Done Retweeted
The Haskell performance checklist https://buff.ly/2JK8TxU by
@christopherdoneThanks. Twitter will use this to make your timeline better. UndoUndo -
Simple example of using Liquid Haskell to model a valid date staticallyhttps://github.com/chrisdone/sandbox/blob/master/liquid-haskell-dates.hs …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
An easily digestible example of a dependent type that comes from user input at runtime: the vector size and the indexhttps://github.com/chrisdone/sandbox/blob/master/dynamically-sized-vector-in-idris.idr …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
When friends complain about programming with state.
@mcbazonpic.twitter.com/vZYRZI5D0h
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Verifying myself: I am chrisdone on http://Keybase.io . clfH-qHettL2QRMLBukurjZ6rrQt5zA-7i0N / https://keybase.io/chrisdone/sigs/clfH-qHettL2QRMLBukurjZ6rrQt5zA-7i0N …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
A new Haskell library for talking to ODBC databases, like SQL Server.https://www.fpcomplete.com/blog/2018/05/haskell-library-talking-odbc-databases …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Nice! Looking forward to watching the video of the talk!https://twitter.com/haroldcarr/status/918426169187487744 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
With hindent's builtin line-breaking style, you can use proportional fonts like Comic Sans to code your Haskell, like you always wanted.pic.twitter.com/F99Z7PAaRH
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Chris Done Retweeted
wish: A trivial web browser written in Haskell. ~ Chris Done
@christopherdone https://github.com/chrisdone/wish#HaskellThanks. Twitter will use this to make your timeline better. UndoUndo -
Chris Done Retweeted
jl - Functional sed for JSON https://github.com/chrisdone/jl by
@christopherdoneThanks. Twitter will use this to make your timeline better. UndoUndo -
Teaser for my educational language called Duet http://chrisdone.com/toys/duet-delta Will post more fun demos (graphics, webcam, mic, networking) later.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Add a :describe command to your GHCi (for figuring out how expressions with operators are parsed)https://github.com/commercialhaskell/describe#describe …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Chris Done Retweeted
Great work by
@christopherdone: Benchmarks comparing the performance of different#haskell data structureshttps://github.com/haskell-perfThanks. Twitter will use this to make your timeline better. UndoUndo -
Chris Done Retweeted
A great article by
@christopherdone on writing fast—legitimately fast—Haskell: http://chrisdone.com/posts/fast-haskell-c-parsing-xml …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Which tab width do you prefer for Haskell code? http://doodle.com/poll/82xf854t9mmuv22h … Please pick 2 or 4.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Chris Done Retweeted
Here's a more comprehensive demo of Intero knowing how to fix bugs that you shouldn't have to fix yourself.pic.twitter.com/pTPDr9qMxQ
Thanks. 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.