متاح الآن! بحث تيليغرام 2025 — أهم رؤى العام 
(φ (μ (λ)))
الذهاب إلى القناة على 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 ساعات
+27 أيام
+930 أيام
جاري تحميل البيانات...
القنوات المماثلة
سحابة العلامات
الإشارات الواردة والصادرة
---
---
---
---
---
---
جذب المشتركين
يونيو '26
يونيو '26
+11
في 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 قنوات
| التاريخ | نمو المشتركين | الإشارات | القنوات | |
| 13 يونيو | 0 | |||
| 12 يونيو | +1 | |||
| 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 |
