Hacker News
waterfall: Induction Proofs in Lean
Article URL: https://samth.github.io/waterfall/
Comments URL: https://news.ycombinator.com/item?id=49733798
Points: 1
# Comments: 0
Danish pharma giant Novo to use Anthropic's Claude to advance AI drug discovery
Show HN: Learn Claude Code – Interactive Mindmap
Article URL: https://mikenikles.com/blog/learn-claude-code
Comments URL: https://news.ycombinator.com/item?id=49733761
Points: 1
# Comments: 0
Show HN: Collected every single "What are you working on" project into a website
Article URL: https://what-are-you-working-on-62u6b.reachpad.app/
Comments URL: https://news.ycombinator.com/item?id=49733753
Points: 2
# Comments: 2
Model Misalignment Reporting Framework
Article URL: https://openai.com/index/model-misalignment-reporting-framework/
Comments URL: https://news.ycombinator.com/item?id=49733739
Points: 2
# Comments: 0
What we learned from our traces
Article URL: https://traces.com/blog/agent-sessions-are-a-dataset
Comments URL: https://news.ycombinator.com/item?id=49733737
Points: 1
# Comments: 0
You are doing your code gen wrong
Article URL: https://testrigor.com/blog/what-everyone-gets-wrong-about-ai-code-generation/
Comments URL: https://news.ycombinator.com/item?id=49733734
Points: 1
# Comments: 0
HarnessTax: How Much Does the Harness Matter for Coding Agents?
Article URL: https://harnesstax.github.io/
Comments URL: https://news.ycombinator.com/item?id=49733726
Points: 1
# Comments: 0
Can I get insurance for company renting humanoids for parties?
It feels like an daunting and impossible task to find insurance for a company trying to rent humanoids for events and parties. How in the world are Neos and Telsa Optimus going to get insurance coverage if they are inside a home?
Are they just big players so they can get hold of risk underwriters and get them to approve it. But a small company that is trying to build rent robots for parties or conduct educational workshops using humanoids cannot get even general liability.
Comments URL: https://news.ycombinator.com/item?id=49733718
Points: 1
# Comments: 1
AI is creating ghostwriting jobs on LinkedIn
Article URL: https://www.ft.com/content/7a5e15e4-799a-4476-ba9f-018b1d82c76f
Comments URL: https://news.ycombinator.com/item?id=49733356
Points: 1
# Comments: 0
SensorTap: One command, every sensor your machine has
Article URL: https://baselashraf.com/sensortap/
Comments URL: https://news.ycombinator.com/item?id=49733345
Points: 1
# Comments: 1
Royce on San Francisco
Article URL: https://www.astralcodexten.com/p/royce-on-san-francisco
Comments URL: https://news.ycombinator.com/item?id=49733314
Points: 1
# Comments: 0
Show HN: Make Art Not Apps
Make Art Not Apps. Runs completely in your browser.
Comments URL: https://news.ycombinator.com/item?id=49733300
Points: 1
# Comments: 0
How Israel exports the technology of occupation around the world
Article URL: https://www.universiteitleiden.nl/project0100/news/book-review-the-palestine-laboratory
Comments URL: https://news.ycombinator.com/item?id=49733281
Points: 2
# Comments: 0
Destroying Humanity Is Against the Law
Article URL: https://www.theatlantic.com/ideas/2026/09/ai-risk-criminal-law/688615/
Comments URL: https://news.ycombinator.com/item?id=49733270
Points: 1
# Comments: 0
Apple's M6, M7 and M8 Chips Show How AI Is Reshaping the Company
Article URL: https://twitter.com/markgurman/status/2100252758859489391
Comments URL: https://news.ycombinator.com/item?id=49733257
Points: 2
# Comments: 0
Elyx
Article URL: https://elyx.design/
Comments URL: https://news.ycombinator.com/item?id=49733252
Points: 2
# Comments: 1
Principles for a New Utopianism
Article URL: https://institute.deepmind.com/essays/principles-for-a-new-utopianism/
Comments URL: https://news.ycombinator.com/item?id=49733235
Points: 1
# Comments: 0
Trove of Never-Before-Seen Records Reveal How the Wealthiest Avoid Income Tax
Cookie converter and Claude session check I use
Article URL: https://claudecookie.com/
Comments URL: https://news.ycombinator.com/item?id=49733195
Points: 1
# Comments: 0
