fp.

waterfall: Induction Proofs in Lean

https://samth.github.io/waterfall/

1•matt_d•2m ago•0 comments

Danish pharma giant Novo to use Anthropic's Claude to advance AI drug discovery

https://www.euronews.com/health/2026/09/16/danish-pharma-giant-novo-to-use-anthropics-claude-to-a...

3•billybuckwheat•2m ago•1 comments

Show HN: Learn Claude Code – Interactive Mindmap

https://mikenikles.com/blog/learn-claude-code

1•mikenikles•5m ago•0 comments

Show HN: Collected every single "What are you working on" project into a website

https://what-are-you-working-on-62u6b.reachpad.app/

1•sakuraiben•6m ago•0 comments

Model Misalignment Reporting Framework

https://openai.com/index/model-misalignment-reporting-framework/

2•raahelb•7m ago•0 comments

What we learned from our traces

https://traces.com/blog/agent-sessions-are-a-dataset

1•sriharis•7m ago•0 comments

You are doing your code gen wrong

https://testrigor.com/blog/what-everyone-gets-wrong-about-ai-code-generation/

1•artem001•8m ago•0 comments

HarnessTax: How Much Does the Harness Matter for Coding Agents?

https://harnesstax.github.io/

1•matt_d•8m ago•0 comments

Can I get insurance for company renting humanoids for parties?

1•cpsk•10m ago•1 comments

The Phenomenon of Bullshit Jobs: A Work Rant (2013)

https://davidgraeber.org/articles/on-the-phenomenon-of-bullshit-jobs-a-work-rant/

1•fnoef•10m ago•0 comments

Show HN: Fivetran CLI is released to Beta

https://pypi.org/project/fivetran-cli/

1•emrah•11m ago•0 comments

Assistant Benchmark

https://assistantbenchmark.com/

1•djoldman•16m ago•0 comments

Typesafe-computer-use drives a Mac toward a goal for 1/50th of a cent per step

https://github.com/awlevin/typesafe-computer-use

1•rahimnathwani•17m ago•0 comments

OpenAI's Hugging Face Hack Is the Best AI Safety Opportunity So Far

https://cahlik.net/blog/openais-hugging-face-hack-is-the-best-ai-safety-opportunity-so-far/

1•brikowski•19m ago•0 comments

Huai Su's Autobiography (2017)

https://www.vincentpoon.com/autobiography-of-huai-su.html

1•gone35•21m ago•0 comments

ElevenLabs Launches Reception

https://twitter.com/ElevenLabs/status/2100262886916358361

1•jodik2•21m ago•1 comments

Show HN: Kosmic Kart – Mario Kart-style racing with friends in the browser

https://kosmi.io/kosmic-kart/

1•hauxir•24m ago•0 comments

God's Eye View

https://github.com/bilawalsidhu/gods-eye-view

1•simonebrunozzi•25m ago•0 comments

Characterizing ~375 GB Kimi K2.5 on a 128 GB Ryzen AI MAX+ 395 PC

https://zenodo.org/records/22755791

1•NHApplied•26m ago•1 comments

Write Linters and Tools Before Code

https://cookie.engineer/weblog/articles/write-linters-and-tools-before-code.html

2•cookiengineer•29m ago•0 comments

LispBM is a concurrent Lisp for microcontrollers with message passing

https://www.lispbm.com/

1•so-cal-schemer•29m ago•1 comments

Design System Scalability Made iPhone Duo Possible

https://blog.romain.garden/blog/design-system-scalability-made-iphone-duo-possible/

1•romainpct•31m ago•0 comments

Common Crawl Data Stored on a Hugging Face Bucket

https://commoncrawl.org/blog/getting-started-with-common-crawl-data-on-hugging-face

3•abidlabs•36m ago•0 comments

Nowcast – Worldwide Lightning Detection and Thunderstorm Warnings

https://www.nowcast.de/en/

1•embedding-shape•38m ago•0 comments

The Publics Quest for Free, Verifiable, and Unfiltered Scientific Data

https://zenodo.org/records/22784738

2•UniverseToday•38m ago•1 comments

