(φ (μ (λ)))
Open in Telegram
www.phimulambda.org https://tv.dyne.org/c/phimulambda Uncovering underlying intersections between philosophy (φ), mathematics (μ) and logic (λ). Other embeddings include: - Computing - Cognitive Science - Linguistics - Statistics
Show more1 291
Subscribers
-124 hours
+17 days
-130 days
Loading data
Similar Channels
Tags Cloud
Incoming and Outgoing Mentions
---
---
---
---
---
---
Attracting Subscribers
October '26Oct '26
October '26
+85
in 2 channels
September '260
in 5 channels
Get PRO
August '260
in 1 channels
Get PRO
July '26
+24
in 0 channels
Get PRO
June '26
+34
in 0 channels
Get PRO
May '26
+34
in 0 channels
Get PRO
April '26
+42
in 4 channels
Get PRO
March '26
+50
in 5 channels
Get PRO
February '26
+96
in 12 channels
Get PRO
January '26
+25
in 2 channels
Get PRO
December '25
+49
in 5 channels
Get PRO
November '25
+46
in 0 channels
Get PRO
October '25
+66
in 0 channels
Get PRO
September '25
+52
in 2 channels
Get PRO
August '25
+68
in 2 channels
Get PRO
July '25
+126
in 2 channels
Get PRO
June '25
+127
in 6 channels
Get PRO
May '25
+103
in 6 channels
Get PRO
April '25
+41
in 2 channels
Get PRO
March '25
+60
in 3 channels
Get PRO
February '25
+94
in 5 channels
Get PRO
January '25
+80
in 4 channels
Get PRO
December '24
+83
in 3 channels
Get PRO
November '24
+108
in 6 channels
Get PRO
October '24
+51
in 1 channels
Get PRO
September '24
+43
in 3 channels
Get PRO
August '24
+74
in 3 channels
Get PRO
July '240
in 5 channels
Get PRO
June '24
+59
in 6 channels
| Date | Subscriber Growth | Mentions | Channels | |
| 25 October | 0 | |||
| 24 October | 0 | |||
| 23 October | +3 | |||
| 22 October | +1 | |||
| 21 October | +1 | |||
| 20 October | +3 | |||
| 19 October | 0 | |||
| 18 October | 0 | |||
| 17 October | +1 | |||
| 16 October | +1 | |||
| 15 October | 0 | |||
| 14 October | 0 |
Channel Posts
AI is really good at automating our worst tendencies. It amplifies the unspoken cultural practices no one likes, but no individual can reasonably deviate from. It exploits the mechanized traditions recalcitrant to collective action. In that vein, AI can now write useless theory papers. But perhaps in the absurdity of the distasteful OpenAI trash dump of proofs, we can all look up and realize together that we should consider doing something else.https://www.argmin.net/p/faster-fourier-transforms
| 2 | https://fosstodon.org/@yantar92/117455665960316186 | 319 |
| 3 | https://lists.gnu.org/archive/html/guix-devel/2026-10/msg00112.html | 376 |
| 4 | https://www.youtube.com/watch?v=tHh9zjNazz4 | 350 |
| 5 | Thanks to LLMs, my Emacs Package renaming is apparently a sensational news:
https://freenode.net/article/emacs-reader-submitted-to-elpa-naming-fight-follows | 346 |
| 6 | https://www.equator.org/articles/arundhati-roy-artificial-intelligence | 434 |
| 7 | https://www.youtube.com/watch?v=aEJE5IimvyM | 646 |
| 8 | Written by our own, Sergio:
https://guix.gnu.org/en/blog/2026/extending-guix/ | 594 |
| 9 | https://mathstodon.xyz/@divyaranjan/117396268489535426 | 640 |
| 10 | Cropper & Muggleton, Learning Higher-Order Logic Programs Through Abstraction and Invention (2016) | 758 |
| 11 | Morel, Cropper & Ong, Typed meta-interpretive learning of logic programs (2019) | 693 |
| 12 | So thanks to the US, my divya@subvertising.org email is gone. My new email is at:
divya@dialetheia.xyz
(A kind friend is hosting this on his mail server) | 774 |
| 13 |  https://arxiv.org/abs/2609.24779 | 991 |
| 14 | https://mathstodon.xyz/@highergeometer/117323453342622319 | 928 |
| 15 | And to what end? In a kind of nihilistic symmetry, their dream of the perfect slave machine drains the life of those who use it as well as those who turn the gears. What is life but what we choose, who we know, what we experience? Incoherent empty men want to sell me the chance to stop reading and writing and thinking, to stop caring for my kids or talking to my parents, to stop choosing what I do or knowing why I do it. Blissful ignorance and total isolation, warm in the womb of the algorithm, nourished by hungry machines.
https://anthonymoser.github.io/writing/ai/haterdom/2025/08/26/i-am-an-ai-hater.html | 809 |
| 16 |  No text... | 2 269 |
| 17 | Saw something written by the amazing Haskeller Alexis King after a long time!
https://blog.haskell.org/foldl-and-foldr/ | 698 |
| 18 | The catalogue for XMPP that I made in a rush a few hours before the conference. | 664 |
| 19 |  +2No text... | 779 |
| 20 |  +1No text... | 615 |
