Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
What are the 5 hottest dbt Repositories one should star on GitHub 2022?
4 points
floriankuwala
4 years ago
discuss
2.
▲
Show HN: Lightdash – An open source Looker alternative
(github.com/lightdash)
34 points
oliver101
5 years ago
5 comments
3.
▲
Show HN: Langfuse – Open-source observability and analytics for LLM apps
(github.com/langfuse)
143 points
marcklingen
3 years ago
35 comments
4.
▲
Show HN: Cloudavenue.ai – Prevent breaking your data stack with a GitHub app
(cloudavenue.ai)
3 points
mardel
a year ago
2 comments
5.
▲
Show HN: Play snake on your razer keybard on Linux
(github.com/lightoshadow)
3 points
lightofshadow
8 months ago
2 comments
6.
▲
Show HN: Lightbase, an Abstract API for P2P Database
(github.com/TheFloatingString)
2 points
larryll
2 years ago
discuss
7.
▲
Show HN: Lightship – readiness checks and graceful shutdown of k8s services
(github.com/gajus)
2 points
gajus
8 years ago
discuss
8.
▲
Bend: a high-level language that runs on GPUs (via HVM2)
(github.com/HigherOrderCO)
1041 points
LightMachine
2 years ago
253 comments
9.
▲
Show HN: High-order Virtual Machine (HVM) – A Parallel Functional Runtime
(github.com/Kindelia)
150 points
LightMachine
4 years ago
13 comments
10.
▲
Show HN: Caramel – a modern syntax for the lambda calculus
(github.com/MaiaVictor)
130 points
LightMachine
11 years ago
22 comments
11.
▲
Forall.js: Idris-like static types and invariant checks for JavaScript
(github.com/maiavictor)
63 points
LightMachine
9 years ago
17 comments
12.
▲
Show HN: LJSON: JSON extended with pure functions
(github.com/MaiaVictor)
39 points
LightMachine
11 years ago
17 comments
13.
▲
Show HN: Moon, an universal code-interchange format
(github.com/maiavictor)
11 points
LightMachine
9 years ago
8 comments
14.
▲
Implementing complex numbers and FFT with just algebraic datatypes (no floats)
(gist.github.com)
8 points
LightMachine
3 years ago
discuss
15.
▲
The oracle-free fragment of Lamping's algorithm can evaluate all λ-terms
(github.com/MaiaVictor)
6 points
LightMachine
9 years ago
discuss
16.
▲
Can a simple functional sieve be fast? Optimizing Tromp's algorithm on HVM
(gist.github.com)
3 points
LightMachine
2 years ago
discuss
17.
▲
Make Ethereum massively scalable today with delayed computations
(gist.github.com)
3 points
LightMachine
9 years ago
discuss
18.
▲
Goodbye, JavaScript: Formality is now implemented in itself
(github.com/moonad)
2 points
LightMachine
5 years ago
discuss
19.
▲
Multiplication with Optimal β-Reduction
(github.com/MaiaVictor)
1 point
LightMachine
6 years ago
discuss
20.
▲
What is wrong with the Web, and why we need Moon (draft)
(gist.github.com)
1 point
LightMachine
9 years ago
discuss