Pʀᴀɴᴀᴠ

Cover image for Xtensa: the CPU architecture you already use (without knowing it)

Pʀᴀɴᴀᴠ

Dec 30 '25

Xtensa: the CPU architecture you already use (without knowing it)

#iot #computerscience #performance #architecture

3

2 min read

Cover image for LoongArch: China’s homegrown CPU architecture that is now in real laptops

Pʀᴀɴᴀᴠ

Dec 30 '25

LoongArch: China’s homegrown CPU architecture that is now in real laptops

#news #architecture #linux

1

3 min read

Cover image for Elbrus (E2K): a CPU architecture that thinks like a compiler

Pʀᴀɴᴀᴠ

Dec 30 '25

Elbrus (E2K): a CPU architecture that thinks like a compiler

#architecture #computerscience

4

3 min read

Cover image for Zilog Z80: the small CPU that powered an entire generation

Pʀᴀɴᴀᴠ

Dec 30 '25

Zilog Z80: the small CPU that powered an entire generation

#architecture #beginners #computerscience

2

2 min read

Cover image for IBM Z: the computer that never learned how to die

Pʀᴀɴᴀᴠ

Dec 30 '25

IBM Z: the computer that never learned how to die

#architecture #performance #security

1

3 min read

Cover image for DEC Alpha: the fastest CPU architecture you probably never used

Pʀᴀɴᴀᴠ

Dec 30 '25

DEC Alpha: the fastest CPU architecture you probably never used

2

2 min read

Cover image for MIPS architecture: simple, clean, and quietly everywhere (once)

Pʀᴀɴᴀᴠ

Dec 30 '25

MIPS architecture: simple, clean, and quietly everywhere (once)

#architecture #computerscience #learning

1

3 min read

Cover image for RISC-V Architecture: how a clean instruction set became a serious threat

Pʀᴀɴᴀᴠ

Dec 30 '25

RISC-V Architecture: how a clean instruction set became a serious threat

#architecture #computerscience #opensource

2

3 min read

Cover image for Intel Itanium: the CPU architecture that tried to replace x86 (and didn’t)

Pʀᴀɴᴀᴠ

Dec 30 '25

Intel Itanium: the CPU architecture that tried to replace x86 (and didn’t)

#discuss #architecture #computerscience

1

3 min read

Cover image for SkyOS: a Non-POSIX operating system built by one stubborn person

Pʀᴀɴᴀᴠ

Dec 30 '25

SkyOS: a Non-POSIX operating system built by one stubborn person

#discuss #architecture #ux

1

2 min read

Cover image for Oberon OS: A system built by people who hated unnecessary things

Pʀᴀɴᴀᴠ

Dec 30 '25

Oberon OS: A system built by people who hated unnecessary things

#discuss #architecture #computerscience

1

2 min read

Cover image for RISC OS: A Non-POSIX Operating System That Grew With ARM

Pʀᴀɴᴀᴠ

Dec 30 '25

RISC OS: A Non-POSIX Operating System That Grew With ARM

#architecture #software #ui

1

3 min read

Cover image for HelenOS: A Non-POSIX Operating System Built as Independent Services

Pʀᴀɴᴀᴠ

Dec 30 '25

HelenOS: A Non-POSIX Operating System Built as Independent Services

#architecture #computerscience #microservices

1

3 min read

Cover image for TempleOS: A Non-POSIX Operating System That Removed Protection on Purpose

Pʀᴀɴᴀᴠ

Dec 30 '25

TempleOS: A Non-POSIX Operating System That Removed Protection on Purpose

#architecture #computerscience #security

1

3 min read

Cover image for Syllable: A Non-POSIX Operating System That Refused to Become Unix

Pʀᴀɴᴀᴠ

Dec 30 '25

Syllable: A Non-POSIX Operating System That Refused to Become Unix

#architecture #computerscience #opensource

1

2 min read

Cover image for MenuetOS KolibriOS: A Non-POSIX Operating System Built in Assembly

Pʀᴀɴᴀᴠ

Dec 30 '25

MenuetOS KolibriOS: A Non-POSIX Operating System Built in Assembly

#opensource #architecture #performance #programming

