Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @smdiehl
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @smdiehl
-
Stephen Diehl Retweeted
I think I polished my laop library enough to publish it! So there you have it: https://hackage.haskell.org/package/laop-0.1.0.0 … I'll try and give updates on its state and development!
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Every Yaml parser is a custom Yaml parser.
http://matrix.yaml.io/valid.html Thanks. Twitter will use this to make your timeline better. UndoUndo -
Stephen Diehl Retweeted
"Haskell is reliable because of its advanced type system" misses half the story. The other half is Haskell's support for (rather, insistence on) expression-oriented programming. When you're doing mostly statement-oriented programming, a fabulous type system does you little good.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Stephen Diehl Retweeted
For anyone dares to try out: https://github.com/csabahruska/manual-stg-experiment … This is quite raw. But I'm working on a better/cleaner solution to make GHC codegen/RTS reusable.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Stephen Diehl Retweeted
Programming languages without garbage collection send us down a long path of design decisions that lead to slow compile times and fragile runtime performance cliffs.
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Stephen Diehl Retweeted
Timely post on Jax’s vmap in Haskell by
@ezyang. Will have to give these ideas a try in@hasktorch!https://twitter.com/Jose_A_Alonso/status/1222823201073397760 …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Stephen Diehl Retweeted
Concepts without words: Integration and Riemann Sums


https://bit.ly/2E7iNU3
#math#science#iteachmath#mtbos#visualizationpic.twitter.com/xVK85dBXMoThanks. Twitter will use this to make your timeline better. UndoUndo -
Stephen Diehl RetweetedThanks. Twitter will use this to make your timeline better. UndoUndo
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Stephen Diehl Retweeted
Switch to another wire format, surprisingly most of them support algebraic types:https://gist.github.com/gelisam/13d04ac5a54b577b2492785c1084281f …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Stephen Diehl Retweeted
codanim : animated code & data structures with LaTeX/beamer. Now at: https://github.com/fpom/codanim pic.twitter.com/KBDRhnsEQv
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Stephen Diehl Retweeted
Let's remove Quaternions from every 3D Engine: An Interactive Introduction to Rotors from Geometric Algebra, by Marc ten Bosch: - Blog: https://marctenbosch.com/quaternions/ - Video:https://www.youtube.com/watch?v=Idlv83CxP-8 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Stephen Diehl Retweeted
This is the sharpest movie of the Sun ever made. Even at this fine resolution, the scale is enormous; each plasma cell here is about the size of Texas. https://www.nso.edu/telescopes/dkist/first-light-cropped-field-movie/ … via
@NatSolarObspic.twitter.com/JYSDw1Grx6Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Stephen Diehl Retweeted
“All of a sudden we had this list of numbers.” — astrophysicist Chuck Bennett, on mapping the cosmic microwave background and learning the precise contents of the cosmos. (Opening animation by
@InertialObservr) https://www.quantamagazine.org/how-the-cosmic-microwave-background-reveals-the-universes-contents-20200128/ …pic.twitter.com/Cj0U25FDp2Thanks. Twitter will use this to make your timeline better. UndoUndo -
Stephen Diehl Retweeted
Goldilocks went to GitHub & cloned 3
#haskell codebases She inspected the 1st one: "This codebase is stringly typed!" Then the 2nd one: "This has singletons and inscrutable type sigs!" And the last one: "Shows a mature understanding of the benefits & limits of the type system"Thanks. Twitter will use this to make your timeline better. UndoUndo -
So is there any effort for a London conference to replace Haskell Exchange?
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Stephen Diehl Retweeted
I just published my initial devcontainer setup for
@code, allowing you to install a Haskell environment (via HIE) with zero effort! Please try it, and send PRs to make it better (I really have no idea what I'm doing
)https://github.com/hmemcpy/haskell-hie-devcontainer …Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Stephen Diehl Retweeted
"Alpha Announcement: Coq is a Lean Typechecker"https://coq.discourse.group/t/alpha-announcement-coq-is-a-lean-typechecker/581 …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Stephen Diehl Retweeted
Strict data and lazy functions is the default you should be using for all production Haskell code.https://jacobstanley.io/help-my-haskell-program-consumes-more-memory-the-longer-it-runs …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Stephen Diehl Retweeted
nice blog post by
@benkarel summarizing replies to my question about modernizing a compiler course!https://eschew.wordpress.com/2020/01/26/undergrad-compilers-from-the-hive-mind/ …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.