Search results

This paragraph makes no sense to me.

Status: Open.

#52 In stlab/better-code;

· dabrahams opened on Apr 13, 2026

Arbitrarily Inconsistent Names?

Status: Open.

#43 In stlab/better-code;

· dabrahams opened on Feb 12, 2026

We use "log" without saying that it's log base 2

Status: Open.

#38 In stlab/better-code;

· dabrahams opened on Jan 22, 2026

multilingual not supported?

Status: Open.

#35 In stlab/better-code;

· dabrahams opened on Dec 22, 2025

Need to address AI coding assistants

Status: Open.

#34 In stlab/better-code;

· dabrahams opened on Dec 16, 2025

Double check contracts chapter w.r.t. definition of correctness

Status: Open.

#30 In stlab/better-code;

· dabrahams opened on Sep 30, 2025

PL Internationalization for Accessibility & ensuring Genericity

post-draft

Status: Open.

#29 In stlab/better-code;

· tothambrus11 opened on Sep 25, 2025

Discuss unsafe operations

Status: Open.

#28 In stlab/better-code;

· dabrahams opened on Sep 25, 2025

"Code and Contract Evolution" lacks discussion of implicit postconditions

Status: Open.

#27 In stlab/better-code;

· katzdm opened on Sep 24, 2025