Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT

https://mathstodon.xyz/@tao/115416208975810074

1•mathfan•1m ago•0 comments

Show HN: Selecta – Natural language analytics for BigQuery

https://github.com/yogirk/selecta

1•ashtavakra•1m ago•0 comments

Unlocking Free WiFi on British Airways

https://www.saxrag.com/tech/reversing/2025/06/01/BAWiFi.html

1•signa11•3m ago•0 comments

Resiliency and Scale

https://stratechery.com/2025/resiliency-and-scale/

1•zupa-hu•4m ago•0 comments

Show HN: I built a pixel art app where you evolve a dinosaur by not drinking

https://drynosaur.com/

1•garethharte•4m ago•0 comments

The Rari SSR Breakthrough: 12x Faster, 10x Higher Throughput Than Next.js

https://ryanskinner.com/posts/the-rari-ssr-breakthrough-12x-faster-10x-higher-throughput-than-nextjs

1•skiniks•5m ago•1 comments

Ask HN: What skills are worth obsessive focus for an unshakable future?

3•cookies2eat•7m ago•0 comments

Workers and Employers Face Higher Health Insurance Costs

https://www.nytimes.com/2025/10/22/health/workers-and-employers-face-higher-health-insurance-cost...

1•zerosizedweasle•8m ago•0 comments

Show HN: I built a browser-based video editor for making social media reels

https://www.reelleer.com/

1•vaneyckseme•9m ago•0 comments

Risky Bulletin: Clever worm hits the DevOps scene (VS Code)

https://risky.biz/risky-bulletin-clever-worm-hits-the-devops-scene/

1•nallerooth•9m ago•0 comments

Reusing GraphQL Queries Within Django

https://wedgworth.dev/reusing-graphql-queries-within-django/

1•paltman•12m ago•0 comments

Seven Thoughts on "AI Scientists"

https://corinwagen.github.io/public/blog/20251021_seven_thoughts_on_ai_scientists.html

1•sebg•14m ago•0 comments

Zero Framework Cognition: A Way to Build Resilient AI Applications

https://steve-yegge.medium.com/zero-framework-cognition-a-way-to-build-resilient-ai-applications-...

1•sebg•14m ago•0 comments

I've built an hyprland shortcuts window clone for Mac

https://github.com/daschaa/keybindings

1•daschaa•19m ago•0 comments

Why AI Coding Still Fails in Enterprise Teams

https://www.aviator.co/blog/ai-coding-in-enterprise-teams/

1•birdculture•19m ago•0 comments

I Want to See the Claw

https://vickiboykis.com/2025/10/20/i-want-to-see-the-claw/

1•sebg•20m ago•0 comments

Basecamp have closed their AWS account

https://xcancel.com/dhh/status/1980406035543388259#m

1•ciconia•20m ago•0 comments

One startup's quest to store electricity in the ocean

https://techcrunch.com/2025/10/22/one-startups-quest-to-store-electricity-in-the-ocean/

1•rbanffy•20m ago•0 comments

Oracle AI Database 26ai Free Release now avaliable on sqlize.online

https://sqlize.online/sql/oracle23/e7c8703ebb54636078598b4d8b99a31b/

1•rozhnev•20m ago•0 comments

A Word on Omarchy

https://xn--gckvb8fzb.com/a-word-on-omarchy/

2•rozhok•22m ago•0 comments

Is there _any_ US/UK remote web/dev job portal out there?

1•mvgmvg•23m ago•0 comments

Model Context Protocol (MCP) Hub

https://www.speakeasy.com/mcp

1•sixhobbits•25m ago•0 comments

How much prices are rising across the fashion industry: $17

https://www.cnbc.com/2025/10/22/heres-how-much-prices-are-rising-across-the-fashion-industry.html

1•zerosizedweasle•29m ago•1 comments

Prompt injection to RCE in AI agents

https://blog.trailofbits.com/2025/10/22/prompt-injection-to-rce-in-ai-agents/

1•ingve•30m ago•0 comments

Best Kitchen Composters and Food Recyclers (2025)

https://www.wired.com/story/home-composters-buying-guide/

