HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
What are the 5 hottest dbt Repositories one should star on GitHub 2022?
discuss
4 years ago
floriankuwala
4 points
2.
▲
Show HN: Lightdash – An open source Looker alternative
github.com/lightdash
5 comments
5 years ago
oliver101
34 points
3.
▲
Show HN: Langfuse – Open-source observability and analytics for LLM apps
github.com/langfuse
35 comments
3 years ago
marcklingen
143 points
4.
▲
Show HN: Cloudavenue.ai – Prevent breaking your data stack with a GitHub app
cloudavenue.ai
2 comments
a year ago
mardel
3 points
5.
▲
A lightweight paste service with a Snap Feature (like Snapchat)
github.com/KennyShields
3 comments
11 years ago
tvvocold
5 points
6.
▲
Show HN: Play snake on your razer keybard on Linux
github.com/lightoshadow
2 comments
9 months ago
lightofshadow
3 points
7.
▲
Show HN: Lightbase, an Abstract API for P2P Database
github.com/TheFloatingString
discuss
2 years ago
larryll
2 points
8.
▲
Show HN: Lightship – readiness checks and graceful shutdown of k8s services
github.com/gajus
discuss
8 years ago
gajus
2 points
9.
▲
Light Desktop: Window Util Like Launchy
github.com/jamelouis
discuss
10 years ago
jamelouis
1 points
10.
▲
Bend: a high-level language that runs on GPUs (via HVM2)
github.com/HigherOrderCO
253 comments
2 years ago
LightMachine
1041 points
11.
▲
Show HN: High-order Virtual Machine (HVM) – A Parallel Functional Runtime
github.com/Kindelia
13 comments
4 years ago
LightMachine
150 points
12.
▲
Show HN: Caramel – a modern syntax for the lambda calculus
github.com/MaiaVictor
22 comments
11 years ago
LightMachine
130 points
13.
▲
Forall.js: Idris-like static types and invariant checks for JavaScript
github.com/maiavictor
17 comments
9 years ago
LightMachine
63 points
14.
▲
Show HN: LJSON: JSON extended with pure functions
github.com/MaiaVictor
17 comments
11 years ago
LightMachine
39 points
15.
▲
Formality, a (proof)gramming language featuring optimal reductions
github.com/moonad
8 comments
7 years ago
LightMachine
27 points
16.
▲
Show HN: Moon, an universal code-interchange format
github.com/maiavictor
8 comments
9 years ago
LightMachine
11 points
17.
▲
Implementing complex numbers and FFT with just algebraic datatypes (no floats)
gist.github.com
discuss
3 years ago
LightMachine
8 points
18.
▲
Show HN: ChatSH – a terminal where GPT writes the commands for you
github.com/VictorTaelin
discuss
3 years ago
LightMachine
7 points
19.
▲
SAT can be solved surprisingly quickly via superposed bools on Interaction Nets
gist.github.com
1 comment
2 years ago
LightMachine
6 points
20.
▲
The oracle-free fragment of Lamping's algorithm can evaluate all λ-terms
github.com/MaiaVictor
discuss
9 years ago
LightMachine
6 points
21.
▲
Show HN: Nano-JSON-stream-parser, a 750 bytes streamed JSON parser
github.com/maiavictor
discuss
9 years ago
LightMachine
6 points
22.
▲
Can a simple functional sieve be fast? Optimizing Tromp's algorithm on HVM
gist.github.com
discuss
2 years ago
LightMachine
3 points
23.
▲
Quantum-proof small (768-bit) signatures for 1-bit messages
github.com/maiavictor
discuss
6 years ago
LightMachine
3 points
24.
▲
Supercompilation for free with the abstract algorithm
github.com/MaiaVictor
discuss
8 years ago
LightMachine
3 points
25.
▲
Show HN: Drop-in, expressive static type and invariant checks for JavaScript
github.com/MaiaVictor
discuss
9 years ago
LightMachine
3 points
26.
▲
Make Ethereum massively scalable today with delayed computations
gist.github.com
discuss
9 years ago
LightMachine
3 points
27.
▲
Bitspeak converts hex strings to pronounceable words
github.com/MaiaVictor
1 comment
7 years ago
LightMachine
2 points
28.
▲
PureState.js, the stupidiest state management library that works
github.com/maiavictor
1 comment
10 years ago
LightMachine
2 points
29.
▲
HVM3's Optimal Atomic Linker (With Polarization)
gist.github.com
discuss
2 years ago
LightMachine
2 points
30.
▲
Optimal Evaluation in 1 Minute (or 10 Minutes) (or 10 Years)
gist.github.com
discuss
2 years ago
LightMachine
2 points
More