Skip to content

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

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.

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

Nov 29 '25

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

#showdev #computerscience #programming

2 min read

Cover image for 🧠 Agda — The Programming Language Where Types Become Mathematical Proofs

Nov 29 '25

🧠 Agda — The Programming Language Where Types Become Mathematical Proofs

#computerscience #learning #programming

2 min read

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

Nov 29 '25

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

#showdev #computerscience #programming #rust

2 min read

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

Nov 29 '25

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

#computerscience #learning #programming

2 min read

Cover image for ⚪ OneLang — A Programming Language Built From Only One Symbol

Nov 29 '25

⚪ OneLang — A Programming Language Built From Only One Symbol

#computerscience #design #programming

2 min read

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

Nov 29 '25

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

#algorithms #computerscience #ai #tooling

2 min read

Cover image for 📘 Lean — A Language for Formal Proofs and Verified Mathematics

Nov 29 '25

📘 Lean — A Language for Formal Proofs and Verified Mathematics

#computerscience #programming #tooling

2 min read

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

Nov 29 '25

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

#showdev #learning #computerscience #programming

2 min read

Cover image for I discovered this system — Number Garden.

Marko Schoenenberger

Nov 14 '25

I discovered this system — Number Garden.

#programming #computerscience

1 min read

Cover image for Day 43 of 100 days dsa coding challenge

Nov 14 '25

Day 43 of 100 days dsa coding challenge

#algorithms #coding #devjournal #computerscience

2 min read

Cover image for Transistors: The Complete Deep-Dive Guide for Developers

Farhad Rahimi Klie

Dec 17 '25

Transistors: The Complete Deep-Dive Guide for Developers

#transistors #computerscience #electronic #programming

4 min read

Cover image for When Big O Lies

Kyrylo Rud

Nov 16 '25

When Big O Lies

#algorithms #computerscience #performance #programming

14 min read

Cover image for Understanding Computer Binary: The Foundation of All Computing

Farhad Rahimi Klie

Dec 16 '25

Understanding Computer Binary: The Foundation of All Computing

#architecture #computerscience #basic #programming

3 min read

Cover image for Tupper's Self-Referential Formula: A Math Equation That Draws Itself!

Dec 16 '25

Tupper's Self-Referential Formula: A Math Equation That Draws Itself!

#algorithms #computerscience #science

4 min read

Cover image for Why I am stuck and always Learning..

Siddhesh Talawadekar

Nov 14 '25

Why I am stuck and always Learning..

#discuss #motivation #learning #computerscience

1 min read

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