bbwbsb

10 ms·

31.
by bbwbsb 3y ago
Since we are on the topic, I've thought about APLs a decent amount so here are some other resources/notes. I'm not an expert on this topic - I don't work with or research the language or anything. These probably are not
32.
by bbwbsb 3y ago
There is a harm which is that information asymmetry is power asymmetry. Someone having better data on you than you have on them grants them a better bargaining position. But it's not about material harm, it's about boundaries. And
33.
by bbwbsb 3y ago
Dependently typed languages can still develop a degree of biformity via 'tactic' languages. In Coq, for example, you have Gallina and Ltac, which are basically separate languages. This occurs because even with an elegant theorem p
34.
by bbwbsb 3y ago
Well if that is the metric, then reasoning has long been solved: GNU Prolog 1.5.0 (64 bits) Compiled Jul 8 2021, 09:35:47 with gcc Copyright (C) 1999-2022 Daniel Diaz | ?- [user]. compiling user for byte code... blub <&
35.
by bbwbsb 3y ago
Reading what you wrote, I'm concerned that you may be suggesting that all disclosures of negative emotions to strangers are verboten. I worry, because my spouse had a rough upbringing and it's taken a lot for her to feel comfortab
36.
by bbwbsb 3y ago
Ah, that's an interesting perspective. I'll postulate a core goal, with regards specifically to optimal abstraction/inlining, involves ensuring the functional dependencies mirrors the readers internal conceptual representatio
37.
by bbwbsb 3y ago
I think the ideal here, though I haven't seen it in actual production code - it may not be feasible/ergonomic yet - is to use a sufficiently capable type system and property-based testing so that it is possible to read from those
38.
by bbwbsb 3y ago
If individual effort doesn't produce commensurate rewards people learn to minimize effort instead of maximize reward, though individual variation will exist. Isolated laziness is an individual foible, but wide-spread laziness is a mark
39.
by bbwbsb 3y ago
The documentation says: "Polycentric provides an alternative to traditional social media platforms by utilizing self-sovereign identities in a distributed censorship-resistant network." The privacy policy says: "FUTO will del
40.
by bbwbsb 3y ago
Some moderators have public personas which are valuable to a community, have built up trust, have specific hard to find skills, contribute valuable content, etc. If a moderator (or set of moderators) are able and willing to move a community
41.
by bbwbsb 3y ago
The credibility of a disclosure is not merely a function of the disclosing entity. The average forum skeptic 'trusts' the CIA more in that they believe they have a better grasp of the CIA's situation/incentives/etc.
42.
by bbwbsb 3y ago
This is interesting, thanks for the links. It seems like the dimensions of fairness and group classifications are often cribbed from the United States Protected Classes list in practice with a few culturally prescribed additions. What can b
43.
by bbwbsb 3y ago
A big difficulty is the conflation of fact with judgement. 'Vaccines work', 'masks don't work', 'a lab leak is impossible', etc. are judgements, not facts. They are not even hypotheses, in that there is no
44.
by bbwbsb 3y ago
I consider declarative and procedural to be readings of a program (i.e, a subjective property). A more interesting property is amenability to formal reasoning, which is what is really wanted. A distinction from functional programming can be
45.
by bbwbsb 3y ago
I agree narrative (and contextual) elements are critical to aesthetic enjoyment. It can be nigh-impossible to effectively judge a work of art purely on technical merit, as people desire and expect it has 'something to say' - a pra
46.
by bbwbsb 3y ago
These platforms do not want creators qua creators, they want creators as unpaid content producers, dependent on them to such a degree they cannot function as a creator otherwise, so that they may exploit the traditionally sacred relationshi
47.
by bbwbsb 4y ago
It's a bit more verbose, but I would recommend as a base framework (using Nonviolent Communication as reference): "When you X, I felt Y, because I wanted/needed Z". A few points. The first is that Y should not be somethi
48.
by bbwbsb 4y ago
The examples in the article are not what therapists recommend (or should be recommending, at least). First, not every relationship has to work. Sometimes people are just incompatible. Even family and long time friends. A boundary doesn&#x27
49.
by bbwbsb 4y ago
I concede that the subjective perception of consciousness is a thing, is a thing that I perceive, and that philosophy related to it is socially valuable work. I concede that there is no obviously correct choice of axioms for mathematics or
50.
by bbwbsb 4y ago
There are types without values. That the type is itself a value does not mean that it has values itself. False is a type with no values. Consciousness is not a value. Replace type with concept and value with thing, and we get a rebuttal usi
51.
by bbwbsb 4y ago
I'm torn because on one hand, having been intimately acquainted with a trans person who suffered greatly, and having heard from them what their internal voice told them in duress (e.g., that they were "actually delusional", &
52.
by bbwbsb 4y ago
I consider Artificial Intelligence to be an oxymoron, a sketch of the argument goes like this: An entity is intelligent in so far as it produces outputs from inputs in a manner that in not entirely understood by the observer and appears to
53.
by bbwbsb 4y ago
While this holds for individual employment[1], there is the WARN act[2] for mass layoffs, which requires advance notice if certain conditions are met. However, my experience is that companies will do whatever they can to avoid triggering it