Hackernews posts about Paper Pro

1. TurboQuant: Building a Sub-Byte KV Cache Quantizer from Paper to Production (demo.aitherium.com)
   14 points by wizzense 13 days ago | 1 comments
2. TurboQuant: Building a Sub-Byte KV Cache Quantizer from Paper to Production (demo.aitherium.com)
   2 points by wizzense 10 days ago | discuss
3. Show HN: I built a P2P network where AI agents publish formally verified science
   47 points by FranciscoAngulo 21 days ago | 9 comments
4. Show HN: Identa – CLI to calibrate prompts across local LLMs
   5 points by srodriguezp 4 days ago | discuss
5. Show HN: Autocrit – an agent loop that builds and tests web prototypes (github.com)
   3 points by 4di 4 days ago | 2 comments
6. Show HN: Signals – finding the most informative agent traces without LLM judges (arxiv.org)
   3 points by sparacha 4 days ago | discuss
7. Show HN: AlphaEvolve inspired evolution harness for Pokemon (github.com)
   2 points by brianllamar 29 days ago | discuss
8. Delta Sales App
   1 points by Susmita157 27 days ago | 1 comments
9. A Methodological Critique of "First Proof" (Abouzaid et al., 2026)
   1 points by Beo_VN 30 days ago | discuss
10. Apple Rich Text Fundamentals (paper.pro)
    10 points by tobr 7 days ago | discuss
11. Real or Slop? – Programming Languages Papers Edition (slop.zackg.me)
    6 points by matt_d 22 days ago | 2 comments
12. Show HN: Backproto – network backpressure routing applied to AI agent payments (www.backproto.io)
    5 points by BSOhealth 22 days ago | discuss
13. Show HN: Brain Golfing – a pen-and-paper strategy game I designed (www.happypastimes.com)
    1 points by mkdesign 21 days ago | discuss
14. Ask HN: What are some good lectures or talks like this one? [pdf] (www.labouseur.com)
    1 points by jdironman 29 days ago | 2 comments
15. Show HN: Reprompt – Score your AI coding prompts with NLP papers (github.com)
    13 points by LuxBennu 22 days ago | 2 comments
16. How to teach programming in the age of AI (www.thetransmitter.org)
    3 points by mooreds 6 days ago | discuss
17. How to teach programming in the age of AI (www.thetransmitter.org)
    1 points by gpi 6 days ago | 1 comments
18. Atombite.ai Deep Dive: Building a Takeout Packing Robot Is Harder Than You Think
    3 points by emmanol 8 days ago | 2 comments
19. How did you learn Google and Hadoop File System?
    1 points by shivajikobardan 5 days ago | 1 comments
20. A laser-based process that enables adhesive-free paper packaging (www.fraunhofer.de)
    130 points by gnabgib 11 days ago | 53 comments
21. Harvard QCD Professor vibe codes quality research paper (www.anthropic.com)
    4 points by jgamman 6 days ago | 1 comments
22. Ask HN: Is using AI tooling for a PhD literature review dishonest?
    10 points by latand6 16 days ago | 29 comments
23. Show HN: A Open Source Claude Code setup to publish Research papers 10x faster (github.com)
    1 points by FurstFly 3 days ago | discuss
24. What Is Lipoless? Complete Guide to Weight Loss Support [pdf] (storage.prod.researchhub.com)
    1 points by AidanKeogh about 1 hour ago | discuss
25. Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
    783 points by Poudlardo 23 days ago | 191 comments
26. The risk of AI isn't making us lazy, but making "lazy" look productive
    76 points by acmerfight 12 days ago | 89 comments
27. My side project was annihilated by Google
    7 points by lilouartz 10 days ago | 3 comments
28. "Kai su, teknon" Caesar last words were probably a curse, not a farewell (2018) (www.lrb.co.uk)
    7 points by kwikiel 22 days ago | 2 comments
29. The Equivalence of Systems That Process Turing-Complete Input [pdf] (poc.bcachefs.org)
    5 points by seanw444 20 days ago | 1 comments
30. Show HN: Paper Console – Handmade thermal printer for news, weather, notes, more (travismiller.design)
    4 points by travmiller 9 days ago | discuss