mekaj

6 ms·

1.
by mekaj 7y ago
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.
2.
Quick Update on Spam and Unsavories on Keybase(keybase.io)
7 points by mekaj 7y ago|0 comments
3.
by mekaj 8y ago
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 (domain specific) fuzzing, and the consequences are serious securi
4.
by mekaj 8y ago
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 Software Apocalypse" published by The Atlantic ( https:&
5.
by mekaj 10y ago
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-schemer [1] http://minikan
6.
by mekaj 10y ago
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 GPG keypair, and now have a device key on that machi
7.
by mekaj 10y ago
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 going on chat. Thus far I've avoided uploading my pri
8.
by mekaj 10y ago
Trivial, small example: the bug is the prover accepts all inputs.
9.
by mekaj 10y ago
Find your one true job
10.
by mekaj 10y ago
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 than advertised (e.g. Rickrolling).
11.
by mekaj 10y ago
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...
12.
by mekaj 10y ago
Depending on the application this may be a reasonable trade-off.
13.
by mekaj 10y ago
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.prisonpolicy.org/phones/#price ). Their other pub
14.
by mekaj 10y ago
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, she stays frozen there for a brief moment, and then con
15.
by mekaj 11y ago
It was named after the protocol: https://github.com/letsencrypt/acme-spec
16.
The Movable Feast Machine(movablefeastmachine.org)
44 points by mekaj 11y ago|11 comments
17.
Top Secret: a game about the Snowden leaks(kickstarter.com)
1 points by mekaj 11y ago|0 comments
18.
Moonforth(moonforth.github.io)
123 points by mekaj 11y ago|2 comments
19.
Will Docker Replace Virtual Machines?(blog.xenproject.org)
2 points by mekaj 11y ago|2 comments
20.
by mekaj 11y ago
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, may eventually need to be reworked.
21.
by mekaj 11y ago
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 delegating to people and other resources was familiar. Consid
22.
by mekaj 11y ago
Got me intrigued. Here's a link to Bilal's page on the project: http://wafaabilal.com/domestic-tension/
23.
by mekaj 12y ago
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 mistake.