1

3 min read

Cover image for Singularity: A Non-POSIX Operating System Built By Microsoft

Pʀᴀɴᴀᴠ

Dec 30 '25

Singularity: A Non-POSIX Operating System Built By Microsoft

#architecture #computerscience #microsoft

6

3 min read

Cover image for MINIX: An Operating System That Inspired Linux

Pʀᴀɴᴀᴠ

Dec 30 '25

MINIX: An Operating System That Inspired Linux

#architecture #computerscience #linux

6

2 min read

Cover image for Inferno: An Operating System That Treats Distribution as Normal

Pʀᴀɴᴀᴠ

Dec 30 '25

Inferno: An Operating System That Treats Distribution as Normal

#architecture #computerscience #networking

4

1

3 min read

Cover image for Plan 9: An Operating System That Treated the Network as Normal

Pʀᴀɴᴀᴠ

Dec 30 '25

Plan 9: An Operating System That Treated the Network as Normal

#systemdesign #computerscience #architecture #networking

1

2 min read

Cover image for SerenityOS: A Modern Operating System Built to Be Understood

Pʀᴀɴᴀᴠ

Dec 30 '25

SerenityOS: A Modern Operating System Built to Be Understood

#computerscience #learning #opensource #architecture

2

2 min read

Cover image for Why Memory Protection Killed Many Beautiful Operating Systems

Pʀᴀɴᴀᴠ

Dec 30 '25

Why Memory Protection Killed Many Beautiful Operating Systems

2

3 min read

Cover image for AmigaOS: The Operating System That Arrived Too Early for Its Own Good

Pʀᴀɴᴀᴠ

Dec 30 '25

AmigaOS: The Operating System That Arrived Too Early for Its Own Good

#discuss #architecture #computerscience

1

3 min read

Cover image for TSS/360: IBM’s Most Ambitious Operating System — And One of Its Biggest Failures

Pʀᴀɴᴀᴠ

Dec 30 '25

TSS/360: IBM’s Most Ambitious Operating System — And One of Its Biggest Failures

#architecture #computerscience #softwareengineering

1

3 min read

Cover image for AIX: IBM’s Unix That Was Never Trying to Be Cool

Pʀᴀɴᴀᴠ

Dec 30 '25

AIX: IBM’s Unix That Was Never Trying to Be Cool

#discuss #learning #systemdesign

1

3 min read

Cover image for eComStation: The Operating System That Refused to Die

Pʀᴀɴᴀᴠ

Dec 30 '25

eComStation: The Operating System That Refused to Die

#discuss #computerscience #software

1

3 min read

Cover image for OS/2 vs Windows NT: One Bet on Hardware, One Bet on Time

Pʀᴀɴᴀᴠ

Dec 30 '25

OS/2 vs Windows NT: One Bet on Hardware, One Bet on Time

#discuss #microsoft #computerscience #architecture

1

3 min read

Cover image for OS/360 Explained for Beginners: The Operating System That Changed Computing Forever

Pʀᴀɴᴀᴠ

Dec 30 '25

OS/360 Explained for Beginners: The Operating System That Changed Computing Forever

#architecture #beginners #computerscience

3 min read

Cover image for IBM i Explained for Beginners: The Operating System That Runs Businesses Quietly

Pʀᴀɴᴀᴠ

Dec 30 '25

IBM i Explained for Beginners: The Operating System That Runs Businesses Quietly

#architecture #backend #beginners

3 min read

Cover image for QNX Explained for Beginners: The Operating System You Use Without Knowing It

Pʀᴀɴᴀᴠ

Dec 30 '25

QNX Explained for Beginners: The Operating System You Use Without Knowing It

#beginners #iot #systemdesign

3 min read

Cover image for Why POSIX Won Servers but Never Truly Won Desktops

Pʀᴀɴᴀᴠ

Dec 30 '25

Why POSIX Won Servers but Never Truly Won Desktops

#discuss #architecture #linux

3 min read

Cover image for Why Windows Still Resists POSIX at the Core (And Probably Always Will)

Pʀᴀɴᴀᴠ

Dec 30 '25

Why Windows Still Resists POSIX at the Core (And Probably Always Will)

