CommunityNews

To be a better programmer, write little proofs in your head

This is a brief write-up of a trick I learned that helps me write code faster and more accurately. I say “trick”, but it’s really something I started to do without noticing as I moved further into my career.

When you’re working on something difficult, sketch a proof in your

Read in full here:

2 comments

0 34 2

2025-07-16 14:32:05 UTC

Most Liked

alvinkatojr

The approaches mentioned here are topics in Discrete Mathematics. One of the first topics taught there is logic and proofs.

Unfortunately mathematics is poorly taught and it’s books are also poorly written but do look up what you can find. The MathTutor on Youtube has a free playlist on Discrete Mathematics that you may like.

Post #3

Where Next?

View thread on forum

Home General Dev>In The News

0 34 2

Last post

Popular General Dev topics

General Dev>In The News

I am lonely will anyone speak to me

en.wikipedia.org

/diversity #mental-health

0 1210 1

2020-12-26 08:45:20 UTC

New

General Dev>In The News

Kinesis Advantage360 Ergonomic Keyboard

Kinesis Advantage360 Ergonomic Keyboard. Split-adjustable, contoured design that maximizes comfort and boosts productivity. Mechanical s...

kinesis-ergo.com

/keyboards #ergonomic

0 1243 0

2021-12-18 06:40:34 UTC

New

General Dev>In The News

Keyboard lets people type so fast it’s banned from typing competitions

This Keyboard Lets People Type So Fast It’s Banned From Typing Competitions. A new peripheral lets you keep typing without ever lifting ...

vice.com

#typing #type #keyboard

13 1663 6

2022-01-07 20:00:03 UTC

New

General Dev>In The News

LiveKit – open-source, high performance WebRTC infrastructure

GitHub - livekit/livekit: Scalable, high-performance WebRTC SFU. SDKs in JavaScript, React, React Native, Flutter, Swift, Kotlin, Unity/C...

github.com

#infrastructure #performance #webrtc

1 1258 1

2022-12-02 07:18:47 UTC

New

General Dev>In The News

8 Reasons to ditch Chrome and use Firefox

8 reasons to ditch Chrome and switch to Firefox. Chrome may dominate, but Firefox is a known name among browsers for a reason. Whether y...

pcworld.com

#chrome #firefox

73 1518 41

2022-07-14 16:50:27 UTC

New

General Dev>In The News

A Framework for Prioritizing Tech Debt

A Framework for Prioritizing Tech Debt. Leverage is a powerful tool that applies to many things, including the code we write. However, t...

maxcountryman.com

0 675 0

2023-01-19 16:21:31 UTC

New

General Dev>In The News

When Zig is safer and faster than Rust

When Zig is safer and faster than Rust. There are endless debates online about Rust vs. Zig, this post explores a side of the argument I...

zackoverflow.dev

/rust /zig

0 1072 0

2023-03-08 15:55:05 UTC

New

General Dev>In The News

Zig now has built-in HTTP server and client in std

zig/http.zig at 7cf2cbb33ef34c1d211135f56d30fe23b6cacd42 · ziglang/zig. General-purpose programming language and toolchain for maintaini...

github.com

/zig #http

0 2781 0

2023-05-19 00:35:41 UTC

New

General Dev>In The News

Why Ruby on Rails still matters

Why Ruby on Rails still matters. An old tool endures in a Next.js world

contraption.co

/ruby /rails

12 394 7

2025-03-04 08:44:37 UTC

New

General Dev>In The News

It looks like Microsoft is about to kill Skype

Skype’s days appear to be numbered, as a hidden string in the latest Skype for Windows preview suggests Microsoft will shutter the servic...

windowscentral.com

#microsoft

3 217 2

2025-03-09 23:23:17 UTC

New

Other popular topics

General Dev>Learning Resources

A Common-Sense Guide to Data Structures and Algorithms, Second Edition

Algorithms and data structures are much more than abstract concepts. Mastering them enables you to write code that runs faster and more e...

pragprog.com

#pragprog /python /ruby #published-book /book-a-common-sense-guide-to-data-structures-and-algorithms-second-edition #math #algorithms /js

19 3322 5

2020-08-14 00:58:37 UTC

New

General Dev>Dev Chat

Which vertical monitor do you use?

I’m thinking of buying a monitor that I can rotate to use as a vertical monitor? Also, I want to know if someone is using it for program...

#monitors #programming

51 4319 20

2023-06-28 07:23:42 UTC

New

General Dev>Dev Chat

How fast do you type? Check your WPM here!

