xj9

46 ms·

421.
by xj9 11y ago
"Yes, but I don't want to."
422.
by xj9 11y ago
I would be extremely interested in looking at that!
423.
by xj9 11y ago
Do you think anything could be done to mitigate or fix that? I've only recently started digging into seL4 so I don't know if this is an unavoidable problem (in terms of proving correctness) or if it even needs to be solved in-kern
424.
by xj9 11y ago
This is my mantra.
425.
by xj9 11y ago
You can use clouds, just not public ones.
426.
by xj9 11y ago
What about seL4[1]? It isn't real-time, but it is small, performant, and formally verified. [1]: http://sel4.systems
427.
by xj9 11y ago
Could you link to that discussion? I'm very interested in the concept of federated identity and I would like to see where previous efforts have failed (and what they did well).
428.
seL4: Formal Verification of an OS Kernel [pdf](cse.unsw.edu.au)
3 points by xj9 11y ago|0 comments
429.
by xj9 11y ago
I would really like to see a type check package that you can run alongside your unit tests to verify type correctness. MyPy is nice, but I don't want to do type checks at runtime.
430.
by xj9 11y ago
I had an concept once for a decentralized reddit-like that used NNTP to distribute content and an inflationary cryptocurrency to store karma. The idea was that karma is only valuable while the thing that is generating it is relevant. If you
431.
Totally Model-Free Learned Skillful Coping (2004) [pdf](ieor.berkeley.edu)
28 points by xj9 11y ago|1 comments
432.
by xj9 11y ago
Yes, but it is much easier to do them responsibly if you have other rewarding activities to look forward to. I, for example, spent almost six months high a couple of years ago and loved it. I stopped because the hippies I was working for ra
433.
Totally Model-Free Learned Skillful Coping (2004) [pdf](ieor.berkeley.edu)
1 points by xj9 11y ago|0 comments
434.
Humans as Superorganisms(nymag.com)
7 points by xj9 11y ago|1 comments
435.
by xj9 11y ago
Responsibly throwing money at problems is exactly how you solve them. There are a lot of factors that we know of that contribute to continued poverty and cause suffering for those subject to it. This would include, among other things: 1. Un
436.
by xj9 11y ago
This is the mindset I work for. I have dreams of varying size and scope, but I only let myself chase the biggest and best of those. I want my life to positively affect my friends, my family, and humanity at large. The hardest part, in my ex
437.
by xj9 11y ago
Do you have any specific advice? I have a small turbodiesel whose life I'd like to maximize.
438.
by xj9 11y ago
"they should clarify if they own the servers or rent them to an US cloud company (Amazon / MS etc)." I think that was a grammatical question. As in, they don't rent to AWS or MS, but from them. (not that they actuall
439.
by xj9 11y ago
Teenagers should not smoke cannabis or consume alcohol, not because it is harmful to adults, but because it is harmful to them . Teenagers should not consume any kind of mind-altering substance because it fucks their their brain developmen
440.
by xj9 11y ago
Obamacare is not a social safety-net, it was a minor healthcare reform.
441.
by xj9 11y ago
Isn't it just ⌘+⇧+4?
442.
by xj9 11y ago
I don't have anything worth sharing at the moment, but this is something that I'm currently exploring. I'm not sure I'm entirely sold on POSIX (I'd much rather build a Plan 9 system), but I do see the value in inter
443.
Ronn – convert markdown files to manpages(rtomayko.github.io)
2 points by xj9 11y ago|0 comments
444.
by xj9 11y ago
Couldn't you build something like that on top of the REST API?
445.
by xj9 11y ago
A Docker container is like chroot, but portable. So yes. You can do docker exec -it $NAME /bin/bash to get a shell in a running container, or docker run --rm -it $NAME /bin/bash to get a shell in a new
446.
Type-Safe Microservices in Haskell(github.com)
5 points by xj9 11y ago|0 comments
447.
by xj9 11y ago
I think the issue is that you are conflating lines of code with complexity. I certainly think it is better to write short programs, but it is wrong to think that less LOC == better code. The most valuable kind of software IMO is the kind yo
448.
by xj9 11y ago
Sad but true
449.
by xj9 11y ago
Personally, I am a fan of p2p applications and doing things locally. Unfortunately, there are a lot of unsolved issues, especially when it comes to data storage, like you mentioned.
450.
by xj9 11y ago
Why not?

More ›