Hackernews posts about Paper Pro

1. Problematic Paper Screener detects 1000s of fraudulent/slop scientific articles (theconversation.com)
   3 points by felineflock 6 days ago | discuss
2. Problematic Paper Screener (www.irit.fr)
   2 points by nstj 6 days ago | discuss
3. ReMarkable Paper Pro Move Running Android 12 (www.reddit.com)
   2 points by rvz 19 days ago | discuss
4. DeepSeek Paper: A Programming Paradigm for Spatiotemporal Composability [pdf] (github.com)
   1 points by gr_norm 8 days ago | discuss
5. The Case Against Formal Verification, 50 Years Later (ivan-gavran.github.io)
   95 points by ghuntley 6 days ago | 119 comments
6. Show HN: Unicasso – image to ASCII art via optimization with CLIP (github.com)
   4 points by imko_ 9 days ago | discuss
7. Show HN: Offline Flock Navigation (trames.karazajac.io)
   2 points by arkwin 22 days ago | discuss
8. Three different papers pushed to ArXiv proving same 1986 conjecture; all use AI (twitter.com)
   2 points by pfdietz 5 days ago | discuss
9. Ask HN: Has anyone solved P2P routing at 100B+ nodes without DHT degradation?
   6 points by ikhrabry 18 days ago | 13 comments
10. Show HN: Gene Inspector Pro – I built a tool for exploring your own genome (gene-inspector.pro)
    1 points by sergey-a 5 days ago | discuss
11. Launch HN: Rise Reforming (YC S26) – Turning Waste Gases into Valuable Chemicals (www.rise-reforming.com)
    85 points by george_rose25 26 days ago | 38 comments
12. Show HN: Proxima serves 4x more requests with no hardware change on vLLM (github.com)
    3 points by pythongiant 11 days ago | 1 comments
13. I gave Claude's Reimann paper to GPT-5.6-Sol Pro. It's now 67.30% (twitter.com)
    2 points by porridgeraisin 11 days ago | discuss
14. Coding Agents killed my identity. How do you feel?
    16 points by bah9 1 day ago | 32 comments
15. SOTA on the hardest AI memory benchmark (BEAM, 10M tokens), with a smaller model
    3 points by johnnymakes 25 days ago | 3 comments
16. AI Paper Trail: What does AI know about you? (proton.me)
    2 points by Gys 6 days ago | 3 comments
17. Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects (github.com)
    18 points by kbradero 25 days ago | 2 comments
18. How to get more coding productivity with LLMs
    9 points by DaveParkCity 24 days ago | 2 comments
19. 'Papers and patents are becoming less disruptive over time'? (bsky.app)
    4 points by doener 9 days ago | discuss
20. Stealing Reasoning Traces from Proprietary LLM APIs [pdf] (stolen-thoughts.com)
    3 points by amrrs 11 days ago | 1 comments
21. A Programming Paradigm for Spatiotemporal Composability (github.com)
    3 points by mekpro 9 days ago | discuss
22. Automating Godel's Ontological Proof of God's Existence [pdf] (christoph-benzmueller.de)
    3 points by ibobev 16 days ago | discuss
23. Proofs that age verification and e-voting do not require sacrificing any privacy (magarshak.com)
    3 points by EGreg 25 days ago | discuss
24. Show HN: LinXiv v0.4.0; paper manager now using n0's iroh for P2P collaboration (github.com)
    2 points by jeuribe 6 days ago | 2 comments
25. Time Travel on Professional Profiles (www.nber.org)
    2 points by helsinkiandrew 4 days ago | discuss
26. Personal Holding Companies, Tax Progressivity, and Inequality (www.nber.org)
    2 points by paulpauper 24 days ago | discuss
27. A New Approach to Nuclear Warhead Verification Using a Zero-Knowledge Protocol(2012) [pdf] (www.boazbarak.org)
    2 points by nill0 28 days ago | discuss
28. An Open Protocol for Knowledge/Memory Management
    1 points by iamalnewkirk 5 days ago | discuss
29. Certified Program Synthesis with a Multi-Modal Verifier [pdf] (verse-lab.org)
    1 points by matt_d 19 days ago | discuss
30. The Dr. K Project [pdf] (new.aaai.org)
    1 points by bryanrasmussen 19 days ago | discuss