DEV Community

Productivity

Productivity includes tips on how to use tools and software, process optimization, useful references, experience, and mindstate optimization.

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
Your AI coding agent doesn't need a smarter model. It needs your backlog.

Your AI coding agent doesn't need a smarter model. It needs your backlog.

Comments 2
6 min read
9 Ways to Cut Token Consumption in Claude Code

9 Ways to Cut Token Consumption in Claude Code

3
Comments 4
9 min read
Lean4 Might Be the Missing Piece in AI: Why Theorem Provers Are Suddenly Everywhere

Lean4 Might Be the Missing Piece in AI: Why Theorem Provers Are Suddenly Everywhere

10
Comments 1
5 min read
Rethinking Focus Apps: An Awareness-Based Approach Instead of Blocking

Rethinking Focus Apps: An Awareness-Based Approach Instead of Blocking

1
Comments
3 min read
The stuff that's easy to miss when you ship a site

The stuff that's easy to miss when you ship a site

Comments
2 min read
We Reviewed 10 PDF Tools — Here's What Happens to Your Files

We Reviewed 10 PDF Tools — Here's What Happens to Your Files

Comments
1 min read
How Pair Programming and Mob Programming can make you a better AI Developer

How Pair Programming and Mob Programming can make you a better AI Developer

1
Comments
6 min read
I Built a Speech-to-Text Tool Because Sometimes Typing Just Gets in the Way

I Built a Speech-to-Text Tool Because Sometimes Typing Just Gets in the Way

5
Comments 8
2 min read
Dependent Types for Programmers: A Practical Introduction Using Lean 4

Dependent Types for Programmers: A Practical Introduction Using Lean 4

11
Comments
4 min read
The Hidden Reason Python Became the Face of AI

The Hidden Reason Python Became the Face of AI

4
Comments
4 min read
How to Undo a Git Commit (The Right Way)

How to Undo a Git Commit (The Right Way)

Comments
2 min read
Building Java Projects Without the Bloat: Introducing JAR Cart and the No-Build Extension Pack

Building Java Projects Without the Bloat: Introducing JAR Cart and the No-Build Extension Pack

5
Comments
2 min read
I built a collection of simple online tools because most tools are overcomplicated

I built a collection of simple online tools because most tools are overcomplicated

1
Comments
2 min read
I built a TUI dotfile browser in Go – here's why and how

I built a TUI dotfile browser in Go – here's why and how

Comments 2
2 min read
I Let AI Write 100% of My Code for 30 Days — Here's What Broke

I Let AI Write 100% of My Code for 30 Days — Here's What Broke

41
Comments 1
6 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.