Search: buttondown.com/hillelwayne | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Many hard LeetCode problems are easy constraint problems (buttondown.com)

679 points

9 months ago

2.

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

346 points

8 months ago

3.

Unusual Raku Features (buttondown.com)

274 points

2 years ago

4.

Why Not Comments (buttondown.com)

261 points

2 years ago

5.

Three ways formally verified code can go wrong in practice (buttondown.com)

184 points

8 months ago

6.

What does “Undecidable” mean, anyway (buttondown.com)

156 points

a year ago

7.

My Gripes with Prolog (buttondown.com)

155 points

5 months ago

8.

The Opposite of Documentation is Superstition (2020) (buttondown.com)

154 points

2 years ago

9.

Solving LinkedIn Queens with SMT (buttondown.com)

135 points

a year ago

10.

Five Kinds of Nondeterminism (buttondown.com)

135 points

a year ago

11.

It's not enough for a program to work – it has to work for the right reasons (buttondown.com)

125 points

2 years ago

12.

I Prefer RST to Markdown (2024) (buttondown.com)

114 points

10 months ago

13.

Solving a “Layton Puzzle” with Prolog (buttondown.com)

110 points

a year ago

14.

The Halting Problem is a terrible example of NP-Harder (buttondown.com)

108 points

a year ago

15.

When would you ever want bubblesort? (2023) (buttondown.com)

108 points

6 months ago

16.

TLA from First Principles (buttondown.com)

103 points

2 years ago

17.

Formally Modeling Dreidel, the Sequel (buttondown.com)

100 points

a year ago

18.

Points are a weird and inconsistent unit of measure (buttondown.com)

85 points

23 days ago

19.

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

79 points

a year ago

20.

Requirements change until they don't (buttondown.com)

74 points

a year ago

21.

Ternary Operators (buttondown.com)

68 points

2 years ago

22.

Verification-First Development (buttondown.com)

65 points

a year ago

23.

State and time are the same thing (buttondown.com)

63 points

2 years ago

24.

Words about Arrays and Tables (buttondown.com)

62 points

10 months ago

25.

Why Property Testing Finds Bugs Unit Testing Does Not (2021) (buttondown.com)

57 points

a year ago

26.

Are efficiency and horizontal scalability at odds? (buttondown.com)

49 points

a year ago

27.

I hate science (2021) (buttondown.com)

40 points

7 months ago

28.

Turing kicked us out of Heaven (2023) (buttondown.com)

34 points

2 years ago

29.

The Liskov Substitution Principle does more than you think (buttondown.com)

29 points

5 months ago

30.

Refinement Without Specification (buttondown.com)

29 points

5 months ago