Viewing profile — mekaj

The former may be a means of getting to the latter. I don’t anticipate it will be made illegal without widespread public awareness and disapproval.

By default I’m skeptical of hand-written parsers, especially if they’re implemented in a language lacking memory safety features. I have seen too many parsers fall victim to (domai…

There was an incident with similar consequences on April 10, 2014. The cause was a programmed threshold being breached and the impact was 6h of downtime. Source: "The Coming Softwa…

The whole series is great! I especially enjoyed _The Reasoned Schemer_ [0] which serves as an introduction to the *kanren languages [1]. [0] https://mitpress.mit.edu/books/reasoned…

I interpreted that option as Keybase needing a local copy of the PGP key. Thanks for helping me understand that's not the case. I've set up Keybase on my trusted machine with my GP…

Thank you and the Keybase team for this. Unlike other services, I think KB has solved the online identity authentication issue. There's one hurdle I need to work through to get goi…

Trivial, small example: the bug is the prover accepts all inputs.

Find your one true job

This is true and good to keep in mind, but it's also an inescapable risk of any network involving autonomous agents. We're also susceptible to downloading content that's different …

Can you fix the link for the theoretical CS? Currently links to the ML playlist. Edit: maybe you meant this one: https://www.youtube.com/playlist?list=PLgO7JBj821uHJM__IpdPT...

Depending on the application this may be a reasonable trade-off.

The non-profit Prison Policy Initiative does a lot of research on these issues and petitions the FCC for changes. This page summarizes a lot of their efforts ( http://www.prisonpol…

I haven't seen any statements from her, but you can see her body language following the remark (~42:53). Suddenly she stops walking, turns in his direction, her mouth opens wider, …

It was named after the protocol: https://github.com/letsencrypt/acme-spec

I wonder if more computer-aided proofs will lead mathematicians to discover serious conflicts in their ontologies. Critical parts of mathematics, and even the way we talk about it,…

I agree. Somebody from 1915 would already understand the paradigm shift brought by the industrial revolution. The notion of decomposing problems into small, specialized tasks and d…

Got me intrigued. Here's a link to Bilal's page on the project: http://wafaabilal.com/domestic-tension/

It's not always a mistake. Abstraction has a purpose. The key is using abstractions that are helpful. Some people find the concision of lambdas helpful, so it's not necessarily a m…