Géométrie différentielle et Mécanique

https://www.monlivre.co/geometrie-differentielle-et-mecanique/

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:

Example of the watcher feature in Climaxima https://peertube.mastodon.host/videos/watch/b003360f-97a9-4f77-b474-e78d9bb687cb

Mir Books: Little Mathematics Library – Recursion Sequences – Markushevich https://mirtitles.org/2019/05/28/little-mathematics-library-recursion-sequences-markushevich/ #books #math #maths #mirbooks

#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 🔗️: http://www.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.

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.

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)

- Functional Café
- https://functional.cafe/@amiloradovsky

- Scholar.social
- https://scholar.social/@amiloradovsky

- License: CC BY-SA 4.0
- https://creativecommons.org/licenses/by-sa/4.0/

not really a mathematician

Joined Apr 2018