(φ (μ (λ))) – Telegram
(φ (μ (λ)))
1.05K subscribers
332 photos
16 videos
145 files
641 links
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
Download Telegram
On his honeymoon in 1961, Knuth discovered that the roads of mathematics and computer programs intersect. For, Jill was not only accompanied by her newly wed husband on their joint trip through Europe, but also by Noam Chomsky's book Syntactic Structures which Knuth was studying eagerly. Chomsky showed Knuth how mathematics and computing can be practiced together. One year later, Knuth met Bob Floyd who would teach him that you really could use mathematical reasoning to understand computer programs. The early sixties thus not only brought Jill and Don Knuth officially together, it also married mathematics and programming.

E.G Daylight, The Essential Knuth (2013)
👍1
The Feyerabend Project by Richard Gabriel

https://www.dreamsongs.com/Feyerabend/Feyerabend.html
Varities of REPLs

1. C
#include <stdio.h>

int main() {
char input[100];

while (fgets(input, sizeof(input), stdin)) {
printf("%s", input);
}

return 0;
}

2. Rust
use std::io::{self, Write};

fn main() {
let mut input = String::new();
while io::stdin().read_line(&mut input).unwrap() > 0 {
print!("{}", input);
input.clear();
}
}

3. (g)Forth
: repl
BEGIN
TIB DUP >IN !
0 WORD COUNT TYPE
AGAIN ;

4. Haskell
main :: IO ()
main = do
input <- getLine
putStrLn input
main

And, finally:

5. Lisp
(loop (print (eval (read))))
😁5❤‍🔥21
The problem is that coding isn’t fun if all you can do is call things out of a library, if you can’t write the library yourself. If the job of coding is just to be finding the right combination of parameters, that does fairly obvious things, then who’d want to go into that as a career?

Donald Knuth in an interview with Peter Seibel. Unfortunately, the answer Knuth would get today is: everybody.
1💯1
Douglas Hofstadter, Gödel, Escher, Bach: An Eternal Golden Braid (1979)
Forwarded from Symptoms
McKenzie Wark, A Hacker Manifesto (2009)
Steven Levy, Afterword to Hackers: Heroes of the Computer Revolution (2010)
1
: birthday 0 100 do ." Happy Birthday Chuck " cr next ;
birthday

Happy birthday Chuck, aka Charles H. Moore, the inventor of Forth and subsequently the concatenative programming paradigm, the threaded code model, and much more.
Forwarded from Mathematics Channel
Interactive Mathematical applets and animations

https://www.dynamicmath.xyz/

"A mathematical formula should never be 'owned' by anybody!"
Donald Knuth, Digital Typography, ch1, p. 8 (1999).


#site
Forwarded from Mathematics Channel
https://virtualmathmuseum.org/

3D-XplorMath is a freely available Mathematical Visualization program.

The group in charge of the 3D-XplorMath software development project and the related Virtual Mathematics Museum website project is the 3DXM Consortium, an international volunteer group of mathematicians.

#site #software
❤‍🔥21
Professional Composition in Lisp:

https://opusmodus.com/
(φ (μ (λ)))
Photo
The_Haskell_School_of_Music_From_Signals_to_Symphonies_Paul_Hudak.pdf
3.8 MB
Paul Hudak, Donya Quick, The Haskell School of Music: From Signals to Symphonies (2018)