#discuss #architecture #computerscience

3 min read

Cover image for BeOS: The Operating System That Lost to Politics, Not Technology

Pʀᴀɴᴀᴠ

Dec 30 '25

BeOS: The Operating System That Lost to Politics, Not Technology

#discuss #architecture #startup

3 min read

Cover image for Why PC Operating Systems Diverged From Unix in the First Place

Pʀᴀɴᴀᴠ

Dec 30 '25

Why PC Operating Systems Diverged From Unix in the First Place

#discuss #architecture #computerscience

2 min read

Cover image for Classic Mac OS vs Windows NT: Two Non-Unix Philosophies That Defined Personal Computing

Pʀᴀɴᴀᴠ

Dec 30 '25

Classic Mac OS vs Windows NT: Two Non-Unix Philosophies That Defined Personal Computing

#discuss #architecture #ux

3 min read

Cover image for Before Windows Was NT: How Microsoft Built a Non-Unix World (And Why It Still Matters)

Pʀᴀɴᴀᴠ

Dec 30 '25

Before Windows Was NT: How Microsoft Built a Non-Unix World (And Why It Still Matters)

#discuss #architecture #microsoft

4 min read

Pʀᴀɴᴀᴠ

Dec 28 '25

POSIX Explained Like You Actually Need It (Not Like a Textbook)

#architecture #beginners #linux #devops

3 min read

Cover image for 🧠 Ceptre — The Rule-Based Language for Modeling Systems, Stories, and Simulation Logic

Pʀᴀɴᴀᴠ

Nov 29 '25

🧠 Ceptre — The Rule-Based Language for Modeling Systems, Stories, and Simulation Logic

#gamedev #programming #ai #tooling

2 min read

Cover image for 📐 HOL Light — The Minimal Proof Language for Formal Mathematics and Verified Software

Pʀᴀɴᴀᴠ

Nov 29 '25

📐 HOL Light — The Minimal Proof Language for Formal Mathematics and Verified Software

#algorithms #computerscience #tooling

1

2 min read

Cover image for 🎮 AngelScript Variant — A Lightweight Scripting Language Inspired by C++ for Embedded Engines

Pʀᴀɴᴀᴠ

Nov 29 '25

🎮 AngelScript Variant — A Lightweight Scripting Language Inspired by C++ for Embedded Engines

#cpp #gamedev #programming

2 min read

Cover image for 🧱 Jinja2 Template Language — The Engine Behind Dynamic HTML, Emails, and Configs

Pʀᴀɴᴀᴠ

Nov 29 '25

🧱 Jinja2 Template Language — The Engine Behind Dynamic HTML, Emails, and Configs

#python #webdev #programming #automation

2 min read

Cover image for 🧩 Svelte Mini DSL — The Hidden Micro-Language Inside Svelte's Markup System

Pʀᴀɴᴀᴠ

Nov 29 '25

🧩 Svelte Mini DSL — The Hidden Micro-Language Inside Svelte's Markup System

#frontend #javascript #programming

2 min read

Cover image for 🛍 Liquid — The Templating Language Powering Shopify Themes and Static Content

Pʀᴀɴᴀᴠ

Nov 29 '25

🛍 Liquid — The Templating Language Powering Shopify Themes and Static Content

#frontend #webdev #programming #beginners

1

2 min read

Cover image for 🔧 Blockly Schema Language — The Metadata Language Behind Visual Block Programming

Pʀᴀɴᴀᴠ

Nov 29 '25

🔧 Blockly Schema Language — The Metadata Language Behind Visual Block Programming

#architecture #programming #tooling

2 min read

Cover image for 🎮 GDScript (Legacy Mode) — The Old Scripting Language Behind Early Godot Engines

Pʀᴀɴᴀᴠ

Nov 29 '25

🎮 GDScript (Legacy Mode) — The Old Scripting Language Behind Early Godot Engines

#beginners #gamedev #programming

1

2 min read

Cover image for 🧬 Flix — A Modern Functional Language Built on Logic, Effects, and the JVM

Pʀᴀɴᴀᴠ

Nov 29 '25

