Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
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