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.

rant

"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 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:

Mir Books: Little Mathematics Library – Recursion Sequences – Markushevich mirtitles.org/2019/05/28/littl

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

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

joke

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?

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.