semi'joke, proofs Show more

semi'joke, proofs Show more

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)

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

terminology Show more

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

Five Hints for Modern #LaTeX Show more

IMU Committee for Women in Mathematics now has a newsletter

The first issue of the twice-yearly newsletter from the International Mathematical Union Committee for Women in Mathematics has been published. It contains an interview with Marie-Francoise Roy, news, upcoming events and a book announcement (World Women in Mathematics 2018). Download a copy of the CWM Newsletter here. https://aperiodical.com/2019/04/imu-committee-for-women-in-mathematics-now-has-a-newsletter/

Just found GeoCoq. I like the work they did here, very nice and in principle should be a great resource to draw on. http://geocoq.github.io/GeoCoq/

So far it seems difficult to find the llemas I need for things. They might be a bit overly general (even for a 2D Euclidean library). I'll need to see if it's something to get used to, or if I'll need to wrap it with some easier to utilize library. In either case, I'm excited someone else has translated Tarski to #Coq !

@amiloradovsky Or building on a richer background. (which is sort of the same thing).

I sometimes say that some proofs have a dead cat under the carpet - it doesn't matter where you push it, it's still a lump, and it still smells. However, if you can push it into work that was done earlier, it makes *this* proof much better.

Oh groovy, @blog now toots when we post!

I'm collecting terms for the sort of geometry I do at work: 2D CAD geometry on a stack of overlapping planes. So: 2D, Euclidean, classical, layer geometry, ... Anyone have other terms that would apply, even if only partially?

- 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