Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Glyph: Scaling Context Windows via Visual-Text Compression
(github.com/thu-coai)
24 points
foruhar
7 months ago
3 comments
2.
▲
Ask HN: Any indications Copilot scans your local files?
189 points
polycaster
5 years ago
83 comments
3.
▲
MetaGenesis Core – offline verification for computational claims
(metagenesis-core.dev)
15 points
Lama9901
3 months ago
18 comments
4.
▲
Show HN: Frontend-VisualQA — give coding agents eyes to verify their own UI work
(github.com/yutori-ai)
10 points
dhruvbatra
2 months ago
discuss
5.
▲
Show HN: Provepy – A Python decorator that proves your code using Lean and LLMs
3 points
spaccy05
2 months ago
discuss
6.
▲
Show HN: Alint, a fast linter for repository structure and hygiene
(github.com/asamarts)
2 points
aleqs
15 days ago
1 comment
7.
▲
Show HN: AgentUQ, a token-logprob runtime gate for LLM agents
(github.com/antoinenguyen27)
1 point
AntoineN2
3 months ago
discuss
8.
▲
Show HN: Agents with Verifiable Human Claims
(docs.zipwire.io)
1 point
lukepuplett
3 months ago
discuss
9.
▲
Show HN: MemCloud Security Deep Dive – How Devices Safely Share RAM over LAN
(github.com/vibhanshu2001)
1 point
vibhanshugarg
6 months ago
discuss
10.
▲
Show HN: GroundCite-An open-source package to fix broken Gemini API citations
(github.com/cennest)
1 point
anshulee25
8 months ago
discuss
11.
▲
Why SMB(NES) Preemptively Clear the Hidden 1UP Flag Before Mario Hits the Block?
1 point
damiaozi
a year ago
discuss