1•fleahunter•31m ago•0 comments

Airbnb Host Accused of Using AI to Fake $16K in Damage

https://www.vice.com/en/article/airbnb-host-accused-of-using-ai-to-fake-16k-in-damage/

3•lambertsimnel•32m ago•0 comments

Mosquitoes found in Iceland for first time after record heat

https://www.bbc.com/news/articles/clyz3vv62pgo

1•thunderbong•35m ago•0 comments

When Models Manipulate Manifolds: The Geometry of a Counting Task

https://transformer-circuits.pub/2025/linebreaks/index.html

1•tanelpoder•39m ago•0 comments

When Face Recognition Doesn't Know Your Face Is a Face

https://www.wired.com/story/when-face-recognition-doesnt-know-your-face-is-a-face/

3•FromTheArchives•40m ago•0 comments

What's new in C# 14: overview

https://pvs-studio.com/en/blog/posts/csharp/1301/

2•pjmlp•41m ago•0 comments

Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT

Show HN: Selecta – Natural language analytics for BigQuery

Unlocking Free WiFi on British Airways

Resiliency and Scale

Show HN: I built a pixel art app where you evolve a dinosaur by not drinking

The Rari SSR Breakthrough: 12x Faster, 10x Higher Throughput Than Next.js

Ask HN: What skills are worth obsessive focus for an unshakable future?

Workers and Employers Face Higher Health Insurance Costs

Show HN: I built a browser-based video editor for making social media reels

Risky Bulletin: Clever worm hits the DevOps scene (VS Code)

Reusing GraphQL Queries Within Django

Seven Thoughts on "AI Scientists"

Zero Framework Cognition: A Way to Build Resilient AI Applications

I've built an hyprland shortcuts window clone for Mac

Why AI Coding Still Fails in Enterprise Teams

I Want to See the Claw

Basecamp have closed their AWS account

One startup's quest to store electricity in the ocean

Oracle AI Database 26ai Free Release now avaliable on sqlize.online

A Word on Omarchy

Is there _any_ US/UK remote web/dev job portal out there?

Model Context Protocol (MCP) Hub

How much prices are rising across the fashion industry: $17

Prompt injection to RCE in AI agents

Best Kitchen Composters and Food Recyclers (2025)

Airbnb Host Accused of Using AI to Fake $16K in Damage

Mosquitoes found in Iceland for first time after record heat

When Models Manipulate Manifolds: The Geometry of a Counting Task

When Face Recognition Doesn't Know Your Face Is a Face

What's new in C# 14: overview

Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT

Show HN: Selecta – Natural language analytics for BigQuery

Unlocking Free WiFi on British Airways

Resiliency and Scale

Show HN: I built a pixel art app where you evolve a dinosaur by not drinking

The Rari SSR Breakthrough: 12x Faster, 10x Higher Throughput Than Next.js

Ask HN: What skills are worth obsessive focus for an unshakable future?

Workers and Employers Face Higher Health Insurance Costs

Show HN: I built a browser-based video editor for making social media reels

Risky Bulletin: Clever worm hits the DevOps scene (VS Code)

Reusing GraphQL Queries Within Django

Seven Thoughts on "AI Scientists"

Zero Framework Cognition: A Way to Build Resilient AI Applications

I've built an hyprland shortcuts window clone for Mac

Why AI Coding Still Fails in Enterprise Teams

I Want to See the Claw

Basecamp have closed their AWS account

One startup's quest to store electricity in the ocean

Oracle AI Database 26ai Free Release now avaliable on sqlize.online

A Word on Omarchy

Is there _any_ US/UK remote web/dev job portal out there?

Model Context Protocol (MCP) Hub

How much prices are rising across the fashion industry: $17

Prompt injection to RCE in AI agents

Best Kitchen Composters and Food Recyclers (2025)

Airbnb Host Accused of Using AI to Fake $16K in Damage

Mosquitoes found in Iceland for first time after record heat

When Models Manipulate Manifolds: The Geometry of a Counting Task

When Face Recognition Doesn't Know Your Face Is a Face

What's new in C# 14: overview

Ask HN: What are the best AI products or tools you've use daily?