AI is creating ghostwriting jobs on LinkedIn

https://www.ft.com/content/7a5e15e4-799a-4476-ba9f-018b1d82c76f

2•uxhacker•43m ago•0 comments

SensorTap: One command, every sensor your machine has

https://baselashraf.com/sensortap/

1•BaselAshraf81•44m ago•1 comments

Royce on San Francisco

https://www.astralcodexten.com/p/royce-on-san-francisco

1•babelfish•47m ago•0 comments

Show HN: Make Art Not Apps

https://www.makeartnotapps.com/

1•hellojomp•48m ago•0 comments

How Israel exports the technology of occupation around the world

https://www.universiteitleiden.nl/project0100/news/book-review-the-palestine-laboratory

7•paimapi•49m ago•0 comments

waterfall: Induction Proofs in Lean

Danish pharma giant Novo to use Anthropic's Claude to advance AI drug discovery

Show HN: Learn Claude Code – Interactive Mindmap

Show HN: Collected every single "What are you working on" project into a website

Model Misalignment Reporting Framework

What we learned from our traces

You are doing your code gen wrong

HarnessTax: How Much Does the Harness Matter for Coding Agents?

Can I get insurance for company renting humanoids for parties?

The Phenomenon of Bullshit Jobs: A Work Rant (2013)

Show HN: Fivetran CLI is released to Beta

Assistant Benchmark

Typesafe-computer-use drives a Mac toward a goal for 1/50th of a cent per step

OpenAI's Hugging Face Hack Is the Best AI Safety Opportunity So Far

Huai Su's Autobiography (2017)

ElevenLabs Launches Reception

Show HN: Kosmic Kart – Mario Kart-style racing with friends in the browser

God's Eye View

Characterizing ~375 GB Kimi K2.5 on a 128 GB Ryzen AI MAX+ 395 PC

Write Linters and Tools Before Code

LispBM is a concurrent Lisp for microcontrollers with message passing

Design System Scalability Made iPhone Duo Possible

Common Crawl Data Stored on a Hugging Face Bucket

Nowcast – Worldwide Lightning Detection and Thunderstorm Warnings

The Publics Quest for Free, Verifiable, and Unfiltered Scientific Data

AI is creating ghostwriting jobs on LinkedIn

SensorTap: One command, every sensor your machine has

Royce on San Francisco

Show HN: Make Art Not Apps

How Israel exports the technology of occupation around the world

The LLMs Yearn for the Spines

waterfall: Induction Proofs in Lean

Danish pharma giant Novo to use Anthropic's Claude to advance AI drug discovery

Show HN: Learn Claude Code – Interactive Mindmap

Show HN: Collected every single "What are you working on" project into a website

Model Misalignment Reporting Framework

What we learned from our traces

You are doing your code gen wrong

HarnessTax: How Much Does the Harness Matter for Coding Agents?

Can I get insurance for company renting humanoids for parties?

The Phenomenon of Bullshit Jobs: A Work Rant (2013)

Show HN: Fivetran CLI is released to Beta

Assistant Benchmark

Typesafe-computer-use drives a Mac toward a goal for 1/50th of a cent per step

OpenAI's Hugging Face Hack Is the Best AI Safety Opportunity So Far

Huai Su's Autobiography (2017)

ElevenLabs Launches Reception

Show HN: Kosmic Kart – Mario Kart-style racing with friends in the browser

God's Eye View

Characterizing ~375 GB Kimi K2.5 on a 128 GB Ryzen AI MAX+ 395 PC

Write Linters and Tools Before Code

LispBM is a concurrent Lisp for microcontrollers with message passing

Design System Scalability Made iPhone Duo Possible

Common Crawl Data Stored on a Hugging Face Bucket

Nowcast – Worldwide Lightning Detection and Thunderstorm Warnings

The Publics Quest for Free, Verifiable, and Unfiltered Scientific Data

AI is creating ghostwriting jobs on LinkedIn

SensorTap: One command, every sensor your machine has

Royce on San Francisco

Show HN: Make Art Not Apps

How Israel exports the technology of occupation around the world