DEV Community

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.
📌 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
Key Skills of a Software Engineer in the Modern AI Era

Key Skills of a Software Engineer in the Modern AI Era

2
Comments
3 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
🧠 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

Consistent Hashing: The Unseen Engine

1
Comments
5 min read
Selection Sort Simplified: Easy Guide

Selection Sort Simplified: Easy Guide

Comments
4 min read
🧬 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
🐈Cat — A Typed Concatenative Language Inspired by Joy

🐈Cat — A Typed Concatenative Language Inspired by Joy

Comments
1 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
🕊 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
⚪ OneLang — A Programming Language Built From Only One Symbol

⚪ OneLang — A Programming Language Built From Only One Symbol

Comments
2 min read
🎺 Trumpet — The Language Where Programming Looks Like Sheet Music

🎺 Trumpet — The Language Where Programming Looks Like Sheet Music

1
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
📐 MiniZinc — A High-Level Language Designed for Constraint Solving

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

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
👋 Sign in for the ability to sort posts by relevant, latest, or top.