Search: buttondown.com/hillelwayne | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Many hard LeetCode problems are easy constraint problems

9 months ago

679 points

2.

Syntax highlighting is a waste of an information channel (2020)

8 months ago

346 points

3.

Unusual Raku Features

2 years ago

274 points

4.

Why Not Comments

2 years ago

261 points

5.

Three ways formally verified code can go wrong in practice

8 months ago

184 points

6.

What does “Undecidable” mean, anyway

a year ago

156 points

7.

My Gripes with Prolog

5 months ago

155 points

8.

The Opposite of Documentation is Superstition (2020)

2 years ago

154 points

9.

Solving LinkedIn Queens with SMT

a year ago

135 points

10.

Five Kinds of Nondeterminism

a year ago

135 points

11.

It's not enough for a program to work – it has to work for the right reasons

2 years ago

125 points

12.

I Prefer RST to Markdown (2024)

10 months ago

114 points

13.

Solving a “Layton Puzzle” with Prolog

a year ago

110 points

14.

The Halting Problem is a terrible example of NP-Harder

a year ago

108 points

15.

When would you ever want bubblesort? (2023)

6 months ago

108 points

16.

TLA from First Principles

2 years ago

103 points

17.

Formally Modeling Dreidel, the Sequel

2 years ago

100 points

18.

Points are a weird and inconsistent unit of measure

a month ago

85 points

19.

Why do regexes use `$` and `^` as line anchors? (2024)

a year ago

79 points

20.

Requirements change until they don't

a year ago

74 points

21.

Ternary Operators

2 years ago

68 points

22.

Verification-First Development

a year ago

65 points

23.

State and time are the same thing

2 years ago

63 points

24.

Words about Arrays and Tables

a year ago

62 points

25.

Why Property Testing Finds Bugs Unit Testing Does Not (2021)

a year ago

57 points

26.

Are efficiency and horizontal scalability at odds?

a year ago

49 points

27.

I hate science (2021)

8 months ago

40 points

28.

Turing kicked us out of Heaven (2023)

2 years ago

34 points

29.

The Liskov Substitution Principle does more than you think

6 months ago

29 points

30.

Refinement Without Specification

5 months ago

29 points