The Linux Kernel Module Programming Guide (#LKMPG) got 5000+ stars on GitHub. Thank all the contributors and promoters. We are moving forward to Linux v6.x support. Rust LKM examples will appear later. https://t.co/n8PKgCYxiO

L4 heritage: Original L4 (Jochen Liedtke, 1993-1997) -> L4Ka::Pistachio (University of Karlsruhe, 2002-2004) -> NICTA::Pistachio-embedded / L4-embedded (NICTA, 2005) -> OKL4 (Open Kernel Labs, 2006-2008) -> OKL4 3.0+ (Proprietary, 2008+) -> General Dynamics acquisition (2012)

Unix v4 tape found. Apparently no other complete copies are known to exist. It was the first version in which the kernel was written in C. It also had minor changes to the UNIX file system (such as the ability of any inode to hold a device 'special file'.

You’ve heard of the Unix 2038 Problem. I bet you haven’t heard of the GPS 2038 problem. Every GPS navigation device in existence experiences an integer overflow every 19.6 years. Last time, it wiped out iPhones, NOAA weather buoys, and a number of flights in China:

Did you know https://t.co/13hS2a9adL is the only place in the world that runs actual PDP-10s on the internet? We currently have 4 KL10 class machines running 24/7 for public access use. Why? PDP-10s are cool and they were the foundation of the arpanet!

Nobody would have a problem with Rust if it was promoted organically and purely based on technical merit. But now that Fil-C demonstrates memory safety, we can already see Rust advocates pivoting to the next doomsday scenario. Instead of "C's lack of memory safety is killing

The Intel 4004 was made possible because of Bob Noyce's Rubylith process. This was all cut by hand. Pretty neat!

VMS (Virtual Memory System) was a landmark operating system developed by Digital Equipment Corporation (DEC) between 1975 and 1977, in conjunction with the design of the VAX (Virtual Address eXtension) architecture. Conceived as a next-generation environment to succeed the PDP-11

DragonOS is a 64-bit operating system with an independent kernel, purpose-built for lightweight cloud computing while maintaining Linux binary compatibility. Written in Rust for reliability and memory safety,

Xbox: Windows NT on AMD64 Playstation: FreeBSD on AMD64 Steam Deck: Linux on AMD64 Nintendo Switch: Custom(!) microkernel(!!) OS on ARM64 Nintendo is weird

curious how C/C++ programs are ported to work with Fil-C? here you can read about what @filpizlo did to port Python, Perl, glib, and dozens of other packages, it's quite interesting! https://t.co/m6N7G3lsA0

Golden ratio unfolds

To give context on age, Grace Hopper began computing at 38, completed the first compiler at 46, helped shape COBOL at 53, kept developing COBOL for the Navy in her 70s, retired from the Navy at 80 & then became a consultant for the Digital Equipment Corporation. v/@cooperx86

I ported Doom, the legendary first-person shooter, to render directly in terminals using the Kitty graphics protocol, featuring BASE64-encoded 4 KB chunks with SIMD optimization. https://t.co/FnumvGrQx9

It’s the world’s first #CPU! Almost 54 years ago, on November 15th 1971, #Intel launched the first commercial single-chip microprocessor. With the following tweets, let’s jointly explore the greatest milestone in #computing #history after the invention of the #transistor!

Wait till people find out that all of computer science is an abstraction of electrical engineering, which is an abstraction of fundamental physics.

There's no source code of the original Pong, at least not in a software sense. No ROM exists, there's no CPU. Code? None. In 1972, Pong was created by Atari using Transistor-Transistor Logic (TTL). The game logic is hardwired. The closest to the source code is the blueprint.

"Make it work, make it right, make it fast." -- Kent Beck

I'm developing a hardware-accelerated Nyancat animation for VGA display, implemented in Verilog RTL and simulated with Verilator. It supports real-time scaling, ROM-based frame storage, and a two-stage rendering pipeline for smooth animation. https://t.co/RFJsufmlzR

https://t.co/gVUDTEmQCa

When asking coding questions