Search: buttondown.email | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

Can formal methods succeed where UML failed?

buttondown.email

5 years ago

3 points

212.

None of us are the same anymore, and some of us are dead

buttondown.email

5 years ago

3 points

213.

The Pendulum Swings Eternal

buttondown.email

6 years ago

3 points

214.

OAuth 2.0 resources you can understand

buttondown.email

6 years ago

3 points

215.

Cryptography Dispatches: Registries Considered Harmful

buttondown.email

6 years ago

3 points

216.

Making Illegal States Unrepresentable

buttondown.email

6 years ago

3 points

217.

What's the Most Expensive Software per Byte?

buttondown.email

6 years ago

3 points

218.

Keep Perfecting Your Config

buttondown.email

2 years ago

3 points

219.

That GPT-4o Demo

buttondown.email

2 years ago

3 points

220.

How Stripe Built a Culture of Shipping

buttondown.email

2 years ago

3 points

221.

Null Bitmap Builds a Database #1: The Log Is the Database

buttondown.email

2 years ago

3 points

222.

What I look for in empirical software papers

buttondown.email

2 years ago

3 points

223.

Claude 3 is officially America's Next Top Model

buttondown.email

2 years ago

3 points

224.

Programming Jigs

buttondown.email

2 years ago

3 points

225.

How to argue for something without any scientific evidence

buttondown.email

2 years ago

3 points

226.

Surprising Results Benchmarking Direct IO vs. Buffered IO Using Fio

buttondown.email

2 years ago

3 points

227.

Why all([]) is true, prod([]) is 1, etc.

buttondown.email

2 years ago

3 points

228.

Thinking about Closure and LSMs

buttondown.email

2 years ago

3 points

229.

Advice for new software devs who've read all those other advice essays

buttondown.email

3 years ago

3 points

230.

Was JavaScript really made in 10 days?

buttondown.email

3 years ago

3 points

231.

Raku is surprisingly good for CLIs

buttondown.email

3 years ago

3 points

232.

Representing Columns in Query Optimizers

buttondown.email

3 years ago

3 points

233.

Tauri newsletter #2, featuring an interview with Tauri co-creator

buttondown.email

3 years ago

3 points

234.

Beware the ChatBot, or Musings on a Modern Prometheus

buttondown.email

3 years ago

3 points

235.

GitHub has too many hidden features

buttondown.email

3 years ago

3 points

236.

GitHub has many hidden features

buttondown.email

3 years ago

3 points

237.

Hard and Soft Statistics

buttondown.email

3 years ago

3 points

238.

Structuring Technical Blog Posts

buttondown.email

3 years ago

3 points

239.

Turing kicked out us out of Heaven

buttondown.email

3 years ago

3 points

240.

The Halloween Problem

buttondown.email

3 years ago

3 points