What Made Gödel’s Incompleteness Theorem Hard to Prove
Roughly speaking, Gödel’s Incompleteness Theorem states that there are true mathematical statements that cannot be proven. When I was in 11-th grade, my geometry teacher Mr. Olsen, my friend …
The latest blog posts to take off on Hacker News. 216 posts.
Roughly speaking, Gödel’s Incompleteness Theorem states that there are true mathematical statements that cannot be proven. When I was in 11-th grade, my geometry teacher Mr. Olsen, my friend …
We dissect the building blocks of the infamous THX Deep Sound and recreate it by synthesizing the sound in Supercollider programming environment.
(A paper presented to the 27th annual Guidance and Control Conference of the American Astronautical Society (AAS), in Breckenridge, Colorado on February 6, 2004, and designated AAS 04-064. This version includes additional illustrations and comments, and several minor corrections.)
In 2001, Tim Berners-Lee, inventor of the World Wide Web, published an article in Scientific American.
The Computer History Museum has two operational IBM 1401 computers used for demos , but a few weeks ago one computer suddenly couldn't prin...
An unabridged history of RSS' triumphs and failures.
Practical development throughout the evolution of Windows.
An overview of major milestones for the V8 project in the past 10 years as well as the years before, when the project was still secret.
We recently started restoring a Teletype Model 19, a Navy communication system introduced in the 1940s. 14 This Teletype was powered by a b...
A few weeks ago I (=Carl Friedrich Bolz-Tereick) gave a keynote at ICOOOLPS in Amsterdam with the above title. I was very happy to have bee...
Imagining a childhood encounter with BASIC on the Commodore 64.
No, not that one . Or that other one . The letters "MSN" have meant so many things to so many people, a term that's been overloaded with a thousand different meanings. In the same way they throw the words "National Lampoon" onto any random movie to indicate that it claims to be a comedy, they slap the "MSN" label onto…
Aaron Giles is a Seattle-area programmer, musician, web developer, and graphic designer.
PREFACE. This essay was written in 2009. Since then, a few errata have been corrected and I embedded the youtube videos, but there have been no substantial additions. I think it still holds up fairly well, but if I were to rewrite it today, I would change some things. My main regret is using the criteria of maximum…
In 1843, Ada Lovelace published the first nontrivial program. How did it work?
One of the first games I ever played on my family’s Apple IIe was the Jordan Mechner master work, Karateka . Fight the bad guys, save the princess – it’s a simple but classic formula. My brother and I would take turns making our way through Akuma’s fortress. Even then, we wanted a two player version.
Zet Casino 2026: tysiące gier, bonus powitalny, wpłaty BLIK i krypto, wypłaty w minutach oraz polskie wsparcie 24/7. Sprawdź naszą ofertę.
A mysterious full-length sound card recently arrived at the OS/2 Museum. It was clearly manufactured by IBM in 1985, and sports a 20 MHz Texas Instrument TMS32010 DSP (the DSP is the large black DIP chip near the lower left corner, not the ceramic gold cap chip).
Looking inside the Intel 8087, an early floating point chip, I noticed an interesting feature on the die: the substrate bias generation circ...
The Worst Computer Bugs in History is a mini series to commemorate the discovery of the first computer bug seventy years ago. Although these stories are more extreme than most software bugs engineers will encounter during their careers, they are worth studying for the insights they can offer into software development…
Tracing the long lineage of software that brought us Vim.
The official home of the Erlang Programming Language