fp.

Proving Rust Web Application Correctness with Lean 4

https://medium.com/@Koukyosyumei/proving-rust-web-application-correctness-with-lean-4-8889583f1e15

1•syumei•24s ago•0 comments

Show HN: Capo-S3 – Modern S3 client for Python

https://pypi.org/project/capo-s3/

2•karpetrosyan•54s ago•0 comments

OpenAI is adding text watermarking in ChatGPT and Codex

https://www.theverge.com/ai-artificial-intelligence/1004880/openai-chatgpt-text-watermarks-eu-ai-act

1•thm•1m ago•0 comments

Shaders: Open-source WebGPU shader components and free design editor

https://shaders.com

2•epaga•1m ago•0 comments

Docusign's agent platform is saving engineers 1,000s of hours

https://www.docusign.com/blog/every-team-deserves-a-krew-the-platform-behind-docusigns-220-ai-tea...

1•dweiss85•2m ago•0 comments

Senior Software Engineer

1•adithkb•3m ago•0 comments

Booking goes to court to force staff to go to the office

https://www.dutchnews.nl/2026/10/booking-com-goes-to-court-to-force-staff-to-go-to-the-office/

2•DefNotAiForSure•3m ago•0 comments

Ed Zitron: Microsoft Has $80B of AI Chips It Can't Plug in [video]

https://www.youtube.com/watch?v=es4FfRU8saQ

1•Bender•3m ago•0 comments

Paramount wraps up Warner Bros merger

https://www.reuters.com/business/media-telecom/paramount-wraps-up-mega-warner-bros-merger-create-...

2•tolugenius•4m ago•0 comments

Account Bans on Reddit

https://orchidfiles.com/account-bans-on-reddit/

2•theorchid•4m ago•0 comments

Can an AI agent still act after the operator has stopped its authority?

https://github.com/GlobalSushrut/connector-oss

1•umeshlamton•4m ago•0 comments

Show HN: Evalyze investor outreach and follow up tracking with Eva

https://www.evalyze.ai/

1•Veefa•6m ago•0 comments

Ask HN: How come everyone is an LLM expert?

2•delis-thumbs-7e•6m ago•1 comments

Denmark's ID register spills more people's details than the country has

https://www.theregister.com/security/2026/10/06/denmarks-id-register-spills-more-peoples-details-...

1•sbulaev•7m ago•0 comments

Show HN: FoundrRadio – Pick a frequency, launch your radio station and go on air

https://foundrradio.live/

1•theanimeshs•9m ago•0 comments

Your Language Model Is Not-So-Secretly a System 1 Model

https://ivnle.github.io/blog/2026/jev-vs-open-models/

1•atbhtunnm•9m ago•0 comments

Show HN: I built a 3D stealth game in the browser with Three.js

https://missionshadow.com/

1•ifrosted•9m ago•0 comments

EmbeddingGemma 2

https://blog.google/innovation-and-ai/technology/developers-tools/embeddinggemma-2/

3•ilreb•10m ago•0 comments

Show HN: Orbit – local-first delivery for coding agents

https://github.com/constellation-works/orbit

2•danieljhkim•10m ago•1 comments

Do You Want IT the Most?

https://justinjackson.ca/want-the-most

1•ethangunderson•11m ago•0 comments

If You Want to Understand AI, Get a Dog (WSJ)

https://www.wsj.com/opinion/if-you-want-to-understand-ai-get-a-dog-82ba2de1

1•topherjaynes•13m ago•0 comments

A Viewer's Guide to Warren Buffett's Nightly Trips Down the YouTube Rabbit Hole

https://www.wsj.com/lifestyle/warren-buffett-youtube-watching-cb6bd1d4

1•Michelangelo11•13m ago•0 comments

Functional Consciousness – A Measurable Property of Mind

https://functional-consciousness.com/

1•eustoria•14m ago•0 comments

Show HN: AI Circuit Breaker – Reverse proxy to stop agent infinite loops

https://circuit-breaker-sage.vercel.app/

2•roandejager•14m ago•0 comments

Hylki – a modern email client for the Linux desktop

https://hylki.app/

2•eustoria•15m ago•0 comments

This image will slowly degrade and disappear over the next 4 hours

