fp.

Formal Proof: LLM Hallucinations Are Structural, Not Statistical (Coq Verified)

https://philpapers.org/rec/SCHTIC-17

1•ICBTheory•45s ago•0 comments

Unfinished infrastructure, wasted funds: Colombia's 'white elephants' exposed

https://www.france24.com/en/tv-shows/the-observers/20251106-colombia-white-elephants-unfinished-i...

1•PaulHoule•1m ago•0 comments

We cut multi-turn AI agent cost/latency by ~80–90% with one small change

https://www.oneshotcodegen.com/blog

1•weebhek•2m ago•1 comments

PG_AI_Query: AI-powered SQL generation and query analysis for PostgreSQL

https://www.postgresql.org/about/news/pg_ai_query-ai-powered-sql-generation-query-analysis-for-po...

1•thunderbong•2m ago•0 comments

Vibe coding is not the same as AI-Assisted engineering

https://medium.com/@addyosmani/vibe-coding-is-not-the-same-as-ai-assisted-engineering-3f81088d5b98

1•speckx•2m ago•0 comments

How do you manage user feedback and early adopter input?

1•VladCovaci•5m ago•0 comments

Kling O1, the first unified multi-modal video foundation model

https://www.klingo1.com/

1•chengzeyi•6m ago•0 comments

AWS and Google build a fix for multi-cloud barriers they said didn't exist

https://www.theregister.com/2025/12/01/aws_google_cloud_interconnect/

1•raw_anon_1111•7m ago•0 comments

Chatbot with Lazy Mode (LLMParty)

https://llmparty.pixeletes.com/experiments/chatbot

1•victornomad•8m ago•1 comments

YouTube Transcript

https://videotranscript.app

1•leolula•10m ago•0 comments

Deep Metric Learning: A (Long) Survey

https://hav4ik.github.io/articles/deep-metric-learning-survey/

1•rzk•10m ago•0 comments

China's AJX-002 Xluuv and the Geopolitics of Undersea Power

https://www.spacewar.com/reports/Ghosts_of_the_Deep_Chinas_AJX_002_XLUUV_and_the_Geopolitics_of_U...

1•everybodyknows•11m ago•0 comments

In the Middle

https://meetinthemiddle.site/

1•volpiv•13m ago•1 comments

I turned ChatGPT/Claude web sessions into a local REST API

1•star-173•14m ago•1 comments

What History's Fallen Societies Have in Common

https://www.theatlantic.com/books/2025/12/goliaths-curse-luke-kemp-book-review/685041/

2•robtherobber•15m ago•0 comments

WordPress plugin quirk resulted in UK Gov OBR Budget leak [pdf]

https://obr.uk/docs/dlm_uploads/01122025-Investigation-into-November-2025-EFO-publication-error.pdf

8•robtaylor•16m ago•2 comments

Who the Hell Is Using Facebook Dating?

https://www.wired.com/story/who-the-hell-is-actually-using-facebook-dating/

2•01-_-•16m ago•0 comments

Shopify Outage

https://shopstatus.shopifyapps.com/

1•ramon156•17m ago•0 comments

Show HN: LogCost – map logging cost to specific log lines

https://github.com/ubermorgenland/LogCost

1•random_round•17m ago•0 comments

Are We Trusting ChatGPT-5 with Our Mental Health

https://comuniq.xyz/post?t=567

1•01-_-•17m ago•0 comments

The Next Frontier in AI Isn't More Data

https://spectrum.ieee.org/reinforcement-learning-environments

1•Brajeshwar•17m ago•0 comments

DeepSeek-v3.2: Pushing the Frontier of Open Large Language Models

https://cas-bridge.xethub.hf.co/xet-bridge-us/692cfec93b25b81d09307b94/2d0aa38511b9df084d12a00fe0...

1•mzl•19m ago•0 comments

Shopify Admin Down

https://shopstatus.shopifyapps.com/4a166c-52/incidents

1•gsck•19m ago•0 comments

India orders smartphone makers to preload state-owned cyber safety app

https://www.reuters.com/sustainability/boards-policy-regulation/india-orders-mobile-phones-preloa...

5•Brajeshwar•19m ago•0 comments

Is AI Eating the World?

https://pdub.click/2512019

2•7777777phil•22m ago•2 comments

Top Gun Traders: Stock Bets and Crypto Culture Take over the Military

https://www.wsj.com/finance/stock-trading-military-crypto-culture-75fb3c59

