Calling all type nerds: my new job deals with a lot of encrypted data that shouldn't be transmitted in plaintext. We’ve just added sorbet to our rails project (gradual typechecker). I feel like I've read somewhere that it's possible to use types to enforce that kind of restriction. Does anyone have any experience using types for that (or links to talks/papers/blog posts)?
3 months ago
Does anyone know if there’s a way to contact Alan Kay directly (preferably by email)?I know he’s active on Quora, but there are caveats to that:
• It’s quite non-personal.
• It’s difficult to provide the context needed for a more substantial conversation.
◦ Also, the conversation must take place in the discussion under a specific answer to a specific question.
◦ Other people can interfere with the conversation.
• As per Alan Kay: “Quora is not the right-sized medium.”
Question: Where can I run a WebSocket server for free (hobby project)? Heroku is limited (doesn’t run the whole month and will soon kill free plans). Alternatives?
3 weeks ago
Not really sure where to ask this, but: Does anyone know what happened to Isomorph? Not too long ago I was thinking of building exactly this and was delighted that someone already had—only it's as if its very existence has been scrubbed from the internet.
3 weeks ago
Hi all! I'm looking for people that want to write guest posts for PLDB.com. If interested, email me email@example.com for more info.
link at the bottom of the page to submit your tweaks as a pull request. I'm trying to get the launch video (538 days in the making!) all ready to go (video producer has to deal with a family medical emergency so I can't bother her), and if someone could help me fix that HTML and make that page look nicer, that would be great!