Heykuki News

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