HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Lithe – A Web Framework for Lean4
github.com/JoshuaPurtell
1 comment
5 months ago
JoshPurtell
4 points
2.
▲
Engine-Bench: Evaluating Coding Agents on Writing Game Engine Code
github.com/JoshuaPurtell
discuss
5 months ago
JoshPurtell
2 points
3.
▲
Engine-Bench: Benchmarking Coding Agents on TCG Game Engine Tasks
github.com/JoshuaPurtell
discuss
5 months ago
JoshPurtell
2 points
4.
▲
Show HN: Horizons – OSS agent execution engine
github.com/synth-laboratories
8 comments
5 months ago
JoshPurtell
39 points