Search: buttondown.email/hillelwayne | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Why do we call it “boilerplate code?”

buttondown.email

4 years ago

6 points

92.

No, “reasoning about code” is not a scam

buttondown.email

5 years ago

6 points

93.

Knowing math helps you write better software

buttondown.email

6 years ago

6 points

94.

On the benefits of humanities in software engineering

buttondown.email

4 years ago

5 points

95.

Edge Case Poisoning

buttondown.email

4 years ago

5 points

96.

I formally modeled Dreidel for no good reason

buttondown.email

3 years ago

5 points

97.

Formal Methods can't fix everything and that's okay

buttondown.email

3 years ago

5 points

98.

“Naming Things” Is a Poor Name for Naming Things

buttondown.email

5 years ago

5 points

99.

Strings do too many things

buttondown.email

2 years ago

4 points

100.

buttondown.email

3 years ago

4 points

101.

Microfeatures I'd like to see in more languages

buttondown.email

2 years ago

4 points

102.

"Integration tests" are just vibes

buttondown.email

2 years ago

4 points

103.

"Testing can show the presence of bugs but not the absence"

buttondown.email

2 years ago

4 points

104.

GitHub has too many hidden features

buttondown.email

2 years ago

4 points

105.

Symmetric Properties

buttondown.email

3 years ago

4 points

106.

What's Between a Set and a Sequence?

buttondown.email

3 years ago

4 points

107.

Maybe people do care about performance and reliability

buttondown.email

3 years ago

4 points

108.

Knowing math helps you write better software

buttondown.email

4 years ago

4 points

109.

Why do arrays start at 0?

buttondown.email

4 years ago

4 points

110.

Documentation could be so much better

buttondown.email

5 years ago

4 points

111.

What does 'TLA+' mean, anyway

buttondown.email

2 years ago

4 points

112.

Undocumented features of GitHub

buttondown.email

3 years ago

4 points

113.

My painful, futile quest for programmable slideshow animations

buttondown.email

3 years ago

4 points

114.

GPT4 should be part of your toolkit

buttondown.email

3 years ago

4 points

115.

The Capability-Tractability Tradeoff

buttondown.email

3 years ago

4 points

116.

Improve your debugging by asking broad questions

buttondown.email

3 years ago

4 points

117.

In Defense of Testing Mocks

buttondown.email

3 years ago

4 points

118.

Why Modeling Finds Bugs (Without Model-Checking)

buttondown.email

3 years ago

4 points

119.

Bugs That Cost Money

buttondown.email

4 years ago

4 points

120.

Making ChatGPT Useful

buttondown.email

4 years ago

4 points