Search: github.com/VictorTaelin | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

WebMonkeys: parallel GPU programming in JavaScript (2016) (github.com/VictorTaelin)

115 points

a year ago

2.

Implementing complex numbers and FFT with just datatypes (2023) (gist.github.com)

38 points

a year ago

3.

Implementing complex numbers and FFT with just algebraic datatypes (no floats) (gist.github.com)

8 points

3 years ago

4.

Show HN: ChatSH – a terminal where GPT writes the commands for you (github.com/VictorTaelin)

7 points

3 years ago

5.

SAT can be solved surprisingly quickly via superposed bools on Interaction Nets (gist.github.com)

6 points

2 years ago

6.

Invert a Binary Tree – $10k AI Reasoning Challenge (v2) (gist.github.com)

3 points

YeGoblynQueenne

2 years ago

7.

Can a simple functional sieve be fast? Optimizing Tromp's algorithm on HVM (gist.github.com)

3 points

2 years ago

8.

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

2 points

2 years ago

9.

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

2 points

2 years ago

10.

Implementing complex numbers and FFT with just datatypes (no floats) (gist.github.com)

2 points

3 years ago

11.

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

1 point

2 years ago

12.

Interaction Calculus (github.com/VictorTaelin)

1 point

2 years ago

13.

Formality Language (github.com/moonad)

3 points

6 years ago