user: LightMachine

1647 karma | created 10 years ago

recent submissions

Claude Plays Pokémon (twitch.tv)

75 pts|1 year ago|24 comments

Show HN: SupGen, an model-free program synthesizer by examples / dependent types (youtube.com)

21 pts|1 year ago|9 comments

Optimal context passing with HVM's "pure mutable references" (gist.github.com)

1 pts|1 year ago|discuss

HVM3's Optimal Atomic Linker (With Polarization) (gist.github.com)

2 pts|1 year ago|discuss

Since Agda->JS is unmaintained, I'm now using Sonnet-3.5 as the compiler (twitter.com)

2 pts|1 year ago|discuss

(no title)

1 year ago|discuss

Optimal Evaluation in 1 Minute (or 10 Minutes) (or 10 Years) (gist.github.com)

2 pts|1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss