Latest posts
(φ (μ (λ)))
20 Sept, 13:29
Got stickers printed for IndiaFOSS!
(φ (μ (λ)))
17 Sept, 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 Sept, 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 Sept, 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 Sept, 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 Sept, 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 Sept, 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 Sept, 09:07
forwarded from @symptomaticjouissance
Jean Cavailles, On Logic and the Theory of Science (1942) [preface and foreword by Bachelard, Canguilhem & Ehresmann)(φ (μ (λ)))
6 Sept, 09:07
forwarded from @symptomaticjouissance
(φ (μ (λ)))
6 Sept, 09:07
forwarded from @symptomaticjouissance
https://en.wikipedia.org/wiki/Jean_Cavaill%C3%A8sWikipediaJean CavaillèsFrench philosopher and mathematician (1903–1944)(φ (μ (λ)))
4 Sept, 13:09
The 29th XMPP Summit is live!Join via the details below:https://wiki.xmpp.org/web/Conferences/Summit_29#Platform1,390Open in Telegram(φ (μ (λ)))
1 Sept, 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 Sept, 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 Aug, 16:19
forwarded from @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 Aug, 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 Aug, 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 Aug, 21:14
https://xkcd.com/2379/
(φ (μ (λ)))
24 Aug, 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 Aug, 16:44
https://www.monadicsheep.org/blog/an-introduction-to-canvas-in-emacs.htmlwww.monadicsheep.orgAn Introduction to Canvas in GNU Emacs(φ (μ (λ)))
23 Aug, 13:57
Jean-Yves Girard, Locus Solum (2001)
Related Channels
Other channels in the same section of the catalogue.
