Jay Pratt

icon indicating a website link https://cypher1.github.io icon indicating an email [email protected]

icon company @skfltech icon location Sydney icon location Software engineer with an interest in programming language design and formal methods. I love my dog Peanut, Rust, VS Code, Sushi and, most of all, my partner.

Results 82 comments of Jay Pratt

ecstatic's Past, Present and Future

@jfhbrook Thank you for your years of service. Your work has helped me multiple times, both in my personal and professional life.

GHC 8.2.1 support

Also having trouble with ghc-8.2.2. Fresh install of haskell-stack (via brew) fails to `stack install ghc-mod` With error here: https://pastebin.com/YS2GUt6n Including the line: ` ghc-8.2.2 from stack configuration does not...

Adding Dark mode

This is actually pretty important for me as my firefox theme has a dark background and I can't read the markdown render (as the text is black). Please fix this!

Mercurial: use prompt exptension if available

I've been trying to work out what has been breaking my prompt (ridiculously slow for me) thanks for the heads up. Any chance this might be done anytime soon?

Switch session by left/right swipe

@asavonic Any chance the swipe fix could be implemented? Even just having a fling to change session would be a huge usability improvement for me.

Souffle `explain` is unimplemented for ADTs.

Hey @b-scholz, I'm Jay (J for short) and I work with @markww . I'm having a look into this at the moment (scoping upcoming work in Raksha) and would love...

Souffle `explain` is unimplemented for ADTs.

Thank you!