Do the test and post your score :nerd_face: :keyboard: If possible, please add info such as the keyboard you’re using, the layout (Qw...

typing-speed-test.aoeu.eu

/keyboards

82 6920 31

2021-07-10 05:52:20 UTC

New

General Dev>Content Creators

What tech topics do you think will (or should) be the focus of 2021?

Hello content creators! Happy new year. What tech topics do you think will be the focus of 2021? My vote for one topic is ethics in tech...

#general

110 3900 43

2021-04-23 18:29:04 UTC

New

Science/Tech>Health & Diet

David Sinclair's new Lifespan podcast

We’ve talked about his book briefly here but it is quickly becoming obsolete - so he’s decided to create a series of 7 podcasts, the firs...

#health #podcasts #bio-hackers #david-sinclair

87 6021 49

2022-04-12 16:27:36 UTC

New

Community>In The Spotlight

Spotlight: Mike Riley (Author) Interview and AMA!

Author Spotlight Mike Riley @mriley This month, we turn the spotlight on Mike Riley, author of Portable Python Projects. Mike’s book ...

#author-spotlight /python #iot /book-portable-python-projects #internet-of-things

62 6351 19

2022-06-09 14:01:01 UTC

New

macOS>Chat

How to block any website on Mac using Little Snitch

If you want a quick and easy way to block any website on your Mac using Little Snitch simply… File > New Rule: And select Deny, O...

#macos #how-to #littlesnitch

5 8045 3

2022-07-05 00:59:40 UTC

New

Community>In The Spotlight

Spotlight: David Bryant Copeland (Author) Interview and AMA!

Author Spotlight: David Bryant Copeland @davetron5000 We’re so happy to bring you another Author Spotlight, a series where we sit dow...

#author-spotlight /book-agile-web-development-with-rails-6 /book-rails-angular-postgres-and-bootstrap-second-edition /book-sustainable-web-development-with-ruby-on-rails

19 3459 15

2023-03-28 18:14:47 UTC

New

Backend>Learning Resources

Engineering Elixir Applications

Develop, deploy, and debug BEAM applications using BEAMOps: a new paradigm that focuses on scalability, fault tolerance, and owning each ...

pragprog.com

#pragprog /elixir #published-book /book-engineering-elixir-applications

40 2292 21

2024-11-08 15:13:02 UTC

New

Android>Questions

Unresolved Reference to android in build.gradle.kts – Beginner Issue

Hello, I’m a beginner in Android development and I’m facing an issue with my project setup. In my build.gradle.kts file, I have the foll...

#binding

0 2183 2

2024-12-09 21:07:33 UTC

New

To be a better programmer, write little proofs in your head

CommunityNews

To be a better programmer, write little proofs in your head

Most Liked

alvinkatojr

Where Next?

Popular General Dev topics

I am lonely will anyone speak to me

Kinesis Advantage360 Ergonomic Keyboard

Keyboard lets people type so fast it’s banned from typing competitions

LiveKit – open-source, high performance WebRTC infrastructure

8 Reasons to ditch Chrome and use Firefox

A Framework for Prioritizing Tech Debt

When Zig is safer and faster than Rust

Zig now has built-in HTTP server and client in std

Why Ruby on Rails still matters

It looks like Microsoft is about to kill Skype

Other popular topics

A Common-Sense Guide to Data Structures and Algorithms, Second Edition

Which vertical monitor do you use?

How fast do you type? Check your WPM here!

What tech topics do you think will (or should) be the focus of 2021?

David Sinclair's new Lifespan podcast

Spotlight: Mike Riley (Author) Interview and AMA!

How to block any website on Mac using Little Snitch

Spotlight: David Bryant Copeland (Author) Interview and AMA!

Engineering Elixir Applications

Unresolved Reference to android in build.gradle.kts – Beginner Issue

General Dev>In The News

Latest on Devtalk

We ❤️ helpful members!

Categories:

Sub Categories:

Popular Portals

We're in Beta

To be a better programmer, write little proofs in your head

CommunityNews

To be a better programmer, write little proofs in your head

Most Liked

alvinkatojr

Where Next?

Popular General Dev topics

I am lonely will anyone speak to me

Kinesis Advantage360 Ergonomic Keyboard

Keyboard lets people type so fast it’s banned from typing competitions

LiveKit – open-source, high performance WebRTC infrastructure

8 Reasons to ditch Chrome and use Firefox

A Framework for Prioritizing Tech Debt

When Zig is safer and faster than Rust

Zig now has built-in HTTP server and client in std

Why Ruby on Rails still matters

It looks like Microsoft is about to kill Skype

Other popular topics

A Common-Sense Guide to Data Structures and Algorithms, Second Edition

Which vertical monitor do you use?

How fast do you type? Check your WPM here!

What tech topics do you think will (or should) be the focus of 2021?

David Sinclair's new Lifespan podcast

Spotlight: Mike Riley (Author) Interview and AMA!

How to block any website on Mac using Little Snitch

Spotlight: David Bryant Copeland (Author) Interview and AMA!

Engineering Elixir Applications

Unresolved Reference to android in build.gradle.kts – Beginner Issue

Sponsor Spotlight

General Dev>In The News

Latest on Devtalk

We ❤️ helpful members!

Devtalk Sponsors

Categories:

Sub Categories:

Popular Portals

Devtalk Sponsors

We're in Beta