HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
My weekend project: sbit3, a pastebin for files.
github.com/victortrac
6 comments
15 years ago
vtrac
21 points
2.
▲
Reservationist.py, a tool for EC2 reserved instances on consolidated billing
github.com/victortrac
discuss
13 years ago
vtrac
1 points
3.
▲
WebMonkeys: parallel GPU programming in JavaScript (2016)
github.com/VictorTaelin
28 comments
a year ago
surprisetalk
115 points
4.
▲
Implementing complex numbers and FFT with just datatypes (2023)
gist.github.com
3 comments
a year ago
surprisetalk
38 points
5.
▲
Implementing complex numbers and FFT with just algebraic datatypes (no floats)
gist.github.com
discuss
3 years ago
LightMachine
8 points
6.
▲
Show HN: ChatSH – a terminal where GPT writes the commands for you
github.com/VictorTaelin
discuss
3 years ago
LightMachine
7 points
7.
▲
SAT can be solved surprisingly quickly via superposed bools on Interaction Nets
gist.github.com
1 comment
2 years ago
LightMachine
6 points
8.
▲
Invert a Binary Tree – $10k AI Reasoning Challenge (v2)
gist.github.com
discuss
2 years ago
YeGoblynQueenne
3 points
9.
▲
Can a simple functional sieve be fast? Optimizing Tromp's algorithm on HVM
gist.github.com
discuss
2 years ago
LightMachine
3 points
10.
▲
HVM3's Optimal Atomic Linker (With Polarization)
gist.github.com
discuss
2 years ago
LightMachine
2 points
11.
▲
Optimal Evaluation in 1 Minute (or 10 Minutes) (or 10 Years)
gist.github.com
discuss
2 years ago
LightMachine
2 points
12.
▲
Implementing complex numbers and FFT with just datatypes (no floats)
gist.github.com
discuss
3 years ago
g0xA52A2A
2 points
13.
▲
Optimal context passing with HVM's "pure mutable references"
gist.github.com
discuss
2 years ago
LightMachine
1 points
14.
▲
Interaction Calculus
github.com/VictorTaelin
discuss
2 years ago
beefman
1 points
15.
▲
Formality Language
github.com/moonad
discuss
6 years ago
VictorTaelin
3 points