770 karma · joined November 7, 2011
I agree with you that she will probably fail but I think that's more about this project moreso than whether this project hurts capital. remember, the true point of vulnerability of the system is the point at which wages are paid and profits are earned. labor must strike to starve capital because anything else can be recuperated and commidified.
lastly, yes, the intent of the law is to preserve existing capital, but as this board can attest, "existing capital" is a term constantly in flux, and laws change quickly to support the changing makeup of capital. otherwise, what has happened with uber would be impossible as governments fought to protect taxi companies - this happened but now uber no longer resides in a gray area. you'll note that what actually happened here was that finance capital extended it's reach and no new capital was actually created - it merely changed forms. that should also tell you how scihub might go from blacksheep of the bourgeois family to darling, especially once it's purchased and brought under the aegis of existing capital entities. however, for this to happen, Alexandra must play ball with investors, the legal system, etc., and as she has thus far resisted doing so, she will likely fail. projects like hers must either have secret and undiscoverable provenance, or be so distributed that legal force can only be brought to bear on a multitude of actors of no significance to the operation of the project - the hydra with many heads.
so it's not legal tenets I look to but rather an analysis of capital itself.
programmers, on the other hand, are wage laborers, individually selling their labor to employers who profit by paying them less.
industry is sitting on the opposite side of the equation here. I wonder what will replace "learn to code". whatever it is, the irony will be almost as rich as the businesses that profit from all this.
similarly, monads bear a strong resemblance to monoids - in fact, it's the same relationship as functions and functors and it's quite precise. these intuitions only become available to you with the math, though, and programmers have a strange aversion to mathematics for people who do it day in and day out.
ancient trans proverb
this is what emacs is and what makes everything else feel so poor by contrast.
from memory:
trait Prop<'a, T> {
fn p<F: Fn(&'a T) -> bool>(f: F) -> Self;
fn eval(&self, &'a T) -> bool;
}
enum LiftedBool<'a, T, F: Fn(&'a T) -> bool> {
Base(Box<F>),
And(LiftedBool<'a, T, F>, LiftedBool<'a, T, F>),
Or(LiftedBool<'a, T, F>, LiftedBool<'a, T, F>),
Not(LiftedBool<'a, T, F>),
}
impl<'a, T, F: Fn(&'a T) -> bool> Prop<'a, T> for LiftedBool<'a, T, F> {
fn p<F: Fn(&'a T) -> bool>(f: F) -> Self {
// this fails because `F` in the impl doesn't necessarily unify with `F` in the trait definition
// it can be made to work with `dyn` for the function argument but requires boilerplate to actually use
}
fn eval(&self, &'a T) -> bool {
// obvious evaluation by cases
}
}
this example can be fixed to work via `dyn` for the argument on the trait function and the struct itself but it becomes increasingly painful to actually work with. this kind of generic work is not at all ergonomic but very easy in Haskell.i don't mean to suggest Haskell is without flaws. but i do think you'll experience the paradigm shift as something concrete. there are almost no languages like it, after all.
but yeah, there's generally a problem with the UI/UX -- like as a consequence of the problem you're describing, you have to clear your current selection before scrolling to paste from the kill buffer. it's all foibles you learn about and adjust to but it makes the environment feel unpolished on a first impression.
spacemacs and doom have a better impression out of the box but there are just some core problems that they can't fix with a clever configuration. one that frustrates me regularly is auto-complete (company) triggering a network call that's bound to time out (because of user error) and the whole editor hanging for the duration because the completion call happened in the same thread as the UI. actually, the single threaded nature of most of emacs is probably my biggest complaint...
> accurate ratios between parameters, and matched pairs of components, and inaccurate - but long-term stable - parameters that can be calibrated out.
is much easier to follow at a glance.