Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
241.
Quinn 0.2.0: QUIC protocol implementation in Rust (github.com/djc)
207 points
whoisnnamdi
7 years ago
50 comments
242.
QuineDB – A quine that is also a key-value store (github.com/gfredericks)
185 points
panic
10 years ago
23 comments
243.
Show HN: Quinesnake – A quine that plays snake over its own source (github.com/taylorconor)
131 points
taylorconor
7 years ago
17 comments
244.
Quine Relay (github.com/mame)
119 points
_zhqs
6 years ago
13 comments
245.
Quint: A specification language based on the temporal logic of actions (TLA) (github.com/informalsystems)
110 points
abathologist
2 years ago
35 comments
246.
An uroboros program with 100 programming languages (github.com/mame)
106 points
rvnx
4 years ago
11 comments
247.
Quine Relay: An uroboros program with 100 programming languages (github.com/mame)
52 points
dmitriid
7 years ago
4 comments
248.
Show HN: Virby, a vfkit-based Linux builder for Nix-Darwin (github.com/quinneden)
22 points
qeden
a year ago
1 comment
249.
Switch to a tiling-window-manager TODAY (github.com/uint23)
16 points
uint23
a year ago
18 comments
250.
Show HN: acmsg (automated commit message generator) (github.com/quinneden)
15 points
qeden
a year ago
19 comments
251.
Quine-relay: An uroboros program with 50 programming languages (github.com/mame)
14 points
nathell
13 years ago
2 comments
252.
Show HN: A remote MCP server that creates data pipelines using Airbyte & OpenAI (github.com/quintonwall)
12 points
quintonwall
a year ago
2 comments
253.
Quint LLM Kit for writing and using formal specifications (github.com/informalsystems)
11 points
bugarela
4 months ago
discuss
254.
Why doesn't GitHub support the fast-forward merge strategy? (gist.github.com)
9 points
kuinak
6 years ago
discuss
255.
Holiday protocols: secret santa with Quint (github.com/informalsystems)
8 points
bugarela
2 years ago
1 comment
256.
Show HN: RuinMyHistory pollutes your search history (github.com/FascinatedBox)
7 points
FascinatedBox
9 years ago
2 comments
257.
Show HN: Quine in 200 Programming Languages (github.com/MakeNowJust)
6 points
make_now_just
11 years ago
discuss
258.
Show HN: Quine in 150 Programming Languages (github.com/MakeNowJust)
6 points
make_now_just
11 years ago
discuss
259.
Quine-relay: An uroboros program with 100 programming languages (github.com/mame)
6 points
sanqui
11 years ago
discuss
260.
Show HN: A delightful, performance-focused Redis client for Node.js (github.com/luin)
5 points
luin
11 years ago
3 comments
261.
Quint – a new language based on TLA+ with modern syntax and developer tooling (github.com/informalsystems)
5 points
mmmmkay
3 years ago
1 comment
262.
Show HN: Get a bit field view of any ArrayBuffer in JavaScript (github.com/crislin2046)
5 points
archivist1
6 years ago
discuss
263.
Quinnypig/Yeet (github.com/quinnypig)
4 points
rootforce
7 months ago
discuss
264.
Arduino framework for node.js (github.com/ecto)
4 points
dwynings
15 years ago
discuss
265.
Quine Relay: An uroboros program with 100 programming languages (github.com/mame)
4 points
kinduff
4 years ago
discuss
266.
Tiny-floppy-bootloader – A single sector Linux floppy bootloader (github.com/guineawheek)
3 points
peter_d_sherman
4 years ago
7 comments
267.
Quine Relay – An uroboros program with 100 programming languages (github.com/mame)
3 points
system32_eth
3 years ago
2 comments
268.
Show HN: JavaScript Bitfield (github.com/crislin204)
3 points
morebitter
6 years ago
2 comments
269.
Job Quality-Adjusted Displacement Index (github.com/quinndupont)
3 points
quinndupont
3 months ago
1 comment
270.
Sxwm v1.7 Release (github.com/uint23)
3 points
uint23
8 months ago
1 comment
More