Search: borretti.me | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Linear Types and Exceptions (borretti.me)

3 points

5 years ago

92.

Some Data Should Be Code (borretti.me)

2 points

4 months ago

93.

There Is No New Aesthetics (borretti.me)

2 points

5 months ago

94.

Composable SQL (borretti.me)

2 points

a year ago

95.

Human Bottlenecks (borretti.me)

2 points

19 days ago

96.

The Applicability of Spaced Repetition (borretti.me)

2 points

20 days ago

97.

Some Data Should Be Code (borretti.me)

2 points

4 months ago

98.

Letting Claude Play Text Adventures (borretti.me)

2 points

5 months ago

99.

Books I Enjoyed in 2025 (borretti.me)

2 points

6 months ago

100.

Agda on NixOS (borretti.me)

2 points

7 months ago

101.

Unbundling Tools for Thought (2022) (borretti.me)

2 points

a year ago

102.

We Live in a Golden Age of Interoperability (borretti.me)

2 points

a year ago

103.

Implementing FSRS in 100 Lines (borretti.me)

2 points

a year ago

104.

Thoughts on LLM Agents (Fernando Boretti) (borretti.me)

2 points

2 years ago

105.

You Need More Constraints (borretti.me)

2 points

3 years ago

106.

Type Systems for Memory Safety (borretti.me)

2 points

3 years ago

107.

Test Against Reality (borretti.me)

2 points

3 years ago

108.

Depth-First Procrastination (borretti.me)

2 points

3 years ago

109.

Language Pragmatics Engineering (borretti.me)

2 points

3 years ago

110.

How Austral’s Linear Type Checker Works (borretti.me)

2 points

3 years ago

111.

You're Not Going Anywhere (borretti.me)

2 points

4 years ago

112.

Languages Are Not Ecosystems (borretti.me)

2 points

5 years ago

113.

Letting Claude Play Text Adventures (borretti.me)

1 point

5 months ago

114.

Hashcards: A Plain-Text Spaced Repetition System (borretti.me)

1 point

8 months ago

115.

Adding Colour to macOS Folder Icons (borretti.me)

1 point

a year ago

116.

Client Freedom (borretti.me)

1 point

2 years ago

117.

Second-Class References (2023) (borretti.me)

1 point

2 years ago

118.

The Design Space of Wikis (borretti.me)

1 point

2 years ago

119.

Language Tooling Antipatterns (borretti.me)

1 point

3 years ago

120.

And Yet It Understands (borretti.me)

1 point

3 years ago