DEV Community

Pʀᴀɴᴀᴠ profile picture

Pʀᴀɴᴀᴠ

I write about code, design and tools.

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

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

Comments
3 min read
Syllable: A Desktop Operating System That Refused to Become Unix

Syllable: A Desktop Operating System That Refused to Become Unix

Comments
2 min read
MenuetOS KolibriOS: A Non-POSIX Operating System Built in Assembly

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

Comments
3 min read
Singularity: A Non-POSIX Operating System Built By Microsoft

Singularity: A Non-POSIX Operating System Built By Microsoft

5
Comments
3 min read
MINIX: An Operating System That Inspired Linux

MINIX: An Operating System That Inspired Linux

5
Comments
2 min read
Inferno: An Operating System That Treats Distribution as Normal

Inferno: An Operating System That Treats Distribution as Normal

Comments
3 min read
Plan 9: An Operating System That Treated the Network as Normal

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

Comments
2 min read
SerenityOS: A Modern Operating System Built to Be Understood

SerenityOS: A Modern Operating System Built to Be Understood

1
Comments
2 min read
Why Memory Protection Killed Many Beautiful Operating Systems

Why Memory Protection Killed Many Beautiful Operating Systems

Comments
3 min read
AmigaOS: The Operating System That Arrived Too Early for Its Own Good

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

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

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

Comments
3 min read
AIX: IBM’s Unix That Was Never Trying to Be Cool

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

Comments
3 min read
eComStation: The Operating System That Refused to Die

eComStation: The Operating System That Refused to Die

Comments
3 min read
OS/2 vs Windows NT: One Bet on Hardware, One Bet on Time

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

Comments
3 min read
OS/360 Explained for Beginners: The Operating System That Changed Computing Forever

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

Comments
3 min read
IBM i Explained for Beginners: The Operating System That Runs Businesses Quietly

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

Comments
3 min read
QNX Explained for Beginners: The Operating System You Use Without Knowing It

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

Comments
3 min read
Why POSIX Won Servers but Never Truly Won Desktops

Why POSIX Won Servers but Never Truly Won Desktops

Comments
3 min read
Why Windows Still Resists POSIX at the Core (And Probably Always Will)

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

Comments
3 min read
BeOS: The Operating System That Lost to Politics, Not Technology

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

Comments
3 min read
Why PC Operating Systems Diverged From Unix in the First Place

Why PC Operating Systems Diverged From Unix in the First Place

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

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

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

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

Comments
4 min read
POSIX Explained Like You Actually Need It (Not Like a Textbook)

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

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

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

Comments
2 min read
📐 HOL Light — The Minimal Proof Language for Formal Mathematics and Verified Software

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

Comments 1
2 min read
🎮 AngelScript Variant — A Lightweight Scripting Language Inspired by C++ for Embedded Engines

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

Comments
2 min read
🧱 Jinja2 Template Language — The Engine Behind Dynamic HTML, Emails, and Configs

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

Comments
2 min read
🧩 Svelte Mini DSL — The Hidden Micro-Language Inside Svelte's Markup System

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

Comments
2 min read
🛍 Liquid — The Templating Language Powering Shopify Themes and Static Content

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

1
Comments
2 min read
🔧 Blockly Schema Language — The Metadata Language Behind Visual Block Programming

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

Comments
2 min read
🎮 GDScript (Legacy Mode) — The Old Scripting Language Behind Early Godot Engines

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

1
Comments
2 min read
🧬 Flix — A Modern Functional Language Built on Logic, Effects, and the JVM

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

Comments
2 min read
🐾 Kitten — A Typed Concatenative Language Inspired by Joy and Rust

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

Comments
2 min read
🐈 Cat — A Concatenative Language Focused on Simplicity and Type Safety

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

Comments
2 min read
⚪ OneLang — A Programming Language Built From Only One Symbol

⚪ OneLang — A Programming Language Built From Only One Symbol

