HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
mistral.ai
191 comments
3 months ago
Poudlardo
783 points
2.
▲
Alibaba Cloud says it cut Nvidia AI GPU use by 82% with new pooling system
tomshardware.com
315 comments
8 months ago
hd4
523 points
3.
▲
Show HN: Adadot – analytics for better, happier developers
adadot.com
16 comments
4 years ago
Adadot
325 points
4.
▲
Ask HN: Must Read from ACM Library?
46 comments
6 years ago
weej
239 points
5.
▲
Launch HN: Humanloop (YC S20) – A platform to annotate, train and deploy NLP
33 comments
6 years ago
jordn
157 points
6.
▲
GPU Prefix Sums: A nearly complete collection
github.com/b0nes164
20 comments
10 months ago
coffeeaddict1
83 points
7.
▲
Show HN: Rapidgzip – Truly Parallel Gzip Decompression with 10 GB/s
github.com/mxmlnkn
12 comments
3 years ago
mxmlnkn
35 points
8.
▲
Tell HN: Pluralsight now available with your ACM subscription
5 comments
4 years ago
guiambros
27 points
9.
▲
Show HN: DoodleMate: Animate Your Child's Hand Drawings Without Generative AI
doodlemate.com
12 comments
2 months ago
hjessmith
15 points
10.
▲
Ask HN: Who was Knuth's,“ brilliant programmer at Digitek”
3 comments
5 years ago
Ice_cream_suit
13 points
11.
▲
Ask HN: Which CS publication used term “object-oriented” for the first time?
19 comments
3 years ago
Rochus
12 points
12.
▲
Ask HN: Are ACM worth a membership?
11 comments
16 years ago
morphir
9 points
13.
▲
Ask HN: Would you design a modern CPU with virtual memory support?
10 comments
9 years ago
kruhft
9 points
14.
▲
Ask HN: Who's writing recursive queries / Datalog?
1 comment
2 years ago
remywang
8 points
15.
▲
Modern CPUs that let you program at the hardware level
2 comments
5 years ago
wA8jfgv
7 points
16.
▲
Show HN: WebAssembly Instrumentation in the Wizard Research Engine
github.com/titzer
discuss
2 years ago
titzer
7 points
17.
▲
ASK HN: Some thoughts on a possible AST-aware org-mode three way merge driver
5 comments
2 years ago
cidra_
6 points
18.
▲
Ask HN: Favorite Articles in the ACM Digital Library
3 comments
6 months ago
lioeters
6 points
19.
▲
Ask HN: Recommendations for Papers in ACM
1 comment
6 years ago
thickice
6 points
20.
▲
Everything I need to build Web 2.0 interfaces Apple knew in '92
discuss
18 years ago
Trep
6 points
21.
▲
Ask HN: Good reads about ethics for programmers?
2 comments
11 years ago
mthwl
5 points
22.
▲
Ask YC: Instead of online ads, wouldn't seamless website embedding work better?
9 comments
18 years ago
amichail
4 points
23.
▲
Ask HN: Are any computer architecture out there to compete with VonNeumann's?
5 comments
4 years ago
iamdvlpr
4 points
24.
▲
If C++ cmpler became smarter would't be opinionated as rust borrowchecker?
2 comments
a year ago
itissid
4 points
25.
▲
Ask HN: Magazines Similar to Increment and ACM Queue
1 comment
3 years ago
rnjailamba
4 points
26.
▲
Show HN: Miralis – a RISC-V virtual firmware monitor
github.com/CharlyCst
discuss
a year ago
charlycst
4 points
27.
▲
Ask HN: Public info on datacenter management systems?
discuss
7 years ago
valleyjo
4 points
28.
▲
Ask HN: Is PhD in AI worth it if I'd like to conduct my own research?
6 comments
3 years ago
_xrdj
3 points
29.
▲
Show HN: Cachey, a Read-Through Cache for S3
github.com/s2-streamstore
2 comments
9 months ago
shikhar
3 points
30.
▲
Show HN: A livestream of all image descriptions (alt text) on Bluesky
bobbiec.github.io
2 comments
10 months ago
bobbiechen
3 points
More