HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
781.
▲
Show HN: I made PeanoScript, an educational TypeScript-like theorem prover
peanoscript.mjgrzymek.com
1 comment
a year ago
MJGrzymek
3 points
782.
▲
Show HN: Cline – Open-Source VS Code AI Coding Agent with a New MCP Marketplace
github.com/cline
1 comment
a year ago
crestfallen33
3 points
783.
▲
Show HN: A set of command line database tools
github.com/yznts
1 comment
2 years ago
yuriizinets
3 points
784.
▲
Show HN: A singing synthesizer for the browser with algorithmic 3-part harmony
pbat.ch
1 comment
2 years ago
zebproj
3 points
785.
▲
C++ String Toolkit Library
github.com/ArashPartow
1 comment
14 years ago
ArashPartow
3 points
786.
▲
Show HN: Gov.uk Vue, a Vue component library based on Gov.uk
github.com/govuk-vue
1 comment
3 years ago
matteason
3 points
787.
▲
Show HN: Practical Hacking Inside VR
1 comment
3 years ago
felipereigosa
3 points
788.
▲
Show HN: AI-powered infinite drawboard in Python
github.com/carefree0910
1 comment
3 years ago
carefree0910
3 points
789.
▲
Ask HN: How would you program a rule-based chatbot or web app?
1 comment
4 years ago
dogweather
3 points
790.
▲
Rakkas: The Dancing Web Frameork
1 comment
5 years ago
cyco130
3 points
791.
▲
Comparision of IPFS and EdgeFS for Edge Computing Use Cases
1 comment
7 years ago
dmitry_yus
3 points
792.
▲
Ask HN: How to run a community from zero as an software engineer?
1 comment
7 years ago
jadeydi
3 points
793.
▲
Guys we decentralised HTTP the other morning
1 comment
11 years ago
LukeB42
3 points
794.
▲
Show HN: A Browser Built for Browser Automation
github.com/tilework-tech
discuss
4 days ago
theahura
3 points
795.
▲
Tell HN: Adding congestion control and retry tokens to a reliable UDP transport
discuss
6 days ago
x1colegal
3 points
796.
▲
Ask HN: ZealPHP – Dangers Isolating Request-State in Coroutines?
discuss
23 days ago
sibidharan
3 points
797.
▲
Show HN: Lint-AI by RooAGI, a Rust CLI for AI Doc Retrieval
github.com/RooAGI
discuss
2 months ago
rooagi
3 points
798.
▲
Show HN: I built a full LLM chat client as a Neovim filetype
discuss
3 months ago
StanAngeloff
3 points
799.
▲
Ray tracing demo based on Minecraft
discuss
14 years ago
Overv
3 points
800.
▲
Show HN: Local video search with Qwen3-VL: no API, runs on Apple Silicon, GPUs
github.com/ssrajadh
discuss
3 months ago
sohamrj
3 points
801.
▲
Show HN: Download entire/partial Substack to ePub for offline reading
github.com/kevinlong206
discuss
3 months ago
locusofself
3 points
802.
▲
Show HN: Make beats, produce music from the command line
discuss
4 months ago
lmohseni
3 points
803.
▲
Show HN: Steward – an ambient agent that handles low-risk work
github.com/study8677
discuss
4 months ago
867762462f
3 points
804.
▲
Show HN: TMDD – continuous threat modelling that makes your code more secure
github.com/attasec
discuss
4 months ago
attasec
3 points
805.
▲
Show HN: Trolley – Run terminal apps anywhere
github.com/weedonandscott
discuss
4 months ago
oDot
3 points
806.
▲
Show HN: CanaryAI v0.2.5 – Security monitoring on Claude Code actions
github.com/jx887
discuss
4 months ago
jx887
3 points
807.
▲
Show HN: MeMCP – MCP for Personal Profile
github.com/nickyreinert
discuss
4 months ago
y42
3 points
808.
▲
Show HN: Reverse Turing Test (convince an LLM that you are an LLM)
github.com/empath-nirvana
discuss
5 months ago
empath75
3 points
809.
▲
Show HN: Destructive_command_guard (Dcg)
github.com/Dicklesworthstone
discuss
5 months ago
eigenvalue
3 points
810.
▲
Show HN: Fluent, a tiny lang for differentiable tensors and reactive programming
github.com/mlajtos
discuss
5 months ago
mlajtos
3 points
More