Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
961.
Show HN: Dependently typed language for proofs that you can implement in one day (github.com/caotic123)
138 points
caotic123
5 years ago
96 comments
962.
Free Software network services and web applications which can be hosted locally (github.com/Kickball)
138 points
chovy
7 years ago
25 comments
963.
Why Brit Ruby 2013 was cancelled and why this is not ok (gist.github.com)
134 points
seanhandley
14 years ago
222 comments
964.
Show HN: BrowserBox – do stuff with browsers that you can't normally (github.com/dosyago)
134 points
graderjs
3 years ago
80 comments
965.
Canonical LXD forked by former project leader stgraber (github.com/stgraber)
130 points
loloquwowndueo
3 years ago
64 comments
966.
A simple MUD server in Python which can be run on a Raspberry Pi (github.com/Frimkron)
126 points
raytopia
2 years ago
65 comments
967.
Office-open-xml-viewer: Office XML document viewer that renders to HTML Canvas (github.com/yukiyokotani)
126 points
maxloh
12 hours ago
51 comments
968.
The new ASP.NET Core 2.0 packages can no longer be used on .NET Desktop (github.com/aspnet)
124 points
ern
9 years ago
119 comments
969.
Mixing Vue.js templates with server-side templates can lead to XSS (github.com/dotboris)
124 points
dotboris
8 years ago
38 comments
970.
Show HN: I built a MCP server so Claude can play Minesweeper (github.com/tonypan2)
123 points
tonypan
a year ago
38 comments
971.
A band you can book via GitHub pull request (github.com/rawfunkmaharishi)
122 points
skrebe
10 years ago
39 comments
972.
Archive that can be reconstructed with total loss of file system structure (github.com/MarcoPon)
122 points
zie
9 years ago
16 comments
973.
Show HN: turn videos into ASCII art (open source, js+canvas) (collidingscopes.github.io)
121 points
getToTheChopin
2 years ago
24 comments
974.
ThinScript, an experimental programming language that can compile to WebAssembly (github.com/evanw)
119 points
pjmlp
9 years ago
76 comments
975.
Can your REPL do this? (whalliburton.github.com)
119 points
whalliburton
15 years ago
35 comments
976.
Web app for interviewing technical candidates in the browser (github.com/paf31)
119 points
paf31
13 years ago
28 comments
977.
Andromeda Invaders: A 1980s-arcade-style game using HTML5, Canvas, Web Audio (github.com/susam)
116 points
susam
4 years ago
25 comments
978.
Zynga open sources panning and zooming library for HTML and Canvas (github.com/zynga)
116 points
caillou
15 years ago
17 comments
979.
Show HN: Qq: like jq, but can transcode between many formats (github.com/JFryy)
115 points
arandomhuman
2 years ago
27 comments
980.
Elasticsearch node crashes can cause data loss (github.com/elastic)
112 points
felipehummel
11 years ago
50 comments
981.
VNC client using HTML5 (Web Sockets, Canvas) with encryption (github.com/kanaka)
111 points
est
16 years ago
18 comments
982.
Can we get more decentralised than the Fediverse? (gist.github.com)
108 points
lorean_victor
2 years ago
137 comments
983.
Microsoft rejects documentation PR because AI chatbots can't display tables (github.com/MicrosoftDocs)
108 points
panic
a year ago
30 comments
984.
Show HN: Octofriend, a cute coding agent that can swap between GPT-5 and Claude (github.com/synthetic-lab)
107 points
reissbaker
10 months ago
31 comments
985.
Erlang R19 Release Candidate Available (github.com/erlang)
106 points
dpeck
10 years ago
23 comments
986.
No, your cryptocurrency cannot work (gist.github.com)
105 points
zdw
5 years ago
155 comments
987.
Can you help me understand the benefit of require.js? (gist.github.com)
105 points
SanderMak
13 years ago
48 comments
988.
Fast UI Draw is a library that provides a higher performance Canvas interface (github.com/intel)
105 points
todsacerdoti
6 years ago
43 comments
989.
What we can learn from vintage computing (github.com/readme)
101 points
ecliptik
3 years ago
75 comments
990.
A list of Free Software network services and web apps that can be hosted locally (github.com/Kickball)
101 points
jackgavigan
10 years ago
6 comments
More