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 🧩 P′′ — The Tiny Language That Inspired Brainfuck and Minimalist Computing

⠀

Nov 29 '25

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

#computerscience #learning #programming

2 min read

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

⠀

Nov 29 '25

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

#algorithms #computerscience #tooling

2 min read

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

⠀

Nov 29 '25

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

#computerscience #java #programming

2 min read

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

⠀

Nov 29 '25

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

#computerscience #programming

2 min read

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

⠀

Nov 29 '25

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

#computerscience #performance #programming

2 min read

cz writes

Oct 26 '25

6 months CSE - The System Suite

#sideprojects #learning #cpp #computerscience

4 min read

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

⠀

Nov 29 '25

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

#architecture #computerscience #programming

2 min read

Cover image for 🥁 Beatnik — The Language Where Meaning Comes from Scrabble Scores

⠀

Nov 28 '25

🥁 Beatnik — The Language Where Meaning Comes from Scrabble Scores

#discuss #computerscience #programming

2 min read

Cover image for 🐱 Kitten — A Typed Concatenative Language Designed for Safety and Modularity

⠀

Nov 28 '25

🐱 Kitten — A Typed Concatenative Language Designed for Safety and Modularity

#computerscience #design #programming

2 min read

Cover image for 🔢 NumStack — A Numeric-Only Stack Language for Pure Arithmetic Computation

⠀

Nov 28 '25

🔢 NumStack — A Numeric-Only Stack Language for Pure Arithmetic Computation

#showdev #computerscience #programming

2 min read

Cover image for 📌 Joy — The Language That Runs on Pure Function Composition Instead of Variables

⠀

Nov 28 '25

📌 Joy — The Language That Runs on Pure Function Composition Instead of Variables

#computerscience #programming

2 min read

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

⠀

Nov 28 '25

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

#showdev #gamedev #programming #computerscience

2 min read

Cover image for 📌 TuringTiles — A Language Built from Tile-Based State Transitions

⠀

Nov 28 '25

📌 TuringTiles — A Language Built from Tile-Based State Transitions

#algorithms #computerscience #programming

2 min read

Cover image for 📌 Glypho — A Language Built from Abstract Symbols Instead of Text

⠀

Nov 28 '25

📌 Glypho — A Language Built from Abstract Symbols Instead of Text

#computerscience #design #programming

2 min read

Cover image for 📼 TapeMachineLang — A Language Modeled After Analog Tape Recording and Signal Flow

⠀

Nov 28 '25

📼 TapeMachineLang — A Language Modeled After Analog Tape Recording and Signal Flow

#showdev #design #computerscience #programming

2 min read

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