I feel like the difficulty is this needs to have positive reinforcement or incentives, if you are not comfortable or it's unpleasant, you will avoid doing it a second time.
I've been using a magnetic pad (https://www.plus-vision.com/jp/product/kaite/) that works on the same principles of eink, except using magnets rather than electric fields. There's many variants available on aliexpress now. The only con is that stray magnets like on computers will wipe the pad if placed too close together.
I dunno about slide 39 - where calling f(x) may or may not give x a value. From a code readability standpoint, a reader of the codebase needs to be wary of every function.
I see the issue is that iff you explicitly marked it as inout, it would limit the code from a logic unification point of view. I guess this is already explored in prolog, which I have little experience with - but it feels like it would inherently limit the ability to scale a codebase to huge sizes. Maybe a combination of convention and naming would solve the problem.
Look at your kitchen sink. On that metal lives a billion bacteria cells. Maybe some of them are even sentient. Do you even care to find out? Not really - its far beneath you. Humans are infinitely inferior to a god. We are no different to a moving rock.
I agree that there might be a god, but why would such a god that can transcends time and logic.. care about humans? Humans are just a type of animal, an advanced organism, in biological terms we are not too different from bacteria, trees and sheep.
That there is a first element seems natural, however why should this first element to care about the 100010847238384392938474934th element?
If housing and other goods are really cheap that means it's very easy to achieve financial independence. Everybody would be able to retire. Then nobody would work anymore.
I think if we pushed housing prices down, goods and services prices would increase.
a real bottom up would start from transistors, universal xor, flip flop memory, code execution, algorithmic complexity, data structures, abstraction, recursion, graphs, concurrency, distributed system design.
I wonder if it's possible to implement this via WebRTC and javascript? This would make it compatible with everyone with a browser, without need to develop an application for every platform.
One stumbling block would be addressability without TURN.
There are at least two types of tolerance - for ideas (eg censorship), for people (eg racial conflict). I believe we should accept both sorts of intolerance but to a degree.
For ideas - remove ideas by banning / censorship, or add ideas by promoting 'better' ideas - this seems like a possible avenue to improving society's mental health. The main objection is whoever controls what to ban / allow is given a lot of power, so how do we decide these things.
For people - I think it's fine to be intolerant individually, however our institutions should not be intolerant. For example I can hire a cleaner for my house and refuse certain people. However it should not be possible for a company to refuse certain people as cleaners. I'm not sure how to formalize this into a law though.
Physical or mental violence because of intolerance of people and ideas are bad because I don't want violence on me. However I am not certain how to define mental violence.
I guess as long as profiles are talking heads it's fine since there's little consequence.
If you want to post offensive material to some people/governments you need to work hard to stay anonymous, like the reporter example where they recommend using a public eg library place to connect.
I have no doubt that shaming people with bad opinions will make them stop these opinions, at least in public. However I assume that you are the right person to judge 'bad' opinions?
If not you individually, maybe should select certain group of people to represent the people and create rules to enforce bad behavior is stopped?
Maybe we can call this body a government and call the rules laws.
the API is a very simple one where you slice parts off an initial Rect. the only feature it provides is that it tracks (x, y, h, w) for you.
it doesn't work well with intrinsic sizes - it's more of a top down, fixed size thing.