Forem

Programming

The magic behind computers. 💻 🪄

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
🧠 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
7 Best Resources to Learn Rust: My Journey from Confusion to Clarity
Cover image for 7 Best Resources to Learn Rust: My Journey from Confusion to Clarity

7 Best Resources to Learn Rust: My Journey from Confusion to Clarity

2
Comments 1
3 min read
CodexPad — a Notion-like workspace for Vim users (early feedback welcome)

CodexPad — a Notion-like workspace for Vim users (early feedback welcome)

1
Comments
1 min read
Can AI Trustworthy? Uncovering the Limits of LLM-Powered Code Security

Can AI Trustworthy? Uncovering the Limits of LLM-Powered Code Security

Comments
2 min read
When a simple order update breaks Revolut Checkout workflow
Cover image for When a simple order update breaks Revolut Checkout workflow

When a simple order update breaks Revolut Checkout workflow

Comments
4 min read
Methods in Java

Methods in Java

2
Comments
1 min read
Setting Up CI, Automated Testing, and Linting for My share-my-repo Project

Setting Up CI, Automated Testing, and Linting for My share-my-repo Project

Comments
4 min read
Leveling Up My Spring Skills: Starting Spring Boot Cookbook + Spring AI in Action

Leveling Up My Spring Skills: Starting Spring Boot Cookbook + Spring AI in Action

Comments
1 min read
Stop Asking for Data! Master the "Tell, Don't Ask" Principle

Stop Asking for Data! Master the "Tell, Don't Ask" Principle

1
Comments
2 min read
Enhancing Natural Flow in Gemini Live: Testing Interruptions and a Proposed Context Layer
Cover image for Enhancing Natural Flow in Gemini Live: Testing Interruptions and a Proposed Context Layer

Enhancing Natural Flow in Gemini Live: Testing Interruptions and a Proposed Context Layer

Comments
4 min read
Understanding Threads in Computing: A Practical Guide for Developers
Cover image for Understanding Threads in Computing: A Practical Guide for Developers

Understanding Threads in Computing: A Practical Guide for Developers

Comments
4 min read
Coderive: A Mobile-first General Programming Language Entirely Built on a Phone
Cover image for Coderive: A Mobile-first General Programming Language Entirely Built on a Phone

Coderive: A Mobile-first General Programming Language Entirely Built on a Phone

Comments
4 min read
Rust Chronicles #3 - immutability, valuing safety over convenience
Cover image for Rust Chronicles #3 - immutability, valuing safety over convenience

Rust Chronicles #3 - immutability, valuing safety over convenience

1
Comments
6 min read
🚀 The Unexpected Lesson That Finally Made Me a Better Developer
Cover image for 🚀 The Unexpected Lesson That Finally Made Me a Better Developer

🚀 The Unexpected Lesson That Finally Made Me a Better Developer

Comments
2 min read
Systemd Explained: Units, Targets, and Why systemctl Is More Than Start and Stop
Cover image for Systemd Explained: Units, Targets, and Why systemctl Is More Than Start and Stop

Systemd Explained: Units, Targets, and Why systemctl Is More Than Start and Stop

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