wiby  
Settings



Home Page - Metamath

https://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 Smalltalk

https://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 Primer

https://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

Talks

https://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 Surfing

http://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 Homepage

https://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 WriteFreely

https://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 Education

http://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 Rucker

https://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 page

http://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 Future

http://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...