A software project that recreates the aesthetic of a 1980s cable community bulletin board for any display, with an emphasis on vintage CRT televisions. It provides a rotating broadcast including time and date, custom messages, fun facts, dad jokes, weather updates via Open-Meteo, and scrolling RSS news headlines in a retro ticker crawl.
Key features include:
A web-based control room for real-time customization of identity, timing, feeds, colors, and message rotation without needing to reload the screen.
Hardware optimization for Raspberry Pi users looking to feed video through HDMI-to-coax modulators or composite AV outputs into old TVs.
Integration with CheerLights to incorporate global color changes directly into the headline crawl.
Support for background music via local audio files and customizable overscan margins for vintage display compatibility.
Key features include:
A web-based control room for real-time customization of identity, timing, feeds, colors, and message rotation without needing to reload the screen.
Hardware optimization for Raspberry Pi users looking to feed video through HDMI-to-coax modulators or composite AV outputs into old TVs.
Integration with CheerLights to incorporate global color changes directly into the headline crawl.
Support for background music via local audio files and customizable overscan margins for vintage display compatibility.
This repository provides an implementation and recreation of the first published version of the Logic Theory Machine, also known as the Logic Theorist. Originally developed by Allen Newell, J. C. Shaw, and Herbert A. Simon in 1956, this program was designed to prove theorems in propositional logic using principles from Principia Mathematica. The project includes a Python-based interpreter for the IPL-I abstract machine language, tools to run the program against historical axioms and theorems, and utilities to analyze generated proofs.
Main components:
Implementation of the 1956 Logic Theory Machine
Propositional logic based on Principia Mathematica
Python interpreter for the IPL-I language
Tools for running simulations and verifying results
Main components:
Implementation of the 1956 Logic Theory Machine
Propositional logic based on Principia Mathematica
Python interpreter for the IPL-I language
Tools for running simulations and verifying results
>"Ajitem S. writes about how a conversation on a plane in 1953 set in motion the stack that eventually processes tens of thousands of flight bookings per second"
Fernando J. Corbató was a Professor Emeritus at MIT, renowned for his pioneering work in the development of time-sharing and resource-sharing computer systems. He was instrumental in creating the Compatible Time-Sharing System (CTSS) and Multics, both influential systems that laid the groundwork for modern operating systems. Corbató's contributions have been widely recognized through numerous awards and fellowships, including the Turing Award (1990) and the Computer Pioneer Award (1982). He was a long-time member of the MIT Computation Center and the Laboratory for Computer Science, and held leadership positions within the department. His work significantly impacted the field of computer science and the evolution of computing technology.
The article argues that the perception of C as a “low‑level” language has become outdated.
- **Historical context** – In the early 1970s, C on the PDP‑11 was literally close to the metal: each statement mapped to one or two machine instructions, memory was flat, and the execution model was straightforward.
- **Modern hardware** – Today’s CPUs are far more complex (multi‑core, deep pipelines, out‑of‑order execution, vector units, large caches, speculative execution). They are designed to run legacy C code efficiently, but the underlying reality is far removed from the simple model that early C programmers relied on.
- **The illusion** – Modern processors adapt to preserve the old C abstract machine, giving developers the impression that C is still “low‑level.” This illusion hides a mismatch between what C promises (predictable, simple mapping to hardware) and what the hardware actually does.
- **Historical context** – In the early 1970s, C on the PDP‑11 was literally close to the metal: each statement mapped to one or two machine instructions, memory was flat, and the execution model was straightforward.
- **Modern hardware** – Today’s CPUs are far more complex (multi‑core, deep pipelines, out‑of‑order execution, vector units, large caches, speculative execution). They are designed to run legacy C code efficiently, but the underlying reality is far removed from the simple model that early C programmers relied on.
- **The illusion** – Modern processors adapt to preserve the old C abstract machine, giving developers the impression that C is still “low‑level.” This illusion hides a mismatch between what C promises (predictable, simple mapping to hardware) and what the hardware actually does.
PDF of the second edition of Information Processing Language V Manual (1964).
The Wikipedia article details the Logic Theorist, created in 1956 by Allen Newell, Herbert A. Simon, and Cliff Shaw. Widely considered the first AI program, it successfully proved 38 of the first 52 theorems in Principia Mathematica, even discovering more elegant proofs than those originally crafted by Russell and Whitehead.
MIT's Tech Square has played a significant role in the evolution of computing, hosting key figures and research from time-shared computing to the World Wide Web.
A detailed article about the Ampere WS-1 clamtop computer, released in November 1985. The article discusses the company's history, design, features, and software. It also includes excerpts from magazines such as ASCII, Just Computers, and Australian Personal Computer.
This paper describes the background and history of Multics Emacs, including the previous developments and the climate in which it was created. It also details the design and implementation experience, and important algorithms such as the redisplay algorithm.
