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

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
🔑 Unlock Rust's Power: Demystifying Ownership.
Cover image for 🔑 Unlock Rust's Power: Demystifying Ownership.

🔑 Unlock Rust's Power: Demystifying Ownership.

1
Comments
5 min read
Portfolio Project: Python Terminal Game
Cover image for Portfolio Project: Python Terminal Game

Portfolio Project: Python Terminal Game

Comments
1 min read
Understanding Dart Class Modifiers by Using Lattices

Understanding Dart Class Modifiers by Using Lattices

4
Comments 1
3 min read
Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables

Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables

Comments
2 min read
Por que usar Softmax com Categorical Cross-Entropy para o problema da flor íris?
Cover image for Por que usar Softmax com Categorical Cross-Entropy para o problema da flor íris?

Por que usar Softmax com Categorical Cross-Entropy para o problema da flor íris?

Comments
4 min read
Difference Array Technique

Difference Array Technique

Comments
4 min read
🧩 P′′ — The Tiny Language That Inspired Brainfuck and Minimalist Computing
Cover image for 🧩 P′′ — The Tiny Language That Inspired Brainfuck and Minimalist Computing

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

Comments
2 min read
🧬 SKI Combinator Calculus — Programming Without Variables, Assignments, or Functions
Cover image for 🧬 SKI Combinator Calculus — Programming Without Variables, Assignments, or Functions

🧬 SKI Combinator Calculus — Programming Without Variables, Assignments, or Functions

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

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

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

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

Comments
2 min read
⚡ Futhark — The Functional Language Built for High-Performance Parallel Computing
Cover image for ⚡ Futhark — The Functional Language Built for High-Performance Parallel Computing

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

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

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

Comments
2 min read
Selection Sort Simplified: Easy Guide
Cover image for Selection Sort Simplified: Easy Guide

Selection Sort Simplified: Easy Guide

Comments
4 min read
📦 ByteLang — A Language Where Every Instruction Is Just a Single Byte
Cover image for 📦 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
Cover image for 🧠 Agda — The Programming Language Where Types Become Mathematical Proofs

🧠 Agda — The Programming Language Where Types Become Mathematical Proofs

Comments
2 min read
🐾 Kitten — A Typed Concatenative Language Inspired by Joy and Rust
Cover image for 🐾 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
Cover image for 🕊 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
Cover image for ⚪ OneLang — A Programming Language Built From Only One Symbol

⚪ OneLang — A Programming Language Built From Only One Symbol

Comments
2 min read
📘 Lean — A Language for Formal Proofs and Verified Mathematics
Cover image for 📘 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
Cover image for 📐 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
Cover image for 🧪 TinyASM++ — A Minimal Assembly-Style Language with Extra Syntax Sugar

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

Comments
2 min read
I discovered this system — Number Garden.
Cover image for I discovered this system — Number Garden.

I discovered this system — Number Garden.

Comments
1 min read
Day 43 of 100 days dsa coding challenge
Cover image for Day 43 of 100 days dsa coding challenge

Day 43 of 100 days dsa coding challenge

1
Comments
2 min read
Transistors: The Complete Deep-Dive Guide for Developers
Cover image for Transistors: The Complete Deep-Dive Guide for Developers

Transistors: The Complete Deep-Dive Guide for Developers

Comments 1
4 min read
When Big O Lies
Cover image for When Big O Lies

When Big O Lies

Comments
14 min read
loading...