fp.

What does a lean proof prove?

https://supaiku.com/what-does-a-lean-proof-prove

1•EvgeniyZh•41s ago•0 comments

Cut off by their banks and from Alexa, sanctioned ICC staffers remain resolute

https://apnews.com/article/international-court-sanctions-trump-icc-hague-4cdefe4de067432f6cdb9b13...

1•ledoge•51s ago•0 comments

Cache Aware Scheduling Raises Performance for Intel Xeon 6 Granite Rapids

https://www.phoronix.com/review/intel-xeon-6-cache-sched

1•Bender•52s ago•0 comments

Encryption Scheme Based on the Vector Computational Diffie-Hellman Problem

https://arxiv.org/abs/2512.04237

2•PaulHoule•5m ago•0 comments

Something from Nothing

https://tante.cc/2025/12/12/something-from-nothing/

2•speckx•5m ago•0 comments

Federal Reserve cuts interest rates by 0.25%

https://finance.yahoo.com/news/live/live-coverage-federal-reserve-cuts-interest-rates-by-025-powe...

1•mgh2•5m ago•0 comments

Too Complex to Fix

https://green.spacedino.net/too-complex-to-fix/

1•surprisetalk•6m ago•0 comments

We are not here to make code

https://www.todepond.com/go/we-are-not-here-to-make-code/

1•surprisetalk•6m ago•0 comments

Stagnant Construction Productivity Is a Worldwide Problem

https://www.construction-physics.com/p/stagnant-construction-productivity

1•surprisetalk•6m ago•0 comments

Peak TIME POTY Drama

https://news.manifold.markets/p/peak-time-poty-drama

1•surprisetalk•6m ago•0 comments

Britain Asked a Power Plant to Build a 'Fish Disco.' It's Not Going Well

https://www.wsj.com/world/uk/the-big-fight-over-a-fish-disco-at-a-british-power-plant-1aa9dcc7

1•impish9208•7m ago•1 comments

Google's Willow quantum processor will power UK research through the NQCC

https://blog.google/around-the-globe/google-europe/united-kingdom/national-quantum-computing-cent...

1•donutloop•7m ago•0 comments

Washington AV Bill Jumps on 'Health Warning' Bandwagon

https://www.xbiz.com/news/294260/washington-av-bill-jumps-on-health-warning-bandwagon

1•SilverElfin•7m ago•0 comments

Journalists win a key battle over AI in the newsroom

https://www.bloodinthemachine.com/p/journalists-win-a-key-battle-over

2•hn_acker•8m ago•0 comments

How to think about durable execution

https://hatchet.run/blog/durable-execution

1•abelanger•8m ago•0 comments

Show HN: Flowova – Describe a process, get a flowchart (with Mermaid export)

https://flowova.ai

1•jmcraft•9m ago•0 comments

I couldn't find a logging library that worked for my library, so I made one

https://hackers.pub/@hongminhee/2025/logtape-fedify-case-study

2•todsacerdoti•11m ago•0 comments

Microsoft Deepens Its Commitment to Canada with Landmark $19B AI Investment

https://blogs.microsoft.com/on-the-issues/2025/12/09/microsoft-deepens-its-commitment-to-canada-w...

2•whoknowsidont•11m ago•0 comments

Ink and Switch – An independent research lab exploring tools for thought

https://www.inkandswitch.com

1•Topfi•11m ago•0 comments

Show HN: How to fix AI Agents at the component level

https://ubiai.tools/building-observable-and-reliable-ai-agents-using-langgraph-langsmith-and-ubiai/

1•Mesterniz•13m ago•1 comments

Fault tolerance is key in compositional learning infrastructure: NATS and C#

https://github.com/nats-io/nats.net

3•northlondoner•13m ago•1 comments

Pop _OS 24.04 LTS Review: Is This the Linux Distro of the Year 2025?

https://itsfoss.com/news/pop-os-24-04-review/

1•mikece•14m ago•0 comments

New Windows RasMan zero-day flaw gets free, unofficial patches

https://www.bleepingcomputer.com/news/microsoft/new-windows-rasman-zero-day-flaw-gets-free-unoffi...

1•akyuu•15m ago•0 comments

The No BS Phone

1•morpheos137•16m ago•1 comments

To Feed Data Centers, Pennsylvania Faces a New Fracking Boom

https://e360.yale.edu/features/pennsylvania-data-centers-natural-gas

2•Brajeshwar•18m ago•0 comments

Show HN: Marmot v2.20 – A distributed SQLite server with MySQL wire compatbility

https://github.com/maxpert/marmot/releases/tag/v2.2.0

