l'empathie mécanique @dpwiz@qoto.org

> Ask lots of people to help you improve your proposal. Give it to your colleagues, your friends, your spouse, your dog, and listen to what they say. If they misunderstand what you were trying to say, don’t say “you misunderstood me”; instead rewrite it so it can’t be misunderstood. If they don’t immediately see the value of what you want to achieve, rewrite it until they do.

https://simon.peytonjones.org/great-grant-proposal/

@excellion@bitcoinhackers.org How do you power the thing? How do you prevent instant vaporization of anything exhaust-side?

@Shoehead My heartbeat certainly wouldn't be so steady seeing this

@waltercool @Wearenotcattle well, unplanned pregnancy is one of the things leading into being poor. And (I think) pills are cheap enough so you can give them indiscriminately, without any procedure whatsoever, rape or no rape. I expect them to be cheaper than having to deal with adding more people to the poor (and crime, and waves of nasty stuff that's coming with it).

@waltercool @Wearenotcattle using taxes to fix mistakes can be okay if it is cheaper than dealing with consequences of not fixing them.

State: Nah, wouldn't buy you a pill, I'd better pay to raise the kid in an orphanage.

In some cases the govt should even commit to fixing mistakes right away and even pay for that.

This, of course, has consequences too and will generate an incentive structure.

@waltercool @Wearenotcattle what about post-rape abortions?

@Gargron native for Fediverse, BazQux for twitters.

@graf I do. It's just a rare occasion I took a glance directly.

No, FFS

@amiloradovsky @alcinnz The HTTP is fine, the ~people~ web is fucked.

@amiloradovsky @alcinnz Gemini by default.

@boilingsteam It's BTW/Arch

@boilingsteam > The RAM usage in Unity7 is slightly lower now, while the RAM usage has been reduced substantially to about 700-800 MBs in Ubuntu Unity 22.04.

OMG. But now I wonder how much memory is hogged by the others.

Types are propositions/theorems in some logic that's paired with your language and values are proofs. I.e. a valid value X of type T is a proof that T is decidable and "true".

Computation is merely simplifying a proof.

Depending on a set of typing rules it is sometimes possible to produce different "correct by construction" values that wouldn't fuck you up. That's decidability.

The fancier your language is, the easier it is to present a value that's undecidable, uncomputable or otherwise FUBARd.

Propositions can be insidious when you try to convert between formal and informal intent. Consider what the stupidest value can satisfy your type while not doing any of the intended work (e.g. always returning empty list for "sort" function).

You need more fancier types to pin down exact details like "no, an empty list wouldn't fly, do the actual sorting, you ass".

Type inference is an epic win for programming. The fancier the types, the more difficult is inference.

Value inference (AKA proof search) is possible sometimes and is magic.

Those are basically the same with dependent typing. And it has its costs.

As they say, "a good type has half the value". This cuts both ways.

Extraordinary times call for extraordinary effort.
Most times are ordinary. Make an ordinary effort.

https://thezvi.wordpress.com/2017/09/30/slack/

Woke up with a strong urge to implement PID controller demo, with a touch of bezier.