demo-lition expert

@sdemos
10 Followers
23 Following
23 Posts
Sentient coq proof, exported into haskell and served from a kubernetes cluster on the island of misfit pods.
@jquinby @dgonyeo is working on one. If I spread the word maybe it'll be more likely he finishes it :)
@dgonyeo all you have to do is fly back and I'll go to any restaurant you want. It's so simple.

Instead of taking the worlds easiest online quiz for intro to film, I ended up playing minesweeper online for literal hours.

I'm not convinced that was actually a problem.

@dgonyeo this is far and away the best thing you've ever tooted
@dgonyeo that's a sentiment I can get behind
@dgonyeo either way it seems like something you should be able to do from a phone app as easily as you do from a browser, or at least would I hope that's true
@dgonyeo oauth is terrifying. It seems like there should be a way to do it that's impossible to screw up, since its so important, but everytime I try I feel like I might not make the right function calls in the right order and there will be some glaring vulnerability.

@dgonyeo yeah, having a tootctl would be a good way to test out the logic of your client before you dive into the hellworld that is ncurses would probably be a good idea.

Although it does seem like haskell has pretty alright tui support

@dgonyeo I would use it.