🧬 Flix — A Modern Functional Language Built on Logic, Effects, and the JVM

#computerscience #java #programming

2 min read

Cover image for 🐾 Kitten — A Typed Concatenative Language Inspired by Joy and Rust

Pʀᴀɴᴀᴠ

Nov 29 '25

🐾 Kitten — A Typed Concatenative Language Inspired by Joy and Rust

#showdev #computerscience #programming #rust

2 min read

Cover image for 🐈 Cat — A Concatenative Language Focused on Simplicity and Type Safety

Pʀᴀɴᴀᴠ

Nov 29 '25

🐈 Cat — A Concatenative Language Focused on Simplicity and Type Safety

2 min read

Cover image for ⚪ OneLang — A Programming Language Built From Only One Symbol

Pʀᴀɴᴀᴠ

Nov 29 '25

⚪ OneLang — A Programming Language Built From Only One Symbol

#computerscience #design #programming

2 min read

Cover image for 📦 ByteLang — A Language Where Every Instruction Is Just a Single Byte

Pʀᴀɴᴀᴠ

Nov 29 '25

📦 ByteLang — A Language Where Every Instruction Is Just a Single Byte

#showdev #computerscience #programming

2 min read

Cover image for 🕊 LambdaBird — A Tiny Lambda Calculus Style Language That Uses Bird Combinators

Pʀᴀɴᴀᴠ

Nov 29 '25

🕊 LambdaBird — A Tiny Lambda Calculus Style Language That Uses Bird Combinators

#computerscience #learning #programming

2 min read

Cover image for 🧬 SKI Combinator Calculus — Programming Without Variables, Assignments, or Functions

Pʀᴀɴᴀᴠ

Nov 29 '25

🧬 SKI Combinator Calculus — Programming Without Variables, Assignments, or Functions

#computerscience #learning #programming

2 min read

Cover image for 🧩 P′′ — The Tiny Language That Inspired Brainfuck and Minimalist Computing

Pʀᴀɴᴀᴠ

Nov 29 '25

🧩 P′′ — The Tiny Language That Inspired Brainfuck and Minimalist Computing

#computerscience #learning #programming

2 min read

Cover image for 🧪 Eff — The Language Built to Explore Algebraic Effects and Structured Concurrency

Pʀᴀɴᴀᴠ

Nov 29 '25

🧪 Eff — The Language Built to Explore Algebraic Effects and Structured Concurrency

#computerscience #programming

2 min read

Cover image for 🔐 Cryptol — The Language Designed Specifically for Cryptography and Security Proofs

Pʀᴀɴᴀᴠ

Nov 29 '25

🔐 Cryptol — The Language Designed Specifically for Cryptography and Security Proofs

#algorithms #cybersecurity #security #programming

2 min read

Cover image for 🛡 ATS — The Language That Combines Types, Memory Safety, and C-Level Performance

Pʀᴀɴᴀᴠ

Nov 29 '25

🛡 ATS — The Language That Combines Types, Memory Safety, and C-Level Performance

2 min read

Cover image for ⚡ Futhark — The Functional Language Built for High-Performance Parallel Computing

Pʀᴀɴᴀᴠ

Nov 29 '25

⚡ Futhark — The Functional Language Built for High-Performance Parallel Computing

#computerscience #performance #programming

2 min read

Cover image for 🧠 Agda — The Programming Language Where Types Become Mathematical Proofs

Pʀᴀɴᴀᴠ

Nov 29 '25

🧠 Agda — The Programming Language Where Types Become Mathematical Proofs

#computerscience #learning #programming

2 min read

Cover image for 📐 MiniZinc — A High-Level Language Designed for Constraint Solving

Pʀᴀɴᴀᴠ

Nov 29 '25

📐 MiniZinc — A High-Level Language Designed for Constraint Solving

#algorithms #computerscience #ai #tooling

2 min read

Cover image for 📘 Lean — A Language for Formal Proofs and Verified Mathematics

Pʀᴀɴᴀᴠ

Nov 29 '25

📘 Lean — A Language for Formal Proofs and Verified Mathematics

#computerscience #programming #tooling

2 min read

Writing Debut

Three Year Club

Two Year Club

One Year Club