Search: gavinhoward.com | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

To Broadcast or Not to Broadcast: A Nuanced Perspective

gavinhoward.com

2 years ago

4 points

32.

What Rust Got Wrong on Formal Verification

gavinhoward.com

2 years ago

4 points

33.

The Most Annoying Math Problem

gavinhoward.com

3 years ago

4 points

34.

“Static Linking Considered Harmful” Considered Harmful

gavinhoward.com

5 years ago

4 points

35.

Link-Time Optimization vs. Single-File Code

gavinhoward.com

7 years ago

4 points

36.

How to Fund FOSS, Save It from the CRA, and Improve Cybersecurity

gavinhoward.com

2 years ago

3 points

37.

I Have Blocked OpenAI

gavinhoward.com

3 years ago

3 points

38.

I Solved the Expression Problem

gavinhoward.com

a year ago

3 points

39.

A Better OS Design 2: Microkernel Performance

gavinhoward.com

2 years ago

3 points

40.

A Decade of Developing a Programming Language: A Response Response

gavinhoward.com

3 years ago

3 points

41.

An Open Letter to Cryptographers: Please Work Together

gavinhoward.com

3 years ago

3 points

42.

My Code Conquered Another OS

gavinhoward.com

3 years ago

3 points

43.

gavinhoward.com

4 years ago

3 points

44.

Justifying a Backwards Design Decision for My Programming Language

gavinhoward.com

3 years ago

2 points

45.

A Better OS Design: Microkernel Performance

gavinhoward.com

2 years ago

2 points

46.

What Computers Cannot Do: The Consequences of Turing-Completeness

gavinhoward.com

2 years ago

2 points

47.

Let me cure your impostor syndrome

gavinhoward.com

3 years ago

2 points

48.

Make the Leap Second First-Class: An Open Letter to the ITU

gavinhoward.com

3 years ago

2 points

49.

Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes

gavinhoward.com

6 months ago

2 points

50.

A New Architecture for a GUI Framework

gavinhoward.com

2 years ago

2 points

51.

What Rust Got Wrong on Formal Verification

gavinhoward.com

2 years ago

2 points

52.

Version Interfaces, Not Implementations

gavinhoward.com

2 years ago

2 points

53.

How I Made a Monorepo

gavinhoward.com

3 years ago

2 points

54.

We Must Professionalize Programming to Preserve Society and Computing Freedom

gavinhoward.com

4 years ago

2 points

55.

Technical Debt Costs More Than You Think

gavinhoward.com

4 years ago

2 points

56.

The Law of Strict Licenses

gavinhoward.com

4 years ago

rdpintqogeogsaa

2 points

57.

The Social Contract of Open Source

gavinhoward.com

4 years ago

2 points

58.

The Social Contract of Open Source

gavinhoward.com

4 years ago

2 points

59.

Decentralizing the Internet and Other Ideas

gavinhoward.com

6 years ago

2 points

60.

Computing Is Broken and How to Fix It

gavinhoward.com

6 years ago

2 points