2•maxpert•18m ago•0 comments

Progress fighting pancreatic cancer – one of the deadliest malignancies

https://knowablemagazine.org/content/article/health-disease/2025/progress-for-pancreatic-cancer

1•Brajeshwar•18m ago•0 comments

'Beyond gender': Psychedelics are revealing hidden sides to people's identity

https://www.bbc.com/future/article/20251211-psychedelics-are-altering-how-people-see-their-own-ge...

2•neom•18m ago•0 comments

Ancient Humans Were Making Fire 350k Years Earlier Than Scientists Realized

https://www.scientificamerican.com/article/ancient-humans-were-making-fire-350-000-years-earlier-...

1•Brajeshwar•18m ago•0 comments

Durable Streams – Open protocol for resilient, resumeable client streams

https://electric-sql.com/blog/2025/12/09/announcing-durable-streams

1•thruflo•20m ago•0 comments

What does a lean proof prove?

Cut off by their banks and from Alexa, sanctioned ICC staffers remain resolute

Cache Aware Scheduling Raises Performance for Intel Xeon 6 Granite Rapids

Encryption Scheme Based on the Vector Computational Diffie-Hellman Problem

Something from Nothing

Federal Reserve cuts interest rates by 0.25%

Too Complex to Fix

We are not here to make code

Stagnant Construction Productivity Is a Worldwide Problem

Peak TIME POTY Drama

Britain Asked a Power Plant to Build a 'Fish Disco.' It's Not Going Well

Google's Willow quantum processor will power UK research through the NQCC

Washington AV Bill Jumps on 'Health Warning' Bandwagon

Journalists win a key battle over AI in the newsroom

How to think about durable execution

Show HN: Flowova – Describe a process, get a flowchart (with Mermaid export)

I couldn't find a logging library that worked for my library, so I made one

Microsoft Deepens Its Commitment to Canada with Landmark $19B AI Investment

Ink and Switch – An independent research lab exploring tools for thought

Show HN: How to fix AI Agents at the component level

Fault tolerance is key in compositional learning infrastructure: NATS and C#

Pop _OS 24.04 LTS Review: Is This the Linux Distro of the Year 2025?

New Windows RasMan zero-day flaw gets free, unofficial patches

The No BS Phone

To Feed Data Centers, Pennsylvania Faces a New Fracking Boom

Show HN: Marmot v2.20 – A distributed SQLite server with MySQL wire compatbility

Progress fighting pancreatic cancer – one of the deadliest malignancies

'Beyond gender': Psychedelics are revealing hidden sides to people's identity

Ancient Humans Were Making Fire 350k Years Earlier Than Scientists Realized

Durable Streams – Open protocol for resilient, resumeable client streams

Repurposing OpenTelemetry as a local flight recorder for AI debugging

What does a lean proof prove?

Cut off by their banks and from Alexa, sanctioned ICC staffers remain resolute

Cache Aware Scheduling Raises Performance for Intel Xeon 6 Granite Rapids

Encryption Scheme Based on the Vector Computational Diffie-Hellman Problem

Something from Nothing

Federal Reserve cuts interest rates by 0.25%

Too Complex to Fix

We are not here to make code

Stagnant Construction Productivity Is a Worldwide Problem

Peak TIME POTY Drama

Britain Asked a Power Plant to Build a 'Fish Disco.' It's Not Going Well

Google's Willow quantum processor will power UK research through the NQCC

Washington AV Bill Jumps on 'Health Warning' Bandwagon

Journalists win a key battle over AI in the newsroom

How to think about durable execution

Show HN: Flowova – Describe a process, get a flowchart (with Mermaid export)

I couldn't find a logging library that worked for my library, so I made one

Microsoft Deepens Its Commitment to Canada with Landmark $19B AI Investment

Ink and Switch – An independent research lab exploring tools for thought

Show HN: How to fix AI Agents at the component level

Fault tolerance is key in compositional learning infrastructure: NATS and C#

Pop _OS 24.04 LTS Review: Is This the Linux Distro of the Year 2025?

New Windows RasMan zero-day flaw gets free, unofficial patches

The No BS Phone

To Feed Data Centers, Pennsylvania Faces a New Fracking Boom

Show HN: Marmot v2.20 – A distributed SQLite server with MySQL wire compatbility

Progress fighting pancreatic cancer – one of the deadliest malignancies

'Beyond gender': Psychedelics are revealing hidden sides to people's identity

Ancient Humans Were Making Fire 350k Years Earlier Than Scientists Realized

Durable Streams – Open protocol for resilient, resumeable client streams