HomeTea Leaves
This creator needs to reauthorize access for us to retrieve their latest information.
Tea Leaves is all about programming like it's 1979. Join us as we explore programming languages current and obsolete, and explore the challenges of working with retro hardware and software. We also, of course, occasionally explore games from the early 8-bit era of computing.
Tea Leaves• 6.8k
Average Views • 658
Recently added
All
The Incredible Proof Machine - Part 4
356 views • Jul 14, 2022
Pete begins to struggle as the Incredible Proof Machine introduces the concept of absurdum.
Last Call BBS: Solving Chipwizard Professional, part 1
5,661 views • Jul 10, 2022
0:00 - Introduction
2:20 - Signal Crossover
5:43 - AND Gate
8:26 - OR Gate
12:35 - NOT Gate
13:38 - Power-on Reset
16:40 - Digital Signal Mixer
20:07 - Interrupt Controller
26:20 - Conclusion
The Incredible Proof Machine - Part 3
309 views • Jul 07, 2022
In Session 3 of The Incredible Proof Machine (try it yourself at http://incredible.pm!) we start looking at proving statements around disjunctions, the "or" concept.
The Incredible Proof Machine - Part 2
442 views • Jul 03, 2022
We continue our adventure in Joachim Breitner's Incredible Proof Machine (http://incredible.pm). In this session we focus on Session 2 - which centers around implication.
The Incredible Proof Machine - Part 1
1,003 views • Jul 03, 2022
Today we walk through the first session of Joachim Breitner's fantastic propositional logic teaching tool "The Incredible Proof Machine". Try it yourself at http://incredible.pm, or follow along wi...
Natural Number Game, Part 1 - Proving Addition
773 views • Jun 25, 2022
Today we do the first two segments of The Natural Number Game (https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/) a wonderful interactive experience by Kevin Buzzard and Mohammad Ped...
A 6502 Simulator Mystery - Solved!
21,497 views • Jun 18, 2022
For a while now I've been looking at a nifty little 6502 simulator which has been available on the Apple ][, but was uncertain of its provenance. I began this video in the hopes that someone could ...
Accrual Accounting? What's That?
389 views • May 28, 2022
A basic introduction to accrual vs cash accounting for casuals.
Today our topic is something that a lot of people think is scary - accrual accounting principles. It can have a lot of complexity, b...
Zero Page: Reading Byte's 1979 "LISP Issue"
260 views • May 09, 2022
Special guest psu13 joins us to do a joint read of some of the highlights of Byte magazine's 1979 issue that focuses on LISP. We muse about how different making and selling computers was 40 years a...
Where do Binary Executables Load?
777 views • Apr 30, 2022
A viewer asked a great question: On an Apple II, how can I find out what memory location a binary file loads in to? A simple question, but the answer is surprisingly deep! We dive in on this questi...
This website uses cookies to improve your experience. By using Woovit, you agree with our Cookies Policy
Back online!