//
sign in
Profile
by @danabra.mov
Profile
by @dansshadow.bsky.social
Profile
by @jimpick.com
AviHandle
by @danabra.mov
AviHandle
by @dansshadow.bsky.social
AviHandle
by @katherine.computer
EventsList
by @katherine.computer
ProfileHeader
by @dansshadow.bsky.social
ProfileHeader
by @danabra.mov
ProfileMedia
by @danabra.mov
ProfilePlays
by @danabra.mov
ProfilePosts
by @danabra.mov
ProfilePosts
by @dansshadow.bsky.social
ProfileReplies
by @danabra.mov
Record
by @atsui.org
Skircle
by @danabra.mov
StreamPlacePlaylist
by @katherine.computer
+ new component
ProfilePosts
Loading...
Armenia detained mathematician Mikhail Verbitsky in Yerevan this week at Moscow's request — 11 years after he left Russia for a professorship in Brazil. Russia has classified him a terrorist. He faces up to 40 days in detention if Moscow files for extradition. meduza.io/en/news/2026...
3d
Russian mathematician Mikhail Verbitsky has been detained at the Yerevan airport, writer Roman Leibov and the independent Russian broadcaster TV Rain reported.
Armenia detains Russian mathematician at Moscow’s request — Meduza
meduza.io
Handwritten appendix?
I dont want to tex the proofs
Not having to annotate the type of every subexpression considered type inference