• g

    Garth Goldwater

    1 month ago
    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)?
    g
    Mariano Guerra
    +2
    24 replies
    Copy to Clipboard
  • j

    Jan Ruzicka

    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.”
    j
    Chris Knott
    +4
    8 replies
    Copy to Clipboard
  • Florian Schulz

    Florian Schulz

    3 weeks ago
    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?
    Florian Schulz
    j
    +2
    10 replies
    Copy to Clipboard
  • j

    Jonathan Arnett

    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.
    j
    1 replies
    Copy to Clipboard
  • Breck Yunits

    Breck Yunits

    3 weeks ago
    Hi all! I'm looking for people that want to write guest posts for PLDB.com. If interested, email me breck@pldb.com for more info.
  • j

    jamii

    3 weeks ago
    I'm organizing a coding jam: https://www.hytradboi.com/jam The theme is the same as the hytradboi conference:
    Turning a data-centric lens onto familiar problems to yield strange new solutions (and maybe exciting new problems).
    j
    Nick Smith
    3 replies
    Copy to Clipboard
  • j

    Jan Ruzicka

    3 weeks ago
    Does someone know if a recording of https://computerhistory.org/events/making-smalltalk/ was made?
  • g

    guitarvydas

    3 weeks ago

    https://www.youtube.com/watch?v=3_bJyXfjztA

    g
    1 replies
    Copy to Clipboard
  • i

    Ivan Reese

    2 weeks ago
    [moved from #thinking-together, original post by @Breck Yunits] Really simple ask: Does anyone have experience with the
    <video>
    HTML tag? If so, could you take a glance at this page, and see if you can come up with some tweaks to make it look better (https://pldb.com/posts/buildPublicDomain.html). You can click the
    View Source
    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!
    i
    b
    +1
    11 replies
    Copy to Clipboard