Pʀᴀɴᴀᴠ - DEV Community

Pʀᴀɴᴀᴠ

Dec 30

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

#iot #computerscience #performance #architecture

2

2 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#news #architecture #linux

1

3 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#architecture #computerscience

3

3 min read

Pʀᴀɴᴀᴠ

Dec 30

Zilog Z80: the small CPU that powered an entire generation

#architecture #beginners #computerscience

2

2 min read

Pʀᴀɴᴀᴠ

Dec 30

IBM Z: the computer that never learned how to die

#architecture #performance #security

1

3 min read

Pʀᴀɴᴀᴠ

Dec 30

DEC Alpha: the fastest CPU architecture you probably never used

2

2 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#architecture #computerscience #learning

1

3 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#architecture #computerscience #opensource

2

3 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#discuss #architecture #computerscience

1

3 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#discuss #architecture #ux

1

2 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#discuss #architecture #computerscience

1

2 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#architecture #software #ui

1

3 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#architecture #computerscience #microservices

1

3 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#architecture #computerscience #security

1

3 min read

Pʀᴀɴᴀᴠ

Dec 30

Syllable: A Desktop Operating System That Refused to Become Unix

#architecture #computerscience #opensource

1

2 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#opensource #architecture #performance #programming

1

3 min read

Pʀᴀɴᴀᴠ

Dec 30

Singularity: A Non-POSIX Operating System Built By Microsoft

#architecture #computerscience #microsoft

6

3 min read

Pʀᴀɴᴀᴠ

Dec 30

MINIX: An Operating System That Inspired Linux

#architecture #computerscience #linux

6

2 min read

Pʀᴀɴᴀᴠ

Dec 30

Inferno: An Operating System That Treats Distribution as Normal

#architecture #computerscience #networking

2

3 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#systemdesign #computerscience #architecture #networking

1

2 min read

Pʀᴀɴᴀᴠ

Dec 30

SerenityOS: A Modern Operating System Built to Be Understood

#computerscience #learning #opensource #architecture

2

2 min read

Pʀᴀɴᴀᴠ

Dec 30

Why Memory Protection Killed Many Beautiful Operating Systems

2

3 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#discuss #architecture #computerscience

1

3 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#architecture #computerscience #softwareengineering

1

3 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#discuss #learning #systemdesign

1

3 min read

Pʀᴀɴᴀᴠ

Dec 30

eComStation: The Operating System That Refused to Die

#discuss #computerscience #software

1

3 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#discuss #microsoft #computerscience #architecture

1

3 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#architecture #beginners #computerscience

3 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#architecture #backend #beginners

3 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#beginners #iot #systemdesign

3 min read

Pʀᴀɴᴀᴠ

Dec 30

Why POSIX Won Servers but Never Truly Won Desktops

#discuss #architecture #linux

3 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#discuss #architecture #computerscience

3 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#discuss #architecture #startup

3 min read

Pʀᴀɴᴀᴠ

Dec 30

Why PC Operating Systems Diverged From Unix in the First Place

#discuss #architecture #computerscience

2 min read

Pʀᴀɴᴀᴠ

Dec 30

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

#discuss #architecture #ux

3 min read

Pʀᴀɴᴀᴠ

Dec 30

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

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

#architecture #beginners #linux #devops

3 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#gamedev #programming #ai #tooling

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#algorithms #computerscience #tooling

1

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#cpp #gamedev #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#python #webdev #programming #automation

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#frontend #javascript #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#frontend #webdev #programming #beginners

1

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#architecture #programming #tooling

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#beginners #gamedev #programming

1

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#computerscience #java #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#showdev #computerscience #programming #rust

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

2 min read

Pʀᴀɴᴀᴠ

Nov 29

⚪ OneLang — A Programming Language Built From Only One Symbol

#computerscience #design #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#showdev #computerscience #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#computerscience #learning #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#computerscience #learning #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#computerscience #learning #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#computerscience #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#algorithms #cybersecurity #security #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#computerscience #performance #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🧠 Agda — The Programming Language Where Types Become Mathematical Proofs

#computerscience #learning #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#algorithms #computerscience #ai #tooling

2 min read

Pʀᴀɴᴀᴠ

Nov 29

📘 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