Search: buttondown.email | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

What chocolatiering taught me about programming

buttondown.email

3 years ago

3 points

242.

Laziness Prevails

buttondown.email

3 years ago

3 points

243.

Some tests are stronger than others

buttondown.email

3 years ago

3 points

244.

GPT is revolutionary: Even a stochastic parrot can sing

buttondown.email

3 years ago

3 points

245.

1-Hour Code: Fast Programming is a Powerful Skill

buttondown.email

3 years ago

3 points

246.

Formalizing Stability and Resilience Properties via TLA+

buttondown.email

3 years ago

3 points

247.

Teaching Implication Better

buttondown.email

3 years ago

3 points

248.

Running things on Plan 9 using WebAssembly

buttondown.email

3 years ago

3 points

249.

In Defense of Testing Mocks

buttondown.email

3 years ago

3 points

250.

Why Modeling Finds Bugs (Without Model-Checking)

buttondown.email

3 years ago

3 points

251.

Bugs That Cost Money

buttondown.email

4 years ago

3 points

252.

Show HN: Double-X-Encoding – Encode any UTF-8 string with [0-9a-zA-Z_]

buttondown.email

4 years ago

3 points

253.

Software Moves – Verbing Patterns

buttondown.email

4 years ago

3 points

254.

Software Isomorphisms

buttondown.email

4 years ago

3 points

255.

Giving Names to Things

buttondown.email

4 years ago

3 points

256.

I have complicated feelings about TDD

buttondown.email

4 years ago

3 points

257.

You can automate more than you think

buttondown.email

4 years ago

3 points

258.

The Esotech Lit Gap

buttondown.email

4 years ago

3 points

259.

I finally found a use for XML

buttondown.email

4 years ago

3 points

260.

The Parable of the Crow

buttondown.email

4 years ago

3 points

261.

A Short Treatise on Bugs

buttondown.email

4 years ago

3 points

262.

Programming as a Vehicle for Math

buttondown.email

5 years ago

3 points

263.

Defense in Depth is a good thing

buttondown.email

5 years ago

3 points

264.

A Survey of Mathy Jobs

buttondown.email

5 years ago

3 points

265.

Algorithm Monocultures

buttondown.email

5 years ago

3 points

266.

Program Spaces and Interesting Counterexamples

buttondown.email

5 years ago

3 points

267.

Predicate Logic for Programmers

buttondown.email

5 years ago

3 points

268.

Scaffolding TLA+

buttondown.email

5 years ago

3 points

269.

Why Property Testing Finds Bugs Unit Testing Does Not

buttondown.email

5 years ago

3 points

270.

Vim Is Turing-Complete

buttondown.email

5 years ago

3 points