https://joinfaded.com/post/9210b637-5416-4350-b745-37897593a8ce

3•dreadsword•16m ago•1 comments

Notes on Dllexport and Dllimport

https://www.hanshq.net/dllexport.html

2•zmodem•16m ago•0 comments

The Laptop for 71% of People [video]

https://www.youtube.com/watch?v=ZedAs9P7yE8

1•ksec•16m ago•1 comments

How funny are the frontier AI models?

https://invertedpassion.com/how-funny-are-the-frontier-ai-models/

1•ilreb•17m ago•3 comments

Show HN: Oryx 1.2.1 – Fast FOSS cross-platform Markdown editor and viewer

https://github.com/wmahfoudh/oryx

2•chlankboot•18m ago•0 comments

Proving Rust Web Application Correctness with Lean 4

Show HN: Capo-S3 – Modern S3 client for Python

OpenAI is adding text watermarking in ChatGPT and Codex

Shaders: Open-source WebGPU shader components and free design editor

Docusign's agent platform is saving engineers 1,000s of hours

Senior Software Engineer

Booking goes to court to force staff to go to the office

Ed Zitron: Microsoft Has $80B of AI Chips It Can't Plug in [video]

Paramount wraps up Warner Bros merger

Account Bans on Reddit

Can an AI agent still act after the operator has stopped its authority?

Show HN: Evalyze investor outreach and follow up tracking with Eva

Ask HN: How come everyone is an LLM expert?

Denmark's ID register spills more people's details than the country has

Show HN: FoundrRadio – Pick a frequency, launch your radio station and go on air

Your Language Model Is Not-So-Secretly a System 1 Model

Show HN: I built a 3D stealth game in the browser with Three.js

EmbeddingGemma 2

Show HN: Orbit – local-first delivery for coding agents

Do You Want IT the Most?

If You Want to Understand AI, Get a Dog (WSJ)

A Viewer's Guide to Warren Buffett's Nightly Trips Down the YouTube Rabbit Hole

Functional Consciousness – A Measurable Property of Mind

Show HN: AI Circuit Breaker – Reverse proxy to stop agent infinite loops

Hylki – a modern email client for the Linux desktop

This image will slowly degrade and disappear over the next 4 hours

Notes on Dllexport and Dllimport

The Laptop for 71% of People [video]

How funny are the frontier AI models?

Show HN: Oryx 1.2.1 – Fast FOSS cross-platform Markdown editor and viewer

Show HN: Nuticast – Xcode wireless debugging for an iPhone on a different Wi-Fi

Proving Rust Web Application Correctness with Lean 4

Show HN: Capo-S3 – Modern S3 client for Python

OpenAI is adding text watermarking in ChatGPT and Codex

Shaders: Open-source WebGPU shader components and free design editor

Docusign's agent platform is saving engineers 1,000s of hours

Senior Software Engineer

Booking goes to court to force staff to go to the office

Ed Zitron: Microsoft Has $80B of AI Chips It Can't Plug in [video]

Paramount wraps up Warner Bros merger

Account Bans on Reddit

Can an AI agent still act after the operator has stopped its authority?

Show HN: Evalyze investor outreach and follow up tracking with Eva

Ask HN: How come everyone is an LLM expert?

Denmark's ID register spills more people's details than the country has

Show HN: FoundrRadio – Pick a frequency, launch your radio station and go on air

Your Language Model Is Not-So-Secretly a System 1 Model

Show HN: I built a 3D stealth game in the browser with Three.js

EmbeddingGemma 2

Show HN: Orbit – local-first delivery for coding agents

Do You Want IT the Most?

If You Want to Understand AI, Get a Dog (WSJ)

A Viewer's Guide to Warren Buffett's Nightly Trips Down the YouTube Rabbit Hole

Functional Consciousness – A Measurable Property of Mind

Show HN: AI Circuit Breaker – Reverse proxy to stop agent infinite loops

Hylki – a modern email client for the Linux desktop

This image will slowly degrade and disappear over the next 4 hours

Notes on Dllexport and Dllimport

The Laptop for 71% of People [video]

How funny are the frontier AI models?

Show HN: Oryx 1.2.1 – Fast FOSS cross-platform Markdown editor and viewer