babyloneleven

11 ms·

1.
by babyloneleven 7y ago
This app exists, it's called indrive
2.
by babyloneleven 7y ago
VSCode (and Atom) feels like an Emacs with Javascript instead of Lisp anyway
3.
by babyloneleven 7y ago
They make many useful websites unusable though. And when you whitelist you're then vulnerable, because there's no way to know some Javascript doesn't contain an exploit (do you run anti-virus on the web pages you visit?)
4.
by babyloneleven 7y ago
Also https://en.m.wikipedia.org/wiki/End-to-end_auditable_voting_...
5.
by babyloneleven 7y ago
There are crypto schemes that can solve those problems. Some work with paper ballots as well. https://en.m.wikipedia.org/wiki/ThreeBallot
6.
by babyloneleven 7y ago
Your examples are garbage logic because array overruns are so harmful that they should be hard errors. Of course, this requires a runtime cost, that can be elided in most cases by the compiler's optimizer. But even low level languages
7.
by babyloneleven 7y ago
How is Python non-Algol?
8.
by babyloneleven 7y ago
Sometimes it's not worth to optimize too farther from the current local optimum. UI designers have a "budget" for weirdness and unfamiliar conventions and must spend it wisely
9.
by babyloneleven 7y ago
Also, if you rely on a third party to do identification for you, you simply don't need a blockchain. Blockchain is heavily constrained by the vital requirement of not trusting any third party whatsoever. If you relax this, you can buil
10.
by babyloneleven 7y ago
In some sense it's the contrary.. the typeclass hierarchy has a lot of idealism that won't fly in Haskell's comparatively pragmatic Prelude (DivisionRing? Really?) They even backtracked their version of IO, that used row type
11.
by babyloneleven 7y ago
This is achieved merely by following the rules. But what are the most appropriate rules? It depends on the taste of the logician
12.
by babyloneleven 7y ago
I also grew up with racists and homophobes. Actually my mom is the most racist person I know. Should I be happy with it?
13.
by babyloneleven 7y ago
https://www.theguardian.com/technology/2014/jun/29/facebook-... is concerning
14.
by babyloneleven 7y ago
Survivorship bias. The ones that broke aren't around to compare.
15.
by babyloneleven 7y ago
The rayon crate has a global state: the entire program must use the same thread pool, even if different crates depend on different rayon versions. It uses a Cargo feature meant to be used by native libraries: you typically can link them onl
16.
by babyloneleven 7y ago
You are the site owner. The bouncer works for you. Your users didn't hire the bouncer and don't want to be tracked. Secretly, the bouncer may use this data for nefarious purposes. You can't control how the bouncer will use th
17.
by babyloneleven 7y ago
This is cruel. Someone that is donating should think about the welfare of the recipients. Otherwise it's just massaging one's own ego.
18.
by babyloneleven 7y ago
Typescript's type system is unsound by design. And it doesn't have the sophistication of Haskell. So it isn't that similar IMO
19.
by babyloneleven 7y ago
Well, it is if you are deaf.
20.
by babyloneleven 7y ago
I hope DO's CTO review your case too.
21.
by babyloneleven 7y ago
Rust has Redox (desktop focused) and TockOS (embedded). I happen to (wishfullly) think the next major OS will have capability-based permissions at the core level, a model a bit like Mobile permissions but composable. Good thing that Google&
22.
by babyloneleven 7y ago
There is no open source license like that.
23.
by babyloneleven 7y ago
Of course I trust China more. China never militarily supported a coup in my country.
24.
by babyloneleven 7y ago
Hey it's not senseless. Rust doesn't have subtyping (except for lifetimes), and specially not subtyping between a parent class and its child. This is on purpose. Subtyping is required for the usual class based OOP but greatly comp
25.
by babyloneleven 7y ago
Can you use views or other feature to tie together a table and its mapping table into a single view?
26.
by babyloneleven 7y ago
I'm not finding how to edit, but, it's called escape analysis
27.
by babyloneleven 7y ago
Compilers of managed languages already do this optimization when they can prove that a variable has a static lifetime. Look up scape analysis. The trouble is, this is hard to do for non-trivial code (and in the general case is uncomputable)
28.
by babyloneleven 7y ago
Waste heat can always be reused, but the problem is that the lower the temperature difference the lower the efficiency is, and what you don't extract to do useful work gets converted back to waste heat At some point it becomes uneconom
29.
by babyloneleven 7y ago
The set of all problems that can be solved by a Turing machine if there's an answer (possibly hanging if there's no answer) sits at the top of the complexity hierarchy (it's equivalent to the recursively enumerable languages)
30.
by babyloneleven 7y ago
It shouldn't be part of the Executive but its own branch, as independent as the judiciary

More ›