Search: borretti.me | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Ephemerality in User Interfaces

a year ago

3 points

92.

Effective Spaced Repetition

2 years ago

3 points

93.

Austral: A Systems Language with Linear Types and Capabilities (2022)

2 years ago

3 points

94.

Unbundling Tools for Thought

2 years ago

3 points

95.

You Need More Constraints

3 years ago

3 points

96.

Dependency Resolution Made Simple

3 years ago

3 points

97.

Better XML Editing for Emacs

3 years ago

3 points

98.

Linear Types and Exceptions

5 years ago

3 points

99.

Some Data Should Be Code

5 months ago

2 points

100.

There Is No New Aesthetics

6 months ago

2 points

101.

a year ago

2 points

102.

Some Data Should Be Code

6 days ago

2 points

103.

Human Bottlenecks

a month ago

2 points

104.

The Applicability of Spaced Repetition

a month ago

2 points

105.

Some Data Should Be Code

5 months ago

2 points

106.

Letting Claude Play Text Adventures

5 months ago

2 points

107.

Books I Enjoyed in 2025

6 months ago

2 points

108.

7 months ago

2 points

109.

Unbundling Tools for Thought (2022)

a year ago

2 points

110.

We Live in a Golden Age of Interoperability

a year ago

2 points

111.

Implementing FSRS in 100 Lines

a year ago

2 points

112.

Thoughts on LLM Agents (Fernando Boretti)

2 years ago

2 points

113.

You Need More Constraints

3 years ago

2 points

114.

Type Systems for Memory Safety

3 years ago

2 points

115.

Test Against Reality

3 years ago

2 points

116.

Depth-First Procrastination

3 years ago

2 points

117.

Language Pragmatics Engineering

3 years ago

2 points

118.

How Austral’s Linear Type Checker Works

3 years ago

2 points

119.

You're Not Going Anywhere

4 years ago

2 points

120.

Languages Are Not Ecosystems

5 years ago

2 points