现已上线！2025 年 Telegram 研究 — 年度关键洞察 
(φ (μ (λ)))
前往频道在 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 @DivyaRanjan1905
显示更多1 191
订阅者
-124 小时
+47 天
+1130 天
数据加载中...
相似频道
标签云
进出提及
---
---
---
---
---
---
吸引订阅者
六月 '26
六月 '26
+10
在0个频道中
五月 '26
+34
在0个频道中
Get PRO
四月 '26
+42
在4个频道中
Get PRO
三月 '26
+50
在5个频道中
Get PRO
二月 '26
+96
在11个频道中
Get PRO
一月 '26
+25
在1个频道中
Get PRO
十二月 '25
+49
在4个频道中
Get PRO
十一月 '25
+46
在0个频道中
Get PRO
十月 '25
+66
在0个频道中
Get PRO
九月 '25
+52
在2个频道中
Get PRO
八月 '25
+68
在2个频道中
Get PRO
七月 '25
+126
在2个频道中
Get PRO
六月 '25
+127
在6个频道中
Get PRO
五月 '25
+103
在6个频道中
Get PRO
四月 '25
+41
在2个频道中
Get PRO
三月 '25
+60
在3个频道中
Get PRO
二月 '25
+94
在5个频道中
Get PRO
一月 '25
+80
在4个频道中
Get PRO
十二月 '24
+83
在3个频道中
Get PRO
十一月 '24
+108
在6个频道中
Get PRO
十月 '24
+51
在1个频道中
Get PRO
九月 '24
+43
在3个频道中
Get PRO
八月 '24
+74
在3个频道中
Get PRO
七月 '240
在5个频道中
Get PRO
六月 '24
+59
在6个频道中
| 日期 | 订阅者增长 | 提及 | 频道 | |
| 12 六月 | 0 | |||
| 11 六月 | 0 | |||
| 10 六月 | +1 | |||
| 09 六月 | +1 | |||
| 08 六月 | +2 | |||
| 07 六月 | 0 | |||
| 06 六月 | 0 | |||
| 05 六月 | +4 | |||
| 04 六月 | 0 | |||
| 03 六月 | +1 | |||
| 02 六月 | 0 | |||
| 01 六月 | +1 |
频道帖子
| 2 | https://discourse.ubuntu.com/t/an-update-on-rust-coreutils/80773
https://www.phoronix.com/news/Ubuntu-Rust-Coreutils-Audit | 0 |
| 3 | One of the 44 CVEs in the Rust rewrite of coreutils. It blatantly uses .expect().
https://www.cve.org/CVERecord?id=CVE-2026-35348 | 0 |
| 4 | In its semantic structure Scheme is as closely akin to Algol 60 as to early Lisps. Algol 60, never to be an active language again, lives on in the genes of Scheme and Pascal. It would be difficult to find two languages that are communicating coin of two more different cultures than those gathered around these two languages. Pascal is for building pyramids—imposing, breathtaking, static structures built by armies pushing heavy blocks into place. Lisp is for building organisms—imposing, breathtaking, dynamic structures built by squads fitting fluctuating myriads of simpler organisms into place. The organizing principles used are the same in both cases, except for one extraordinary difference: the discretionary exportable functionality entrusted to the individual Lisp programmer is more than an order of magnitude greater than that to be found within Pascal enterprises. Lisp programs inflate libraries with functions whose utility transcends the application that produced them. [...] As a result the pyramid must stand unchanged for a millennium; the organism must evolve or perish.
Alan Perlis, Foreword to Structure and Interpretation of Computer Programs | 0 |
| 5 | Our traffic with the subject matter of this book involves us with tree foci of phenomena: the human mind, collections of computer programs, and the computer. Every computer is a model, hatched in the mind, of a real or mental process. These processes, arising from human experience and thought, are huge in number, intricate in detail, and at any time only partially understood. They are modeled to our permanent satisfaction rarely by our computer programs. Thus even though our programs are carefully handcrafted discrete collections of symbols, mosaics of interlocking functions, they continually evolve: we change them as our perception of the model deepens, enlarges, generalizes until the model ultimately attains a metastable place within still another model with which we struggle. The source of the exhilaration associated with computer programming is the continual unfolding within the mind and on the computer of mechanisms expressed as programs and the explosion of perception they generate. If art interprets our dreams, the computer executes them in the guise of programs!
Alan Perlis, Foreword to Structure and Interpretation of Computer Programs | 0 |
| 6 | My position on the discussion (I extensively quoted SICP): | 0 |
| 7 | After a few discussions with rms (Richard Stallman), I have been said that the FSF would love to collaborating with lawyers who can help them in fleshing out their AI/LLM policy. If anybody here works or knows someone who works in law and believes in free/libre software, please reach out to me. I will connect you with rms and Krzysztof who leads the FSF Licensing & Copyright Compliance team.
We really need to collaborate on this as an united front before more of our free software gets affected by it. | 0 |
| 8 | https://tante.cc/2026/04/21/ai-as-a-fascist-artifact/ | 0 |
| 9 | https://github.com/palincat/gama | 0 |
| 10 |  After second systeming the assembler from the linked reply, I set out to implement a Forth for RISC-V with it. In particular, I targeted the Qemu "Virt" machine, which is an abstract idealized RISC-V machine that supports the OpenSBI interface, which in itself is like a BIOS but for RISC-V.
In about 4 days I managed to implement the most basic Forth functionalities. Now I can implement the fancier abstractions from the REPL. In the screenshot, you see me implement a "while loop" equivalent by using the low-level branching constructs.
This is a testament to the simplicity of Forth. By implementing the simplest primitives, you can breath life into whatever machine you are using. You can have these high-level-esque abstractions while still being able to interact with the machine at the lowest level, all the while maintaining very low cognitive load due to how very few components there are to the system you are using.
If you want to look at the code: https://codeberg.org/ntn/rva | 0 |
| 11 | Ichbiah, Barnes, et.al, Rationale for the Design of the Ada Programming Language (1986) | 0 |
| 12 |  没有文字... | 0 |
| 13 | https://podcasts.ox.ac.uk/byron-ada-programming-language | 0 |
| 14 | Michael Feldman & Elliot Koffman, Ada 95: Problem Solving and Program Design (1999) | 0 |
| 15 |  没有文字... | 0 |
| 16 | Recording:
https://tv.dyne.org/w/h4UPDWPd97oAFJ4S411b4R | 0 |
| 17 |  Niklaus Wirth on the pessimism of modern computing.
Talk at Google (2009) | 0 |
| 18 |  Novalis, Freiberg Natural Scientific Studies (1789) | 0 |
| 19 | https://fediscience.org/@jameshowell/116309452763757936 | 0 |
| 20 | The Future of Everything is Lies, I Guess
https://aphyr.com/data/posts/411/the-future-of-everything-is-lies.pdf | 0 |