Comments
2 min read
📦 ByteLang — A Language Where Every Instruction Is Just a Single Byte

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

Comments
2 min read
🕊 LambdaBird — A Tiny Lambda Calculus Style Language That Uses Bird Combinators

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

Comments
2 min read
🧬 SKI Combinator Calculus — Programming Without Variables, Assignments, or Functions

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

Comments
2 min read
🧩 P′′ — The Tiny Language That Inspired Brainfuck and Minimalist Computing

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

Comments
2 min read
🧪 Eff — The Language Built to Explore Algebraic Effects and Structured Concurrency

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

Comments
2 min read
🔐 Cryptol — The Language Designed Specifically for Cryptography and Security Proofs

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

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

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

Comments
2 min read
⚡ Futhark — The Functional Language Built for High-Performance Parallel Computing

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

Comments
2 min read
🧠 Agda — The Programming Language Where Types Become Mathematical Proofs

🧠 Agda — The Programming Language Where Types Become Mathematical Proofs

Comments
2 min read
📐 MiniZinc — A High-Level Language Designed for Constraint Solving

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

Comments
2 min read
📘 Lean — A Language for Formal Proofs and Verified Mathematics

📘 Lean — A Language for Formal Proofs and Verified Mathematics

Comments
2 min read
⚙️ PLC StructuredText Lite — A Simplified Industrial Automation Language

⚙️ PLC StructuredText Lite — A Simplified Industrial Automation Language

Comments
2 min read
🛰 Remote BoardLang — A Minimal Control Language for Networked or Distributed Boards

🛰 Remote BoardLang — A Minimal Control Language for Networked or Distributed Boards

Comments
2 min read
🧰 PocketASM — A Minimal Assembly-Like Language for Tiny Handheld and Emulator CPUs

🧰 PocketASM — A Minimal Assembly-Like Language for Tiny Handheld and Emulator CPUs

Comments
2 min read
📟 HP-RPL — The Stack-Based Language Hidden Inside Classic HP Calculators

📟 HP-RPL — The Stack-Based Language Hidden Inside Classic HP Calculators

Comments
2 min read
🧩 BasicStamp PBASIC — The Beginner-Friendly Language for Early Microcontrollers

🧩 BasicStamp PBASIC — The Beginner-Friendly Language for Early Microcontrollers

Comments
2 min read
🧮 TI-Calc Script — The Tiny Calculator Language Hidden in TI Graphing Calculators

🧮 TI-Calc Script — The Tiny Calculator Language Hidden in TI Graphing Calculators

Comments
2 min read
🤖 RobotC — A C-Style Language Built for Educational Robotics and Embedded Motion Control

🤖 RobotC — A C-Style Language Built for Educational Robotics and Embedded Motion Control

Comments
2 min read
🤖 Arduino Forth — A Minimal Forth Variant Adapted for Microcontrollers

🤖 Arduino Forth — A Minimal Forth Variant Adapted for Microcontrollers

1
Comments
2 min read
🐍 MicroPython (Limited Dialect) — Python Shrunk Down for Tiny Embedded Devices

🐍 MicroPython (Limited Dialect) — Python Shrunk Down for Tiny Embedded Devices

Comments
2 min read
🧪 TinyASM++ — A Minimal Assembly-Style Language with Extra Syntax Sugar

🧪 TinyASM++ — A Minimal Assembly-Style Language with Extra Syntax Sugar

Comments
2 min read
🔧 PICBasic Lite — A Simplified Microcontroller Language for Early Embedded Programming

🔧 PICBasic Lite — A Simplified Microcontroller Language for Early Embedded Programming

Comments
2 min read
🧾 Coq — A Language for Formal Proofs, Verified Logic, and Certified Software

🧾 Coq — A Language for Formal Proofs, Verified Logic, and Certified Software

Comments
2 min read
🧠 Idris — A Language Where Types Can Express Precise Program Guarantees

🧠 Idris — A Language Where Types Can Express Precise Program Guarantees

Comments
2 min read
loading...