HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
601.
▲
Express properties about Haskell programs and automatically prove them
github.com/nushio3
discuss
13 years ago
ColinWright
3 points
602.
▲
Show HN: Claude Code, no need to worry about sunk costs anymore
github.com/claude-schwabe
discuss
13 days ago
schwabe
3 points
603.
▲
Awesome: Lists about all kinds of interesting topics
github.com/sindresorhus
discuss
a month ago
danborn26
3 points
604.
▲
Vibe coded menu bar app which watches for posts about vibe coding menu bar apps
github.com/shkm
discuss
2 months ago
mooreds
3 points
605.
▲
My AI coding agent wrote an open letter to Anthropic about its own failure modes
github.com/evo-hydra
discuss
3 months ago
evo-dragon
3 points
606.
▲
Crowdsource AI-friendly knowledge base about Taiwan
github.com/frank890417
discuss
3 months ago
phantomathkg
3 points
607.
▲
Show HN: A conversation about OS design turned into an actual OS in a week
discuss
3 months ago
jonathanrtuck
3 points
608.
▲
Show HN: Curious about tones in Chinese? An extension for language learners
github.com/mreichhoff
discuss
7 months ago
mreichhoff
3 points
609.
▲
Falsehoods programmers believe about everything
github.com/kdeldycke
discuss
a year ago
nvader
3 points
610.
▲
The truth about original Oberon compiler performance: A reality check
github.com/rochus-keller
discuss
a year ago
Rochus
3 points
611.
▲
A collection of resources about normalization-by-evaluation
github.com/etiams
discuss
a year ago
etiams
3 points
612.
▲
Show HN: Base Rate (a short fiction story about Life Expectancy) [pdf]
github.com/jaronilan
discuss
a year ago
jaronilan
3 points
613.
▲
Thrive is a free, open-source game about the evolution of life
github.com/Revolutionary-Games
discuss
a year ago
BSDobelix
3 points
614.
▲
Discussion about Differences in "A Philosophy of Software Design", "Clean Code"
github.com/johnousterhout
discuss
a year ago
thunderbong
3 points
615.
▲
Show HN: A local AI companion that learns about you and handles tasks for you
github.com/existence-master
discuss
a year ago
Kabeer2004
3 points
616.
▲
Awesome-graph-transformer: Papers about graph transformers
github.com/wehos
discuss
2 years ago
gk1
3 points
617.
▲
A collection of (mostly) technical things every software dev should know about
github.com/mtdvio
discuss
2 years ago
jftuga
3 points
618.
▲
Ask HN: I care about correct code. I deliver on time. I'm hungry for work.
discuss
14 years ago
DenverGuy
3 points
619.
▲
Stuff I wish I knew about service workers
gist.github.com
discuss
2 years ago
keepamovin
3 points
620.
▲
Year in development. What do you think about Cample.js framework?
github.com/Camplejs
discuss
3 years ago
Cample-js
3 points
621.
▲
A book about the Linux kernel and its insides
github.com/0xAX
discuss
3 years ago
annilt
3 points
622.
▲
dns_deep_state – Find all secrets about DNS governing a domain
github.com/lelutin
discuss
3 years ago
pabs3
3 points
623.
▲
Falsehoods Programmers Believe About Phone Numbers
github.com/google
discuss
3 years ago
vincvinc
3 points
624.
▲
List of books, resources and courses to study everything about music and sound
github.com/vpavlenko
discuss
3 years ago
lioeters
3 points
625.
▲
Most trending repos on GitHub right now are about ChatGPT
github.com
discuss
4 years ago
relatedtitle
3 points
626.
▲
About 100 open-source clones of popular sites
github.com/GorvGoyl
discuss
4 years ago
imdsm
3 points
627.
▲
About Large Files on GitHub
docs.github.com
discuss
4 years ago
lioeters
3 points
628.
▲
Show HN: Static blog generator in about 1.2KLOC
github.com/john-bokma
discuss
4 years ago
jjjbokma
3 points
629.
▲
A book-in-progress about the Linux kernel and its insides
github.com/0xAX
discuss
4 years ago
feross
3 points
630.
▲
A curated list to learn about distributed systems
github.com/theanalyst
discuss
4 years ago
metadat
3 points
More