HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
241.
▲
Name-the-Biggest-Number
github.com/codyroux
discuss
6 years ago
colinprince
2 points
242.
▲
Name-the-Biggest-Number
github.com/codyroux
discuss
6 years ago
EvgeniyZh
1 points
243.
▲
Show HN: Talos – Open-source WASM interpreter for Lean
github.com/cajal-technologies
28 comments
5 days ago
mfornet
106 points
244.
▲
Scicloj presents: exploit the power of Python libraries from Clojure
discuss
7 years ago
justalanm
3 points
245.
▲
Improved testing logic in od.nvim, added a serializers module to ocote
discuss
2 months ago
Okerew
2 points
246.
▲
Show HN: Feox Server, a Rust based, drop-in replacement for Redis
github.com/mehrantsi
discuss
10 months ago
mehrant
2 points
247.
▲
Show HN: Chrome Extension to find a line number on GitHub files/diffs
github.com/NicoSantangelo
1 comment
10 years ago
NicoSantangelo
13 points
248.
▲
Show HN: IANA Service Names and Port Numbers Lookup Library and Microservice
github.com/rm3l
6 comments
9 years ago
h4ck3r3l
4 points
249.
▲
Hacker Laws: Dunbar's Number
github.com/dwmkerr
discuss
7 years ago
dwmkerr
3 points
250.
▲
GitHub go to line number
github.com/NicoSantangelo
discuss
10 years ago
nadiafaya
3 points
251.
▲
Algorithmic Unification of Number Theory and Quantum Mechanics IBM Quantum
github.com/peterbabulik
discuss
2 months ago
PeterBabulik
1 points
252.
▲
Show HN: Beating SOTA embeddings on DeepMind's LIMIT benchmark (94% vs. 18%)
github.com/sangeet01
discuss
6 months ago
sangeet01
1 points
253.
▲
Show HN: I tried to reverse engineer Claude Code usage limits
github.com/abhishekray07
discuss
3 months ago
aray07
5 points
254.
▲
Show HN: Agentic Task Queue – batch processing of agentic tasks
2 comments
3 months ago
endyai
2 points
255.
▲
GitHub passes 2M repos, 1M projects
github.com/blog
27 comments
15 years ago
kneath
95 points
256.
▲
Number of active repositories in GitHub per language, per month
github.com/emmanuel-keller
50 comments
10 years ago
ekeller
55 points
257.
▲
Proposal: Go 2 Number Literal Changes
github.com/golang
discuss
7 years ago
ainar-g
2 points
258.
▲
Formal verification of folklore and miscellaneous results in number theory
github.com/josephcmac
discuss
4 years ago
yababa_y
1 points
259.
▲
Show HN: Number Typer – type numbers on your computer using speech recognition
github.com/jaxcore
discuss
6 years ago
dsteinman
1 points
260.
▲
Nothing Up My Sleeves Numbers – not only for cryptographic purposes
github.com/e-sushi
discuss
10 years ago
e-sushi
1 points
261.
▲
Falsehoods Programmers Believe About Phone Numbers (2016)
github.com/googlei18n
198 comments
7 years ago
striking
451 points
262.
▲
CuPy: NumPy and SciPy for GPU
github.com/cupy
106 comments
2 years ago
tanelpoder
377 points
263.
▲
Latency numbers every programmer should know
gist.github.com
134 comments
14 years ago
friggeri
265 points
264.
▲
Smallest transformer that can add two 10-digit numbers
github.com/anadim
100 comments
4 months ago
ks2048
248 points
265.
▲
Falsehoods Programmers Believe About Phone Numbers
github.com/googlei18n
121 comments
10 years ago
lxm
236 points
266.
▲
Jax – Composable transformations of Python and NumPy programs
github.com/google
65 comments
6 years ago
lelf
235 points
267.
▲
Latency numbers every programmer should know (2012)
gist.github.com
42 comments
10 years ago
okket
224 points
268.
▲
Show HN: Howmanypeoplearearound – Use wifi to calculate number of people around
github.com/schollz
47 comments
9 years ago
qrv3w
199 points
269.
▲
Latency Numbers Every Programmer Should Know (2012)
gist.github.com
68 comments
6 years ago
albertzeyer
197 points
270.
▲
Show HN: I've made a rotary dial number input, because why not?
github.com/victorqribeiro
86 comments
7 years ago
atum47
190 points
More