Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
211.
▲
Kind: A Modern Proof Language
(github.com/uwu-tech)
232 points
danny00
5 years ago
111 comments
212.
▲
Pure C WebRTC
(github.com/awslabs)
107 points
seansh
2 years ago
16 comments
213.
▲
Show HN: Dyna-Kinematics – A 2D physics simulator with some unique features
(github.com/diegomacario)
78 points
diegomacario
6 years ago
15 comments
214.
▲
Kinx: A scripting language for people who want C-like syntax
(github.com/Kray-G)
19 points
rurban
5 years ago
12 comments
215.
▲
Kindly Closing Pull Requests – GitHub Blog
(github.com/blog)
7 points
WillAbides
10 years ago
discuss
216.
▲
Python documentation optimized for Kindle
(charlax.github.com)
4 points
charlax
15 years ago
discuss
217.
▲
GitHub: Utilities to get Alpine Linux running on Kindle
(github.com/schuhumi)
3 points
FlyMoreRockets
5 years ago
2 comments
218.
▲
Kind, Kubernetes IN Docker, or a local cluster to test Kubernetes
(github.com/kubernetes-sigs)
3 points
zoobab
7 years ago
discuss
219.
▲
Export any Kindle eBook as text/PDF/ePub/AI audiobook
(github.com/transitive-bullshit)
2 points
transitivebs
2 years ago
1 comment
220.
▲
Show HN: Dyna-Kinematics – A 2D physics simulator with some unique features
(github.com/diegomacario)
2 points
diegomacario
6 years ago
1 comment
221.
▲
KinetiX: An intra-inference hardware interlock for LLMs
(github.com/johndoerch-eng)
2 points
kinetix_system
13 days ago
discuss
222.
▲
Show HN: Kinetic SQL – A lightweight, real-time SQL Engine for Node.js
(github.com/serial-committer)
2 points
im_kapilkumar
3 months ago
discuss
223.
▲
Kind 0.27.0: containerd v2 and Kubernetes 1.32
(github.com/kubernetes-sigs)
2 points
tuananh
a year ago
discuss
224.
▲
SICP for Kindle
(github.com/twcamper)
2 points
numeromancer
14 years ago
discuss
225.
▲
First class modules with self types
(github.com/uwu-tech)
2 points
LangMakers
5 years ago
discuss
226.
▲
Show HN: Kind, a minimal, efficient, practical proof language
(github.com/uwu-tech)
2 points
LightMachine
5 years ago
discuss
227.
▲
Kubernetes IN Docker – local clusters for testing Kubernetes
(github.com/kubernetes-sigs)
2 points
based2
7 years ago
discuss
228.
▲
Kind: Kubernetes IN Docker – local clusters for testing Kubernetes
(github.com/kubernetes-sigs)
2 points
trpc
7 years ago
discuss
229.
▲
Show HN: Public-domain traditional Chinese dictionary for Kindle
(github.com/hanzihero)
1 point
kevinlang
3 years ago
1 comment
230.
▲
Cross Platform (Linux and Windows) User Mode SDK to Read Data from Azure Kinect
(github.com/Microsoft)
1 point
MikusR
7 years ago
discuss
231.
▲
GitHub Comment Analyser
(github.com/Snugug)
1 point
squiggy22
11 years ago
discuss
232.
▲
Show HN: Give coding agents MCP access to lint/test/format with 1 YAML file
2 points
scosman
10 months ago
discuss
233.
▲
Ask HN: Do You Use Spinnaker?
2 points
danwee
4 years ago
discuss
234.
▲
Ask HN: Where to host a paid local tunnel service?
1 point
imswapnil
8 years ago
discuss
235.
▲
Which hosting service can host a local tunnel service?
1 point
imswapnil
8 years ago
discuss
236.
▲
US Declaration of Independence first and final drafts as GitHub diffs
(github.com/usgov)
177 points
karmelapple
10 years ago
40 comments
237.
▲
Tired of the king; time to let him know
(github.com/usgov)
4 points
hitr
10 years ago
discuss
238.
▲
Amazon Kindle as Display for Raspberry Pi without rooting the Kindle
(github.com/petervojtek)
3 points
matell
12 years ago
discuss
239.
▲
GAH
(github.com/the-banana-tool)
2 points
sethito
2 months ago
discuss
240.
▲
TypeScript: How to implement higher kinded polymorphism (high-order generics)
(github.com/vlova)
2 points
nsinreal
5 years ago
discuss
More