@maxgubi@mathstodon.xyz Mathematician.
Joined June 2019
- Tweets 655
- Following 255
- Followers 120
- Likes 885
82 Photos and videos
mgubi retweeted
Le Lecteur
Human Study #7, Interlude animation.
Three performative robotique installations, including one premiered
Aires Numerique , Avignon Festival, Le Grenier a Sel
11/07 -- 19/07
#FestivalAvignon #Festivaloff #Avignon
4
22
511
I wrore three articles to explain the typesetting mechanics of TeXmacs, from low level font and glyph selection, to the transition between document and boxes and typesetting primitives. @gnu_texmacs
texmacs.github.io/notes/docsโฆ
texmacs.github.io/notes/docsโฆ
texmacs.github.io/notes/docsโฆ
1
2
3
520
Qualche tempo fa ho scritto un piccolo libro. Una storia in forma di monologo. Ora รจ disponibile su lulu.com. #marella (btw, รจ stato impaginato con @gnu_texmacs)
lulu.com/shop/massimiliano-gโฆ
2
2
236
I've just posted a detailed account of the inner workings of @gnu_texmacs font handling, aimed at developers and advanced users. texmacs.github.io/notes/docsโฆ
3
6
1,423
A PhD position in my group in Oxford to work at the interface of stochastic analysis and Euclidean quantum field theory. Deadline Jan 6th 2025. Applicants with strong background in mathematical physics or stochastic analysis are welcome! #mathphys #qft
maths.ox.ac.uk/node/70098
2
3
428
mgubi retweeted
16 Dec 2024
We have just launched the new Lean reference manual, our core documentation intended as a comprehensive, precise description of Lean! #leanlang #leanprover
Check out the manual: lean-lang.org/doc/reference/โฆ
Read more about the release: lean-lang.org/blog/2024-12-1โฆ
26
107
5,785
mgubi retweeted
13 May 2024
notes/blog on Girard; logic/FP remains difficult
blog.vmchale.com/article/proโฆ
1
7
47
7,477
mgubi retweeted
21 Mar 2024
Jasmin Paris @JasminKParis began loop four at 32:27:50. #BM100
107
131
2,807
253,404
mgubi retweeted
21 Mar 2024
โIโm not able to learn mathematics easily, I have to work. It takes a very long time and I have a terrible memory. I forget things. So I try to work, despite these handicaps, and the way I worked was trying to understand really well the simple things.โ
newscientist.com/article/242โฆ
12
392
2,001
132,839
There is no "explanation" of mathematical facts, like of many other things. There is "interpretation" and "proof" and there are many of each for every fact. Part of the problem is related to making a "single story" instead of remaking the multiple paths which cross in a theorem.
3
420
mgubi retweeted
2 Jul 2023
Are you typing math like you were writing on a blackboard? no? sorry.
1
2
10
994
mgubi retweeted
18 Jun 2023
"Embracing change and resetting expectations"
By Terence Tao
unlocked.microsoft.com/ai-anโฆ
3
38
130
27,881
mgubi retweeted
10 Jun 2023
Fourier is to convolution what Legendre is to inf-convolution. en.wikipedia.org/wiki/Fourieโฆ en.wikipedia.org/wiki/Legendโฆ
7
240
1,397
203,082
mgubi retweeted
7 Jun 2023
The artist Justin Bateman makes portraits out of pebbles, Through the medium of land art, he constructs intricate mosaics
๐น Justin Bateman
x.com/blabla112345/status/16โฆ
372
8,265
62,442
5,193,935
mgubi retweeted
5 Jun 2023
A beautiful series of 14 seminars by outstanding speakers have been organised by @Smfn_Sapienza and @GSSI_LAQUILA to celebrate @giorgioparisi through his multifaceted contributions to theoretical physics.
All videos are now available on YT! Enjoy ๐
youtube.com/playlist?list=PLโฆ
18
36
3,564
mgubi retweeted
25 May 2023
Massimiliano Gubinelli from @UniofOxford gave the first colloquium talk of the recently founded Center for #MathematicalPhysics in Leipzig.
Find out more about the vision and the people behind this initiative of MiS and @UniLeipzig .
๐cmp-leipzig.de
3
6
1,247