rant Show more
A bunch of very vague and cumbersome hints, poorly connected with each other, of why something should be true; is subject to intense debates and opinions, and also is hard to find or get access to, despite being "known fact".
"It's proven" means nothing.
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 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
joke Show more
It's called "induction", because it induces fear and despair in those trying to prove something with it.
semi'joke, proofs Show more
Or there should be an exponential 🤔
The day will come, when I'll finally grasp the proof of #homotopy-invariance of (co)homology. But not today.
hot take, CT Show more
Category theory is encapsulation format.
terminology Show more
The phrase "formal sum" is a pseudo-simplified way of saying "map into an abelian group" or "arithmetic vector space / module over a set"; the condition of finite support (finite number of non-zero terms) is secondary.
Think of chains, graded abelian groups, or (closure of) tensor product.
Collab with my brother @robstacle (Instagram)
Check out his free font we used called Transcode: http://www.robinsinnaeve.com/fonts
#binarybros #b3d #cyclesrender #twopointeight #beta #digital #art #pattern #3D #CG #polytrash #decimation #geo #geometric #topology #round #cicrle #tunnel #vj #loop #perfectloop #broken #glitch #data #wire #wireframe #structure
hot take, mythology Show more
Tower of Babel was about higher-order/meta theories.
not really a mathematician
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
\) for inline LaTeX, and
\] for display mode.