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.
Parallelization

Parallelization

Comments
6 min read
The 2026 Computer Science Playbook: How to Learn, Where to Focus, and What It Really Takes to Get Hired in the AI Era

The 2026 Computer Science Playbook: How to Learn, Where to Focus, and What It Really Takes to Get Hired in the AI Era

3
Comments
7 min read
Building Reproducible Geospatial Pipelines: A STAC Extension with DAGs

Building Reproducible Geospatial Pipelines: A STAC Extension with DAGs

1
Comments
3 min read
📐 HOL Light — The Minimal Proof Language for Formal Mathematics and Verified Software

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

Comments 1
2 min read
What I Learned Building 20+ Real Projects as a CS + AI/ML Student :- The Practical Roadmap I Wish I Had on Day 1

What I Learned Building 20+ Real Projects as a CS + AI/ML Student :- The Practical Roadmap I Wish I Had on Day 1

Comments
3 min read
6 months CSE - The System Suite

6 months CSE - The System Suite

Comments
4 min read
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
Consistent Hashing: The Unseen Engine

Consistent Hashing: The Unseen Engine

1
Comments
5 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
Three Programming Superpowers In One Function

Three Programming Superpowers In One Function

2
Comments
7 min read
Writing Your First Compiler - Part 7: Taking Stock

Writing Your First Compiler - Part 7: Taking Stock

Comments
7 min read
Position-Candidate-Hypothesis (PCH) Paradigm: A New Research Direction for NP-Complete Problems

Position-Candidate-Hypothesis (PCH) Paradigm: A New Research Direction for NP-Complete Problems

16
Comments
2 min read
Understanding Hubs In Networking| Israh Binoj

Understanding Hubs In Networking| Israh Binoj

1
Comments
2 min read
Building BeaconOS From Scratch

Building BeaconOS From Scratch

1
Comments
2 min read
I built a Lisp VM in Rust that proves its own execution trace (STARKs + Winterfell)

I built a Lisp VM in Rust that proves its own execution trace (STARKs + Winterfell)

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