Teaser of something in the works. Also, at that state of mind where I am (al)most certain that the more intricate the mathematics, the more delicate its visuals.

@oxidist It is made with @figma

If you enjoy philosophy ∩ biology, there are a bunch of cool books available as open access reads from Cambridge:

@oxidist As a mathematician does:

@Corca_math Having the modal for all decisions feels a bit distracting attention wise as it is both visually and cognitively heavy (many choices to make). Do you think there might be some cues you can borrow from Bret Victor's inline suggestions here?:

It has been a delight to see Andrewʼs persistent effort on Hazel coming along. This is the kind of🧃 interacting with computation needs!

This is a really interesting take on the explorable programming paradigm by @ncasenmare:

@analytichegel From another thread:

This was an interesting watch on how logical syntax/semantics and soundness/completeness can be understood from @AllAnglesMath: Those holes that cannot be reached from axioms made me think of cohomology throughout.

@Abelaer Ha, shows how much difference posting times matter (or may be titles)!

@JungleSilicon @this_is_silvia lol, Iʼd choose one on the diagonal rather than a syncretic one lol.

@JungleSilicon @this_is_silvia Oh no, I meant to notify of the format of interpolating between concepts to generate novel/strange ones.

For the curious, I have a long running thread on the idea here:

@Ngnghm @headinthebox @bblfish And as Uday Reddy notes here, the theoretical basis of imperative programming remains understudied and I think it has some sound cognitive grounding which is still under explored:

@elzr @ralphammer @interpretantion The latter one is curious because it examines the sufficient conditions for identity. Indiscernibility is deemed to be insufficient and a dialectic is conducted to discern the exact mode/scope under which we can distinguish the identicals and establish divergent interpretations.

@elzr @ralphammer @interpretantion A movement from here is to conduct a dialectic and then recognize the sufficient attributes to distinguish between two things and then establish that we have many different interpretations possible of the same concept.