Justin Le   

@mstk

jle / mstksg / Lê Anh Khoa: Computational physicist, Haskeller & amateur musician. PhD Student studying Computational Science. (UCSD, Chapman U); he / him

Joined March 2007

Tweets

You blocked @mstk

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

  1. Pinned Tweet
    5 Aug 2019

    [BLOG] Dead-simple TCP/IP services using :D Excited to share a technique I've been using a lot over the past year that has opened up a lot of doors for my personal projects.

    Undo
  2. 4 hours ago

    a nice thing about using dhall for this is that if I wanted to have cleaner views, I can filter on the list of projects to only display the ones I'd like, or look at different orderings based on status.

    Show this thread
    Undo
  3. 4 hours ago

    used dhall to throw together a simple personal dashboard for me to monitor all my projects :) inspired by a tweet by

    Show this thread
    Undo
  4. seven years ago Neil accepted my first ever PR and I was encouraged by his example to enter the world of open source software. Glad to see him out there still inspiring these next generations :)

    Undo
  5. Feb 1

    "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.

    Undo
  6. Usually for me it's just > are you programming? > ... what language is that? > ... say that again? > oh yeah Pascal I've heard of it

    Undo
  7. Feb 1

    Teaching reflection: After a student remarked that a group exercise felt like a waste of time, I realized that I should explicitly state value propositions. Conclusion: It's not enough to design curricula related to learning objectives. Better to articulate reasons for buy in.

    Show this thread
    Undo
  8. Jan 29

    Posted without comment

    Show this thread
    Undo
  9. Jan 30
    Undo
  10. How much space will Brexit free up in the European Union? 1 GB

    Undo
  11. Jan 30

    I remember getting into an argument with someone on reddit who said this was obvious. I was trying to say it was not obvious, and in the end they swore at me and called me condescending :'(

    Undo
  12. Jan 29

    once we do this, we can talk about maybe integrating categorical abstraction... or perhaps even an object layer.

    Undo
  13. Replying to

    Linus: when can we roll out Operation mkdir "It's no good. They check every time." Linus: (ノಠ益ಠ)ノ彡┻━┻ how do they knowww

    Undo
  14. Jan 28

    one of these days I'm going to find a top secret message this way. and then we'll see who's laughing.

    Undo
  15. Jan 27

    Once you have a guess, try testing it with these examples! > let (!x, y) = undefined in True > let (!x, y) = undefined in y > let (!x, y) = undefined in x

    Show this thread
    Undo
  16. Jan 27

    a little (ghc) evaluation quiz: let !(x,y) = k in z can be rewritten in terms of seq as let xy@(x,y) = k in xy `seq` z Now, can you do the same rewrite-bang-patterns-as-seq thing for: let (!x, y) = k in z ?

    Show this thread
    Undo
  17. Jan 26

    Add the publish date to your blog posts. Plz. Thank you.

    Show this thread
    Undo
  18. Jan 26

    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
    Undo
  19. Jan 24

    What do you imagine people who take photos of paintings in museums do with those photos?

    Show this thread
    Undo
  20. Jan 23

    Drew up a quick blog post about my motivations, neat findings, and underyling implementation thoughts while writing the library :)

    Show this thread
    Undo
  21. Jan 20

    We've put together an Awesome list of resources for the Cabal build tool 💫 Discover incredible tools and helpful guides all in one place! And help us to make it even more awesome💅 Share your amazing work if it's anyhow related to Cabal!

    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

    ·