HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
91.
▲
Ask HN: Is GitHub Copilot / IntelliCode Legal?
3 comments
4 years ago
tentacleuno
5 points
92.
▲
Show HN: Typol – Static typing layer for Polars
github.com/pdtpartners
2 comments
16 days ago
mrrpdt
5 points
93.
▲
Show HN: Formally Verified Leaderless Log Protocol for Kafka
github.com/lakestream-io
1 comment
2 months ago
sijieg
5 points
94.
▲
Show HN: Lamina – A compiler backend that is not LLVM or Cranelift
github.com/SkuldNorniern
discuss
7 months ago
skuldnorniern
5 points
95.
▲
Show HN: DataBridge - An open-source, modular, multi-modal RAG solution
github.com/databridge-org
discuss
a year ago
Adityav369
5 points
96.
▲
Conduit: A new open-source and Self-Hosted Backend Platform
discuss
4 years ago
kkopanidis
5 points
97.
▲
IRL Silicon Valley TV-Show: Using Machine Learning to Compress – Shrynk
discuss
7 years ago
kootenpv
5 points
98.
▲
Show HN: Paper Lantern – on-demand techniques from 2M+ papers for coding agents
paperlantern.ai
4 comments
2 months ago
paperlantern
4 points
99.
▲
Show HN: Utsuru – "Go Live" simultaneously on multiple Discord calls
github.com/VincentVerdynanta
2 comments
a year ago
centverdynanta
4 points
100.
▲
Show HN: Building the Missing Standard for Agentic Workflow Orchestration
1 comment
a year ago
Beubax
4 points
101.
▲
Show HN: TLA+ AutoRepair (with GPT-4) to fix formal specs and understand them
github.com/kerberosmansour
1 comment
3 years ago
kerberosmansour
4 points
102.
▲
Show HN: Vastlint, inline linting for ad tags in VS Code, Kiro, Cursor
github.com/aleksUIX
discuss
2 months ago
aleksuix
4 points
103.
▲
Show HN: Reviewd – A free, local alternative to Claude Code Review(no API costs)
github.com/simion
discuss
3 months ago
skykery
4 points
104.
▲
Show HN: Self Hosted Claude Code Runner
github.com/ericvtheg
discuss
6 months ago
ericvtheg
4 points
105.
▲
Show HN: Plan-linter – pre-flight safety checker for AI agent plans
github.com/cirbuk
discuss
a year ago
mercurialsolo
4 points
106.
▲
Show HN: SDKing - Generate type safe Frontend SDK of any FastAPI/OpenAPI Backend
github.com/debkanchan
discuss
a year ago
Debkanchan
4 points
107.
▲
Show HN: Instruct LLMs to do what you want in Ruby
github.com/instruct-rb
discuss
2 years ago
mackross
4 points
108.
▲
Show HN: FastQR – A Fast QRCode Generator Supporting Batch Processing
3 comments
8 months ago
tranhuucanh
3 points
109.
▲
Ask HN: giving advice to the newly graduated...
2 comments
13 years ago
mbubb
3 points
110.
▲
Show HN: Stream iOS Simulators to a Browser Window
github.com/EvanBacon
2 comments
2 months ago
EvanBacon
3 points
111.
▲
Show HN: PianoFun – Browser piano learning game with MIDI (vanilla JavaScript)
2 comments
3 months ago
victorbuilds
3 points
112.
▲
Show HN: Grapheteria - A structured workflow framework for agent orchestration
github.com/beubax
2 comments
a year ago
Beubax
3 points
113.
▲
Show HN: 800x faster Linter and TypeScript-Go toolchain for plugins like typia
github.com/samchon
1 comment
11 days ago
autobe
3 points
114.
▲
Show HN: We open-sourced our internal tool for scoring PRs with Claude AI
github.com/MergeMint
1 comment
6 months ago
textcortex
3 points
115.
▲
Show HN: TrainCheck – Catch ML Training Bugs Before It's Too Late
github.com/OrderLab
1 comment
10 months ago
justmattyou
3 points
116.
▲
Show HN: Shamefile – Enforce docs for linter bypasses
github.com/BKDDFS
discuss
a month ago
BKDDFS
3 points
117.
▲
Pipguard – catches .pth malware before pip install runs
discuss
3 months ago
shenxianpeng
3 points
118.
▲
Show HN: Cordon – open-source security gateway for MCP tool calls
cordon-server-production.up.railway.app
discuss
3 months ago
babas03
3 points
119.
▲
Show HN: Vett – Scan, sign, and verify AI agent skills before installing
vett.sh
discuss
4 months ago
nikon
3 points
120.
▲
Kimi.com Potential Cryptojacking
discuss
4 months ago
dannygn
3 points
More