Parnell Springmeyer

@digitalmentat

samsies

Austin, TX
ixmatus.net
Joined June 2014
14 Photos and videos Photos and videos

Tweets

You blocked @digitalmentat

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

  1. Retweeted
    Apr 28

    Version 1.22.0 of the Haskell implementation of Dhall is out: ☑ Standard version 7.0.0 ☑ Much faster normalization ☑ Language server builds for Linux/Windows ☑ --alpha α-normalizes output Full changelog:

    14 retweets 51 likes
    Undo
  2. Retweeted
    Apr 27

    Curious about TLA+ and model checking? Maybe a bit demotivated by the Eclipse-based IDE and pointy-clicky workflows? I've put together a template project for TLA+/PlusCal/TLC that you can use with any text editor and Make: No more PlusCal write-in-place!

    4 replies 51 retweets 179 likes
    Undo
  3. Apr 26

    After about two weeks of less than part-time reading effort I've already written two specs for work that revealed errors in reasoning about some invariants in a design and (surprise) a concurrency bug

    2 replies 3 retweets 12 likes
    Show this thread
    Show this thread
    Undo
  4. Apr 26

    I recommend picking up Practical TLA+ by if you're on the fence about learning TLA+. He writes in an approachable style and stays true to the book's title

    4 replies 13 retweets 54 likes
    Show this thread
    Show this thread
    Undo
  5. Retweeted
    Jan 4

    Please don't dance and cuss. It sets a bad example for the babies in our concentration camps.

    285 replies 19,707 retweets 87,788 likes
    Undo
  6. 26 Dec 2018

    The older I get the more my approach to the holidays change from, "ZOMG so much free time to fuck with Emacs and that OSS project of mine sitting on the shelf!" to: "Two naps today on the couch (with my snoring cat?) Yes, please."

    5 likes
    Undo
  7. Retweeted
    21 Dec 2018

    We found 95 new, undisclosed Trump appointees. Happy holidays.

    7 replies 235 retweets 231 likes
    Undo
  8. Retweeted
    18 Dec 2018

    🎉 Announcing Arion: fast local docker-compose via Nix. No need for images!

    2 replies 8 retweets 21 likes
    Show this thread
    Show this thread
    Undo
  9. Retweeted
    17 Dec 2018

    Check out the new website for the Dhall configuration language, which includes a live demo:

    5 replies 60 retweets 109 likes
    Undo
  10. 11 Nov 2018

    While writing a blog post about generating web pages in haskell from parsed org-mode it dawned on me that I can replace my personal hakyll-generated static site with a Dhall-generated site...I now realize how badly I want this...

    1 reply 5 likes
    Undo
  11. 11 Nov 2018

    It just occurred to me as I add Dhall instances to orgmode-parse that with enough language implementations of Dhall, Dhall could become a truly generic, language agnostic AST-format for specific document formats. Basically (and obviously?) a less sucky XML+XSLT, JSON+JSON Schema

    5 likes
    Undo
  12. Retweeted
    6 Nov 2018

    Border Patrol To Conduct ‘Crowd Control’ Exercise on Election Day They claim there's no connection to election day. It's just coincidentally in Beto O'Rourke's hometown, in a predominantly Hispanic neighborhood, less than 1/2 mile from a poll station.

    5 replies 14 retweets 21 likes
    Undo
  13. 22 Oct 2018

    1 reply 5 likes
    Undo
  14. 20 Oct 2018

    Just finished a double shift of block walking today for ! Good conversations and really positive energy! Go Beto!

    4 likes
    Undo
  15. Retweeted
    3 Oct 2018

    Our company () is still hiring: The PureScript position on our front-end is still open, along with several Scala positions for data science and data engineering

    1 reply 30 retweets 53 likes
    Undo
  16. Retweeted
    6 Sep 2018

    Here are the documents Corey Booker released that show Kavanaugh entertaining the use of racial profiling to combat terrorism after 9/11

    1 reply 22 retweets 27 likes
    Undo
  17. 2 Sep 2018

    is the best documentary (and only?) I have seen about Russian psychopolitical and disinformation warfare against many countries, notably the USA, with direct ties to Trump going back decades. Must watch:

    3 replies 35 retweets 67 likes
    Undo
  18. Retweeted
    27 Aug 2018

    The front-end team at is hiring for a mostly PureScript position. Remote is an option and we have a very friendly and professional work environment. I work on a different team at this company but I still welcome you to join and apply:

    4 replies 59 retweets 76 likes
    Undo
  19. Retweeted
    16 Aug 2018

    I wrote a post describing how to adapt NixOS to production deployment pipelines:

    2 replies 40 retweets 134 likes
    Undo
  20. Retweeted
    21 Aug 2018

    ‘I can think of nothing more American.’ — Beto O'Rourke — the man taking on Ted Cruz — brilliantly explains why NFL players kneeling during the anthem is not disrespectful

    Beto O'Rourke on NFL Players Kneeling During the National Anthem
    ‘I can think of nothing more American.’  — Beto O'Rourke — the man taking on Ted Cruz — brilliantly explains why NFL players kneeling during the anthem is not disrespectful
    10,426 replies 198,510 retweets 417,180 likes
    Show this thread
    Show this thread
    Undo

@digitalmentat hasn't Tweeted yet.

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

    ·