Hackernews posts about PERQ
- Show HN: Autonomous Prover Running > 1hr (perqed.com)
- Personal Encyclopedias (whoami.wiki)
- AI overly affirms users asking for personal advice (news.stanford.edu)
- Show HN: I built a frontpage for personal blogs (text.blogosphere.app)
- GrapheneOS will remain usable by anyone without requiring personal information (grapheneos.social)
- A cryptography engineer's perspective on quantum computing timelines (words.filippo.io)
- No, it doesn't cost Anthropic $5k per Claude Code user (martinalderson.com)
- Return of the Obra Dinn: spherical mapped dithering for a 1bpp first-person game (forums.tigsource.com)
- Iran-linked hackers breach FBI director's personal email (www.reuters.com)
- Employers use your personal data to figure out the lowest salary you'll accept (www.marketwatch.com)
- Student beauty and grades under in-person and remote teaching (www.sciencedirect.com)
- A nearly perfect USB cable tester (blog.literarily-starved.com)
- DOJ confirms FBI Director Kash Patel's personal email was hacked (arstechnica.com)
- Personal Computer by Perplexity (www.perplexity.ai)
- Codex pricing to align with API token usage, instead of per-message (help.openai.com)
- I turned my Kindle into my own personal newspaper (manualdousuario.net)
- Diverse perspectives on AI from Rust contributors and maintainers (nikomatsakis.github.io)
- From 300KB to 69KB per Token: How LLM Architectures Solve the KV Cache Problem (news.future-shock.ai)
- Parallel Perl – Autoparallelizing interpreter with JIT (perl.petamem.com)