Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
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