Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
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