homologies in informatics 

homologies in informatics 

Interesting. My daughter (11 years) haven't learned about the Pythagorean theorem yet, but they are essentially deriving it here. A good way to approach it, and much more effective than I recall it from when I learned it.


"The mind is not a vessel to be filled, but a fire to be kindled."
– Plutarch

Just discovered CryptPad via the FLOSS Weekly podcast. Basically, Google docs without privacy concerns.

CryptPad in their own words:

"CryptPad is a private-by-design alternative to popular office tools and cloud services. All the content stored on CryptPad is encrypted before being sent, which means nobody can access your data unless you give them the keys (not even us)."

It's also Free software.


Better still CryptPad is on the Fediverse:



#Logisim is a #logic #circuit #simulator.

Logisim allows you to simulate the interaction between binary logic gates. Simple example circuits like RS-NOR latches and decoder arrays can be created in moments. Complex computers, graphics cards, and more can be created in Logisim as well.

Website 🔗️: cburch.com/logisim/

apt 📦️: logisim

#free #opensource #foss #fossmendations

I heard something very interesting yesterday: People usually argue that constructive systems are weaker than classical systems because they can prove less formulas. However, one could also argue that this actually makes them stronger, as formulas with a constructive proof are "truer" than those without.

Of course that's the whole motivation behind constructive systems. However, I've never seen it related to the notion of "proving power" like this before.

position: -0.6515037686048653 + 0.3768454823639295i
pixel width: 2.4716548773379476e-09


semi'joke, proofs 

semi'joke, proofs 

Hi there,
Can't help noticing that I am having a hard time finding fediverse accounts about my domain. Any chance you know people talking about #AbstractInterpretation, #StaticAnalysis, #SymbolicExecution, #SMT solvers and #FormalMethods in general?

Thanks in advance!

Not that I have any immediate use for it, but the Muller C element is a pretty cool and nifty device. (it was new to me at least)

#entertainment #logic #circuits #asynchronous #electronics

These diagrams show the paths traced by Mercury, Venus, Mars, Jupiter and Saturn as seen from Earth.
Source : Fermat’s Library

Show more

A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.

Use \( and \) for inline LaTeX, and \[ and \] for display mode.