Houston, we hebben een serieus probleem

@zetalyrae Yeah we really need to go back to the days in which apps were all built from the same set of operating system widgets, where GUI was just a way of directly plugging in controls to your program, instead of a blank canvas you had to fight against

@owickstrom @GrantSlatton Yeah there are plenty of spatial symmetries to be explored, e.g. translating a sheet should result in the same results, same with reordering columns, etc.

a good litmus test for a law should be "am I willing to put someone in prison for (repeatedly) not complying with this law?"

You may not like it, but this is the optimal design to get through endless rounds of design approval and satisfy arbitrary and capricious city planning rules

@0xPaladin @penumbrazone Having to use the transparent address is a temporary workaround around a bug on Noble / Circle's end ; I expect the fix for that, allowing ephemeral addresses again, should land within a month on mainnet, I think.

@GrantSlatton You could also go further with the information asymmetry, like what if you could trade on information, with the game preventing lying (or perhaps enabling it)

@zkproofs My thinking is that this avoids the tedium of rewriting basic science grant applications again for the several possible entities that might fund it. You don't necessarily have to group all the funding in one pool.

Solow model but for the interchangeability of eating out and developing personal cooking skills

You can get a glimpse at being a human reading weird accounts by aliens of how they think human society works, often laughably inaccurate, by reading philosophy about a field you know well, e.g. software.

@effectfully @BeRewt @defnotbeka Semantically, should we define "Monad" to mean a lawful instance of one class, or a lawful instance of Functor, Applicative, and Monad, which are all coherent? I think that's the crux here

RT @OrphicCapital: the highest objective in ANY domain ought to be to develop embodied knowledge/expertise, but the problem is that no one…

@gcouprie So e.g. whereas now in limited cases compilers offer fixes for type errors, it would be easy to offer them in every case, with the result being automatically type checked

@gcouprie Yeah I don't see how this works long term without being able to create new abstraction. If everybody is writing the same boilerplate and thinking at a higher level, that's a sign something is missing. Also easier to translate language into high level semantics than to compile.

@effectfully @BeRewt @defnotbeka The point of the abstraction is that you can and should consider >> f to literally be defined as >>= (const f), with any deviation from that preserving the semantics

That said, I think things like this with diffuse costs and narrow benefits shouldn't exist yeah. W.r.t. carried interest, the silliness of the different classifications of income is inherent, so tax consumption.