Последние посты
(φ (μ (λ)))
20 сент., 13:29
Got stickers printed for IndiaFOSS!
(φ (μ (λ)))
17 сент., 19:48
https://mathstodon.xyz/@divyaranjan/117288095576991386MathstodonDivya Ranjan Pattanaik :hilbert: (@divyaranjan@mathstodon.xyz)The Scryer #Prolog Meetup 2026 takes place on Oct. 24th and 25th in Vienna, Austria. This will be a very international event, with researchers and practitioners from Austria, Belgium, Canada, China, France, Germany, Hungary, India, Japan, Thailand, the US…(φ (μ (λ)))
12 сент., 00:19
Finally Tao, realizing it late but at least he did:https://mathstodon.xyz/@tao/117253629967855195MathstodonTerence Tao (@tao@mathstodon.xyz)A group of 25 Fields Medalists, including myself, have made a joint declaration on Math and AI: https://mathandai.org/ . We welcome additional signatories (similar to the Leiden declaration), as can be seen on the page. See also this article in the Economist…(φ (μ (λ)))
9 сент., 17:30
https://mathstodon.xyz/@divyaranjan/117242265232894462MathstodonDivya Ranjan Pattanaik :hilbert: (@divyaranjan@mathstodon.xyz)Who else is going to be at #IndiaFoss 2026 Bangalore? It'd be nice to connect and catch up. Me and @badri@snipetteville.in would be managing the #XMPP booth with also @fbinin@mastodon.fbin.in representing #FDroid At the XMPP booth we'll be showcasing various…(φ (μ (λ)))
6 сент., 18:58
https://sabot.media/post/resistancesabot.mediaA Network Called "Resistance": An Interview with Autistici/InventatiA NETWORK CALLED RESISTANCE: AN INTERVIEW WITH AUTISTICI/INVENTATI Days after the United States designated the twenty-five-year-old Italian communications collective Autistici/Inventati under Executive Order 13224, A/I answered Sabot Media’s questions about…(φ (μ (λ)))
6 сент., 18:57
https://types.pl/@totbwf/117221456841729235types.plReed Mullanix (@totbwf@types.pl)@kevin@kbg.sh It is also a parasite on the communities that enabled the unreadable proof in the first place. The work that the community is doing on the FLT formalization is really valuable (CF the crystalline cohomology section of https://xenaproject.w…(φ (μ (λ)))
6 сент., 18:36
In solidarity with Autistici/Inventati whose email service I have uses for 3 years now. They are an example of how the Left must fight against the State and Capital! https://cavallette.noblogs.org/2026/08/10083/2(φ (μ (λ)))
6 сент., 09:07
переслано из @symptomaticjouissance
Jean Cavailles, On Logic and the Theory of Science (1942) [preface and foreword by Bachelard, Canguilhem & Ehresmann)(φ (μ (λ)))
6 сент., 09:07
переслано из @symptomaticjouissance
(φ (μ (λ)))
6 сент., 09:07
переслано из @symptomaticjouissance
https://en.wikipedia.org/wiki/Jean_Cavaill%C3%A8sWikipediaJean CavaillèsFrench philosopher and mathematician (1903–1944)(φ (μ (λ)))
4 сент., 13:09
The 29th XMPP Summit is live!Join via the details below:https://wiki.xmpp.org/web/Conferences/Summit_29#Platform1,390Открыть в Telegram(φ (μ (λ)))
1 сент., 20:57
https://youtu.be/Xf45HJWtvzEYouTubePondering PrologLet's address a few common questions about Prolog! Does Prolog need a static type system? Can I get a job with my Prolog skills? Why is Prolog so hard to learn? etc.(φ (μ (λ)))
1 сент., 15:01
https://lobste.rs/s/qn7jtv/i_attended_conference_recently_ai_use_byLobstersI attended a conference recently and AI use by academics was absurd66 comments(φ (μ (λ)))
31 авг., 16:19
переслано из @symptomaticjouissance
In solidarity with Autistici/Inventati whose email service I have uses for 3 years now. They are an example of how the Left must fight against the State and Capital!https://cavallette.noblogs.org/2026/08/10083/2cavallette[REPOST] The Server Called Paranoia: Defend Autistici/Inventati Before September 25Ripubblichiamo (in inglese) un bel post di Sabot Media che ripercorre la nostra storia e la collega a quanto sta avvenendo con la nostra iscrizione nella lista delle organizzazioni globali terroristiche da parte dell'amministrazione americana. Ringraziamo…(φ (μ (λ)))
27 авг., 06:31
Glad to see that there's one pure functional language that has an explicit Anti-LLM Policy: https://github.com/idris-lang/Idris2/blob/main/CONTRIBUTING.md(φ (μ (λ)))
26 авг., 11:11
Glad to see that there's one pure functional language that has an explicit Anti-LLM Policy:https://github.com/idris-lang/Idris2/blob/main/CONTRIBUTING.mdGitHubIdris2/CONTRIBUTING.md at main · idris-lang/Idris2A purely functional programming language with first class types - idris-lang/Idris2(φ (μ (λ)))
24 авг., 21:14
https://xkcd.com/2379/
(φ (μ (λ)))
24 авг., 21:03
https://gultsch.de/posts/25-years-of-digital-independence/Daniel GultschJabber/XMPP: 25 Years of Digital IndependenceInfrastructure “We should own our infrastructure.” A lot of people would instinctively nod in agreement with that statement. Yet who “we” refers to shifts depending on the type of infrastructure. Highways, railways, bridges, and ports require nation-scale…(φ (μ (λ)))
23 авг., 16:44
https://www.monadicsheep.org/blog/an-introduction-to-canvas-in-emacs.htmlwww.monadicsheep.orgAn Introduction to Canvas in GNU Emacs(φ (μ (λ)))
23 авг., 13:57
Jean-Yves Girard, Locus Solum (2001)