1•thm•22m ago•0 comments

Show HN: I built a full-stack Fin Serv Rust app with Opus

https://www.shuttle.dev/blog/2025/11/26/build-rust-app-claude-opus-4.5

1•jvcor13•23m ago•0 comments

Tim Ferriss Promised Freedom. Indie Hackers Are Selling Shovels

https://hugo.writizzy.com/p/tim-ferriss-promised-freedom-indie-hackers-are-selling-shovels

1•hlassiege•24m ago•0 comments

Runway Gen-4.5: A new frontier for video generation

https://runwayml.com/research/introducing-runway-gen-4.5

2•meetpateltech•25m ago•0 comments

Netflix Kills Casting from Its Mobile App to Most Modern TVs

https://www.macrumors.com/2025/12/01/netflix-kills-casting-from-mobile-app-to-tvs/

3•Brajeshwar•26m ago•0 comments

Formal Proof: LLM Hallucinations Are Structural, Not Statistical (Coq Verified)

Unfinished infrastructure, wasted funds: Colombia's 'white elephants' exposed

We cut multi-turn AI agent cost/latency by ~80–90% with one small change

PG_AI_Query: AI-powered SQL generation and query analysis for PostgreSQL

Vibe coding is not the same as AI-Assisted engineering

How do you manage user feedback and early adopter input?

Kling O1, the first unified multi-modal video foundation model

AWS and Google build a fix for multi-cloud barriers they said didn't exist

Chatbot with Lazy Mode (LLMParty)

YouTube Transcript

Deep Metric Learning: A (Long) Survey

China's AJX-002 Xluuv and the Geopolitics of Undersea Power

In the Middle

I turned ChatGPT/Claude web sessions into a local REST API

What History's Fallen Societies Have in Common

WordPress plugin quirk resulted in UK Gov OBR Budget leak [pdf]

Who the Hell Is Using Facebook Dating?

Shopify Outage

Show HN: LogCost – map logging cost to specific log lines

Are We Trusting ChatGPT-5 with Our Mental Health

The Next Frontier in AI Isn't More Data

DeepSeek-v3.2: Pushing the Frontier of Open Large Language Models

Shopify Admin Down

India orders smartphone makers to preload state-owned cyber safety app

Is AI Eating the World?

Top Gun Traders: Stock Bets and Crypto Culture Take over the Military

Show HN: I built a full-stack Fin Serv Rust app with Opus

Tim Ferriss Promised Freedom. Indie Hackers Are Selling Shovels

Runway Gen-4.5: A new frontier for video generation

Netflix Kills Casting from Its Mobile App to Most Modern TVs

Patching Pulse Oximeter Firmware

Formal Proof: LLM Hallucinations Are Structural, Not Statistical (Coq Verified)

Unfinished infrastructure, wasted funds: Colombia's 'white elephants' exposed

We cut multi-turn AI agent cost/latency by ~80–90% with one small change

PG_AI_Query: AI-powered SQL generation and query analysis for PostgreSQL

Vibe coding is not the same as AI-Assisted engineering

How do you manage user feedback and early adopter input?

Kling O1, the first unified multi-modal video foundation model

AWS and Google build a fix for multi-cloud barriers they said didn't exist

Chatbot with Lazy Mode (LLMParty)

YouTube Transcript

Deep Metric Learning: A (Long) Survey

China's AJX-002 Xluuv and the Geopolitics of Undersea Power

In the Middle

I turned ChatGPT/Claude web sessions into a local REST API

What History's Fallen Societies Have in Common

WordPress plugin quirk resulted in UK Gov OBR Budget leak [pdf]

Who the Hell Is Using Facebook Dating?

Shopify Outage

Show HN: LogCost – map logging cost to specific log lines

Are We Trusting ChatGPT-5 with Our Mental Health

The Next Frontier in AI Isn't More Data

DeepSeek-v3.2: Pushing the Frontier of Open Large Language Models

Shopify Admin Down

India orders smartphone makers to preload state-owned cyber safety app

Is AI Eating the World?

Top Gun Traders: Stock Bets and Crypto Culture Take over the Military

Show HN: I built a full-stack Fin Serv Rust app with Opus

Tim Ferriss Promised Freedom. Indie Hackers Are Selling Shovels

Runway Gen-4.5: A new frontier for video generation

Netflix Kills Casting from Its Mobile App to Most Modern TVs