DEV Community

Learning

“I have no special talent. I am only passionately curious.” - Albert Einstein

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
📌 Agda — The Language Where Programs and Proofs Become the Same Thing

📌 Agda — The Language Where Programs and Proofs Become the Same Thing

1
Comments
2 min read
Multimedia Systems Syllabus for MAKAUT CSE 7th Semester Exam

Multimedia Systems Syllabus for MAKAUT CSE 7th Semester Exam

Comments
1 min read
📌 MicroTape — A Tiny Tape-Based Language Inspired by Minimal Turing Models

📌 MicroTape — A Tiny Tape-Based Language Inspired by Minimal Turing Models

Comments
2 min read
The Meta-Skill of Prompting: It’s Not Magic, It’s Logic

The Meta-Skill of Prompting: It’s Not Magic, It’s Logic

Comments
2 min read
10 Smart R Programming Practices to Become a Better R Programmer

10 Smart R Programming Practices to Become a Better R Programmer

5
Comments
8 min read
🧠 Agda — The Programming Language Where Types Become Mathematical Proofs

🧠 Agda — The Programming Language Where Types Become Mathematical Proofs

Comments
2 min read
Getting Started with RPG (and Coffee)

Getting Started with RPG (and Coffee)

Comments
7 min read
🐈Cat — A Typed Concatenative Language Inspired by Joy

🐈Cat — A Typed Concatenative Language Inspired by Joy

Comments
1 min read
🕊 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
The Wisdom of Not Knowing (Bite-size Article)

The Wisdom of Not Knowing (Bite-size Article)

Comments
3 min read
⚙️ PLC StructuredText Lite — A Simplified Industrial Automation Language

⚙️ PLC StructuredText Lite — A Simplified Industrial Automation Language

Comments
2 min read
🧰 PocketASM — A Minimal Assembly-Like Language for Tiny Handheld and Emulator CPUs

🧰 PocketASM — A Minimal Assembly-Like Language for Tiny Handheld and Emulator CPUs

Comments
2 min read
"Technical Debt Will Bite Us in the Ass": How to Make Non-Technical Stakeholders Actually Care

"Technical Debt Will Bite Us in the Ass": How to Make Non-Technical Stakeholders Actually Care

59
Comments 21
6 min read
🔧 PICBasic Lite — A Simplified Microcontroller Language for Early Embedded Programming

🔧 PICBasic Lite — A Simplified Microcontroller Language for Early Embedded Programming

Comments
2 min read
🧪 TinyASM++ — A Minimal Assembly-Style Language with Extra Syntax Sugar

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

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