Search: buttondown.email/hillelwayne | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

GitHub has too many hidden features

buttondown.email

3 years ago

3 points

152.

GitHub has many hidden features

buttondown.email

3 years ago

3 points

153.

Turing kicked out us out of Heaven

buttondown.email

3 years ago

3 points

154.

What chocolatiering taught me about programming

buttondown.email

3 years ago

3 points

155.

Some tests are stronger than others

buttondown.email

3 years ago

3 points

156.

GPT is revolutionary: Even a stochastic parrot can sing

buttondown.email

3 years ago

3 points

157.

1-Hour Code: Fast Programming is a Powerful Skill

buttondown.email

3 years ago

3 points

158.

Formalizing Stability and Resilience Properties via TLA+

buttondown.email

3 years ago

3 points

159.

Teaching Implication Better

buttondown.email

3 years ago

3 points

160.

In Defense of Testing Mocks

buttondown.email

3 years ago

3 points

161.

Why Modeling Finds Bugs (Without Model-Checking)

buttondown.email

3 years ago

3 points

162.

Bugs That Cost Money

buttondown.email

4 years ago

3 points

163.

Software Moves – Verbing Patterns

buttondown.email

4 years ago

3 points

164.

Software Isomorphisms

buttondown.email

4 years ago

3 points

165.

Giving Names to Things

buttondown.email

4 years ago

3 points

166.

I have complicated feelings about TDD

buttondown.email

4 years ago

3 points

167.

You can automate more than you think

buttondown.email

4 years ago

3 points

168.

The Esotech Lit Gap

buttondown.email

4 years ago

3 points

169.

I finally found a use for XML

buttondown.email

4 years ago

3 points

170.

The Parable of the Crow

buttondown.email

4 years ago

3 points

171.

A Short Treatise on Bugs

buttondown.email

4 years ago

3 points

172.

Defense in Depth is a good thing

buttondown.email

5 years ago

3 points

173.

Algorithm Monocultures

buttondown.email

5 years ago

3 points

174.

Program Spaces and Interesting Counterexamples

buttondown.email

5 years ago

3 points

175.

Predicate Logic for Programmers

buttondown.email

5 years ago

3 points

176.

Scaffolding TLA+

buttondown.email

5 years ago

3 points

177.

Why Property Testing Finds Bugs Unit Testing Does Not

buttondown.email

5 years ago

3 points

178.

Vim Is Turing-Complete

buttondown.email

5 years ago

3 points

179.

Cross-Branch Testing

buttondown.email

6 years ago

3 points

180.

No, your clean code won't save the planet

buttondown.email

6 years ago

3 points