Skip to content

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! 🤓

about #computerscience

Did you learn about a new data structure recently? Or perhaps you tried to implement an algorithm in a new language? Or maybe you need help understanding a white paper? The #computerscience tag is a great place for any of these questions and ideas.

Please be sure to cross-tag any content that might help other folks in the DEV community. For example, an introduction to linked lists should also be tagged with the #beginners tag. Similarly, a post that asks for a simple explanation to the traveling salesman problem should be tagged with the #explainlikeimfive tag.

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

⠀

Nov 28 '25

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

#computerscience #programming #softwaredevelopment

2 min read

⠀

Nov 29 '25

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

#showdev #computerscience #programming

2 min read

⠀

Nov 29 '25

🧠 Agda — The Programming Language Where Types Become Mathematical Proofs

#computerscience #learning #programming

2 min read

Nov 7 '25

Consistent Hashing: The Unseen Engine

#architecture #performance #computerscience #interview

5 min read

⠀

Nov 28 '25

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

#algorithms #computerscience #programming

1 min read

⠀

Nov 28 '25

🐈Cat — A Typed Concatenative Language Inspired by Joy

#computerscience #learning #programming

1 min read

⠀

Nov 29 '25

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

#showdev #computerscience #programming #rust

2 min read

⠀

Nov 29 '25

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

#computerscience #learning #programming

2 min read

⠀

Nov 29 '25

⚪ OneLang — A Programming Language Built From Only One Symbol

#computerscience #design #programming

2 min read

⠀

Nov 29 '25

📘 Lean — A Language for Formal Proofs and Verified Mathematics

#computerscience #programming #tooling

2 min read

⠀

Nov 27 '25

🎺 Trumpet — The Language Where Programming Looks Like Sheet Music

#computerscience #design #programming

2 min read

⠀

Nov 29 '25

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

#algorithms #computerscience #ai #tooling

2 min read

⠀

Nov 29 '25

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

#showdev #learning #computerscience #programming

2 min read

⠀

Nov 28 '25

🦀📏 RustSpanLang — The Experimental Borrow-Checker Syntax Playground

#computerscience #rust #testing

2 min read

⠀

Nov 27 '25

🧨 Dis — The Stack Language Built Out of Debugger Commands and Chaos

#showdev #computerscience #programming

2 min read

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