I had some thoughts and examples around why it's fun to do math in the biological sciences. It's a fun time and I wanted to share with people some good examples of interesting math in action

https://jrhawley.github.io/2019/10/03/exciting-math-in-biology

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.

- 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