Home Page - Metamathhttps://us.metamath.org/
logic. New Foundations Explorer - Constructs mathematics from scratch, starting from Quine's NF set theory axioms. Higher-Order Logic Explorer - Starts with HOL (also called simpl
The Early History Of Smalltalkhttps://worrydream.com/EarlyHistoryOfSmalltalk/
flaws in its logical foundations. By this, I mean that the pure language was supposed to be based on functions, but its most important components—such as lambda expressions,
A Scheme Primerhttps://files.spritely.institute/papers/scheme-primer.html
means that the foundations of Scheme are easy to learn. The R5RS introduction continues with: Scheme demonstrates that a very small number of rules for forming expressions, with n
Talkshttps://www.scottaaronson.com/talks/default.html
of Institute for Foundations of Data Science, Yale University, New Haven, CT, September 22, 2023. Another version at Woodside High School, CA, February 16, 2024. Another version a
Web Surfinghttp://web.cs.wpi.edu/~jshutt/surfing.html
framework for the foundations of quantum theory and the role played by gravity (Proc. R. Soc. A, July 2009) (23-Apr-19; 07-Jan-21) Bell's conspiracy, Schrödinger's black cat
https://randall-holmes.github.io/https://randall-holmes.github.io/
Quine's set theory New Foundations, with a sideline in computer-assisted reasoning. I have a general somewhat more than amateur interest in the history and philosophy of mathemati
Ilan's Homepagehttps://ilanb.xyz/
I & II of Software Foundations . CLI Tools I also don't remember how I learned CLI tools, but lukesmith's productivity videos ( example ) were a big inspiration. Recently, I found
Site description
luna's up on her bullshit again — LavaTech WriteFreelyhttps://wf.lavatech.top/lun-4/
IM craze is the core foundations of the Web, as it is its own freedom that enables the competition to exist. I would suggest, then, that a “metaverse” that attempts to displace th
do you want to send words at me? reach at email blogpost@l4.pm
An Evaluative Study of Modern Technology in Educationhttp://papert.org/articles/AnEvaluativeStudyofModernTechnology.html
process of laying the foundations for styles of uses of computers which can be expected to play a very significant role in the public schools in the 1980s. The origin of this proc
White Light, by Rudy Ruckerhttps://www.rudyrucker.com/whitelight/sample/whitelight.xhtml
I had one other class, Foundations of Geometry, which met Tuesday and Friday afternoons. But today was Wednesday, so at 11:00 I was through for the day. It was pouring rain again,
Cheat Sheet : All Cheat Sheets in one pagehttp://www.cheat-sheets.org/
Transfer) W ^ REST: Foundations of RESTful Architecture by Brian Sletten [pdf] (dzone.com) RichFaces W ^ RichFaces 4.0: A Next Generation JSF Framework by Nick Belaevski, Ilya Sha
All cheat sheets, round-ups, quick reference cards, quick reference guides and quick reference sheets in one page.
Orgy of the Will: A Philosophy of the Futurehttp://orgyofthewill.net/
like Putin 1672. Laying foundations 1671. The Bastardization Process 1670. The new Turing test 1669. The redneck's place 1668. Gay civilization 1667. The superior response 1666. B
Find more...