Forwarded from (φ (μ (λ)))
Ron Pressler
Why Writing Correct Software Is Hard
We try to understand the relationship between programs and correctness, and in particular, why writing correct programs must be hard. We will review results from computability theory and complexity theory, and see that programs and complete understanding…
Forwarded from (φ (μ (λ)))
SF: If nothing else, Lisp was carefully defined in terms of Lisp.
AK: Yes, that was the big revelation to me when I was in graduate school—when I finally understood that the half page of code on the bottom of page 13 of the Lisp 1.5 manual was Lisp in itself. These were “Maxwell’s Equations of Software!” This is the whole world of programming in a few lines that I can put my hand over.
I realized that anytime I want to know what I’m doing, I can just write down the kernel of this thing in a half page and it’s not going to lose any power. In fact, it’s going to gain power by being able to reenter itself much more readily than most systems done the other way can possibly do.
All of these ideas could be part of both software engineering and computer science, but I fear—as far as I can tell—that most undergraduate degrees in computer science these days are basically Java vocational training.
I’ve heard complaints from even mighty Stanford University with its illustrious faculty that basically the undergraduate computer science program is little more than Java certification.
Alan Kay in an Interview (2004)
AK: Yes, that was the big revelation to me when I was in graduate school—when I finally understood that the half page of code on the bottom of page 13 of the Lisp 1.5 manual was Lisp in itself. These were “Maxwell’s Equations of Software!” This is the whole world of programming in a few lines that I can put my hand over.
I realized that anytime I want to know what I’m doing, I can just write down the kernel of this thing in a half page and it’s not going to lose any power. In fact, it’s going to gain power by being able to reenter itself much more readily than most systems done the other way can possibly do.
All of these ideas could be part of both software engineering and computer science, but I fear—as far as I can tell—that most undergraduate degrees in computer science these days are basically Java vocational training.
I’ve heard complaints from even mighty Stanford University with its illustrious faculty that basically the undergraduate computer science program is little more than Java certification.
Alan Kay in an Interview (2004)
Forwarded from (φ (μ (λ)))
(φ (μ (λ)))
SF: If nothing else, Lisp was carefully defined in terms of Lisp. AK: Yes, that was the big revelation to me when I was in graduate school—when I finally understood that the half page of code on the bottom of page 13 of the Lisp 1.5 manual was Lisp in itself.…
This, by Michael Nielsen also is really useful when considering this perspective that Alan Kay is proposing here:
https://michaelnielsen.org/ddi/lisp-as-the-maxwells-equations-of-software/
https://michaelnielsen.org/ddi/lisp-as-the-maxwells-equations-of-software/
Forwarded from (φ (μ (λ)))
Forwarded from (φ (μ (λ)))
foldoc.org
FOLDOC - Computing Dictionary
The Free On-line Dictionary of Computing contains terms from computing such as acronyms, jargon, programming languages, tools, architecture, operating systems, networking, theory, conventions, standards, mathematics, telecoms, electronics, institutions, companies…
Forwarded from (φ (μ (λ)))
Forwarded from (φ (μ (λ)))
Raymond_M_Smullyan_To_Mock_a_Mockingbird_and_Other_Logic_Puzzles.pdf
4 MB
Raymond Smullyan, To Mock a Mockingbird (1985)
❤1
Forwarded from (φ (μ (λ)))
POL.pdf
744.4 KB
Charles H. Moore, Programming a Problem-Oriented Language (1970)
This media is not supported in your browser
VIEW IN TELEGRAM
Guns ain't only used for killin! Your papi was right when he said they're a tool not a weapon.
https://youtu.be/DOOAbkMxCyw
Love the even-more-on-the-nose Portal reference with the logo for V.A.N. haha
Love the even-more-on-the-nose Portal reference with the logo for V.A.N. haha
YouTube
BAD OMENS x POPPY - V.A.N (Official Visual)
BAD OMENS x Poppy // V.A.N // OUT NOW
Buy / Stream CONCRETE JUNGLE [THE OST]: https://sumerian.lnk.to/CONCRETE
Buy / Stream V.A.N.: https://sumerian.lnk.to/van
Shop CONCRETE JUNGLE comics: https://sumerian.lnk.to/concretevol1
Credits:
Concept by Noah Sebastian…
Buy / Stream CONCRETE JUNGLE [THE OST]: https://sumerian.lnk.to/CONCRETE
Buy / Stream V.A.N.: https://sumerian.lnk.to/van
Shop CONCRETE JUNGLE comics: https://sumerian.lnk.to/concretevol1
Credits:
Concept by Noah Sebastian…
https://youtu.be/iNM1HFzQC8c
Damn, looks fuckin SICK lol
Damn, looks fuckin SICK lol
YouTube
Starfield: Shattered Space - Official Trailer
Shattered Space is a new story expansion for Starfield, Bethesda Game Studios’ epic role-playing game and first new universe in more than twenty-five years.
A mysterious power stirs in the city of Dazra on House Va’ruun’s hidden homeworld. Investigate a…
A mysterious power stirs in the city of Dazra on House Va’ruun’s hidden homeworld. Investigate a…
Forwarded from (φ (μ (λ)))