Forem

Computer Science 🤓

This tag is for sharing and asking questions about anything related to computer science, including data structures, algorithms, research, and white papers! 🤓

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
🎮 ChipTuneLang — A Language Built Around Retro 8-Bit Sound Logic and Sequencing
Cover image for 🎮 ChipTuneLang — A Language Built Around Retro 8-Bit Sound Logic and Sequencing

🎮 ChipTuneLang — A Language Built Around Retro 8-Bit Sound Logic and Sequencing

Comments
2 min read
Supercomputadora Coatlicue: ¿ambición científica o espectáculo político?
Cover image for Supercomputadora Coatlicue: ¿ambición científica o espectáculo político?

Supercomputadora Coatlicue: ¿ambición científica o espectáculo político?

Comments 1
6 min read
📌 Agda — The Language Where Programs and Proofs Become the Same Thing
Cover image for 📌 Agda — The Language Where Programs and Proofs Become the Same Thing

📌 Agda — The Language Where Programs and Proofs Become the Same Thing

1
Comments
2 min read
📌 ClockLang — The Language Where Time Controls Execution
Cover image for 📌 ClockLang — The Language Where Time Controls Execution

📌 ClockLang — The Language Where Time Controls Execution

Comments
2 min read
🧩 ConcatenativeScript — JavaScript Reimagined as a Stack-Based Language
Cover image for 🧩 ConcatenativeScript — JavaScript Reimagined as a Stack-Based Language

🧩 ConcatenativeScript — JavaScript Reimagined as a Stack-Based Language

1
Comments
2 min read
⚡ DashStack — A Minimal Fast Stack Language Using Dash Symbols for Commands
Cover image for ⚡ DashStack — A Minimal Fast Stack Language Using Dash Symbols for Commands

⚡ DashStack — A Minimal Fast Stack Language Using Dash Symbols for Commands

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

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

Comments
2 min read
📌 Factor — The Stack-Based Language Built Around Words, Quotations, and Combinators
Cover image for 📌 Factor — The Stack-Based Language Built Around Words, Quotations, and Combinators

📌 Factor — The Stack-Based Language Built Around Words, Quotations, and Combinators

Comments
2 min read
📌 MicroTape — A Tiny Tape-Based Language Inspired by Minimal Turing Models
Cover image for 📌 MicroTape — A Tiny Tape-Based Language Inspired by Minimal Turing Models

📌 MicroTape — A Tiny Tape-Based Language Inspired by Minimal Turing Models

Comments
2 min read
📌 Zig (Alpha Spec) — The Early Experimental Phase Before Zig Stabilized
Cover image for 📌 Zig (Alpha Spec) — The Early Experimental Phase Before Zig Stabilized

📌 Zig (Alpha Spec) — The Early Experimental Phase Before Zig Stabilized

1
Comments
2 min read
📦 ByteLang — A Language Where Every Instruction Is Just a Single Byte
Cover image for 📦 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
🧠 Agda — The Programming Language Where Types Become Mathematical Proofs
Cover image for 🧠 Agda — The Programming Language Where Types Become Mathematical Proofs

🧠 Agda — The Programming Language Where Types Become Mathematical Proofs

Comments
2 min read
Consistent Hashing: The Unseen Engine
Cover image for Consistent Hashing: The Unseen Engine

Consistent Hashing: The Unseen Engine

1
Comments
5 min read
🧬 PegLang — A Language Built on Parsing Expression Grammars as Executable Logic
Cover image for 🧬 PegLang — A Language Built on Parsing Expression Grammars as Executable Logic

🧬 PegLang — A Language Built on Parsing Expression Grammars as Executable Logic

Comments
1 min read
🐾 Kitten — A Typed Concatenative Language Inspired by Joy and Rust
Cover image for 🐾 Kitten — A Typed Concatenative Language Inspired by Joy and Rust

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

Comments
2 min read
👋 Sign in for the ability to sort posts by relevant, latest, or top.