fp.

Show HN: Harbor v0.4.19 – harbor launch –back end vLLM –web codex

https://github.com/av/harbor/releases/tag/v0.4.19

1•everlier•25s ago•0 comments

The Math Changed: Rewriting Stale Open Source in the AI Era

https://loopholelabs.io/blog/rewriting-oss-in-the-ai-era

1•gerhardlazu•1m ago•1 comments

Toothless, Beaked Crocodile Ancestor Walked on Two Legs

https://nautil.us/this-toothless-beaked-crocodile-ancestor-walked-on-two-legs-1281266

1•Brajeshwar•2m ago•0 comments

Seizu, a security-focused dashboard for graph databases with MCP

https://medium.com/@ryan_lane/announcing-seizu-a-security-focused-dashboard-for-graph-databases-w...

2•ryan_lane•2m ago•0 comments

Show HN: Stratus: Open-Source Game Streaming Powered by WebTransport and Wayland

https://www.playstratus.io/

2•AminDev•3m ago•0 comments

AI-Augmented Software Development Manifesto

https://ronanberder.com/ai-manifesto/

2•hunvreus•4m ago•0 comments

A 400-hour forensic audit of LLMs using multi-model context saturation

https://github.com/alanscalone/llm-behavior-analysis

2•AlanScalone•4m ago•0 comments

Plein Air – A painting for wherever you are

https://art.joonas.wtf

2•NaOH•4m ago•0 comments

HN: Wispr Flow vs. Whisper by Remskill – voice typing app vs. full AI assistant

https://whisper.remskill.com/

2•denys12•6m ago•0 comments

Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml

https://coalton-lang.github.io/

2•b-man•7m ago•0 comments

The End of the Digital Age

https://cacm.acm.org/opinion/the-end-of-the-digital-age/

2•berlianta•7m ago•0 comments

AI tools lead to 'clear racial disparities' in job hiring

https://www.ft.com/content/5c442b38-6989-461a-988e-653f7a275eee

2•1vuio0pswjnm7•7m ago•0 comments

Cloudflare Secrets Manager for Worker secrets and vars

https://github.com/nyigoro/cloudflare-secrets-manager

1•light_ideas•8m ago•0 comments

The longer you wait, the longer you should expect to wait

https://world.hey.com/apetrov/the-longer-you-wait-the-longer-you-should-expect-to-wait-30e2511a

1•apetrov•8m ago•0 comments

LLM Driven AutoForecasting with Sktime's `Craft()`

https://pub.towardsai.net/llm-driven-autoforecasting-with-sktimes-craft-0355f5c720e8

1•528491•10m ago•0 comments

So I'm making my own Spotify Wrapped this year but better

https://nickiedemakos.substack.com/p/so-im-making-my-own-spotify-wrapped

1•dzulp0d•10m ago•0 comments

Functional Programming in Lean

https://leanprover.github.io/functional_programming_in_lean/

1•tosh•10m ago•0 comments

Excerpts from Pope Leo XIV's manifesto about humanity in the AI era

https://apnews.com/article/vatican-ai-encyclical-pope-leo-excerpts-ee0de875adbdb3d599d4da2c597ff7bd

1•1vuio0pswjnm7•10m ago•0 comments

Ghost CMS SQL injection flaw exploited in large-scale ClickFix campaign

https://www.bleepingcomputer.com/news/security/ghost-cms-sql-injection-flaw-exploited-in-large-sc...

1•bushwart•11m ago•0 comments

GridOS – State Machine Challenges

https://everybody.codes/gridos/missions

1•vismit2000•11m ago•0 comments

PayPal's online checkout empire under siege as rivals squeeze its core business

https://apnews.com/article/paypal-apple-pay-payments-buy-now-50054e5db0c773c8fe9a437708e1d3a9

1•1vuio0pswjnm7•12m ago•0 comments

50 Years of Proof Assistants

https://lawrencecpaulson.github.io/2025/12/05/History_of_Proof_Assistants.html

1•tosh•12m ago•0 comments

Deterministic Automation for a Probabilistic System

https://stack72.dev/deterministic-automation-for-a-probabilistic-system/

1•nickstinemates•12m ago•0 comments

Tensor Cryptographic Behavioural Audit (TCBA)

https://physivitis.tech/services/tcba

1•kkjd1426•12m ago•1 comments

Show HN: Local-first PDF redaction for permanently removing data

1•daoxiaoyue2012•12m ago•0 comments

Interleaved Deltas

https://mmapped.blog/posts/51-interleaved-deltas

1•surprisetalk•13m ago•0 comments

Skills vs. MCP vs. prompts: which agent setup works best?

https://www.agentvoyagerproject.com/captains-log/1

1•pmkelly4444•14m ago•0 comments

For the average price of a car in the US, you could buy 5 new Chinese EVs

https://www.reuters.com/business/autos-transportation/average-price-car-us-you-could-buy-5-new-ch...

2•bushwart•16m ago•0 comments

Model is currently experiencing high demand

https://mayberay.bearblog.dev/this-model-is-currently-experiencing-high-demand/

1•mugamuga•18m ago•0 comments

Domestic Transport Usage by Mode

https://www.gov.uk/government/statistics/daily-domestic-transport-use-by-mode/domestic-transport-...

1•bookofjoe•19m ago•0 comments

Show HN: Harbor v0.4.19 – harbor launch –back end vLLM –web codex

The Math Changed: Rewriting Stale Open Source in the AI Era

Toothless, Beaked Crocodile Ancestor Walked on Two Legs

Seizu, a security-focused dashboard for graph databases with MCP

Show HN: Stratus: Open-Source Game Streaming Powered by WebTransport and Wayland

AI-Augmented Software Development Manifesto

A 400-hour forensic audit of LLMs using multi-model context saturation

Plein Air – A painting for wherever you are

HN: Wispr Flow vs. Whisper by Remskill – voice typing app vs. full AI assistant

Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml

The End of the Digital Age

AI tools lead to 'clear racial disparities' in job hiring

Cloudflare Secrets Manager for Worker secrets and vars

The longer you wait, the longer you should expect to wait

LLM Driven AutoForecasting with Sktime's `Craft()`

So I'm making my own Spotify Wrapped this year but better

Functional Programming in Lean

Excerpts from Pope Leo XIV's manifesto about humanity in the AI era

Ghost CMS SQL injection flaw exploited in large-scale ClickFix campaign

GridOS – State Machine Challenges

PayPal's online checkout empire under siege as rivals squeeze its core business

50 Years of Proof Assistants

Deterministic Automation for a Probabilistic System

Tensor Cryptographic Behavioural Audit (TCBA)

Show HN: Local-first PDF redaction for permanently removing data

Interleaved Deltas

Skills vs. MCP vs. prompts: which agent setup works best?

For the average price of a car in the US, you could buy 5 new Chinese EVs

Model is currently experiencing high demand

Domestic Transport Usage by Mode

USD by the Numbers

Show HN: Harbor v0.4.19 – harbor launch –back end vLLM –web codex

The Math Changed: Rewriting Stale Open Source in the AI Era

Toothless, Beaked Crocodile Ancestor Walked on Two Legs

Seizu, a security-focused dashboard for graph databases with MCP

Show HN: Stratus: Open-Source Game Streaming Powered by WebTransport and Wayland

AI-Augmented Software Development Manifesto

A 400-hour forensic audit of LLMs using multi-model context saturation

Plein Air – A painting for wherever you are

HN: Wispr Flow vs. Whisper by Remskill – voice typing app vs. full AI assistant

Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml

The End of the Digital Age

AI tools lead to 'clear racial disparities' in job hiring

Cloudflare Secrets Manager for Worker secrets and vars

The longer you wait, the longer you should expect to wait

LLM Driven AutoForecasting with Sktime's `Craft()`

So I'm making my own Spotify Wrapped this year but better

Functional Programming in Lean

Excerpts from Pope Leo XIV's manifesto about humanity in the AI era

Ghost CMS SQL injection flaw exploited in large-scale ClickFix campaign

GridOS – State Machine Challenges

PayPal's online checkout empire under siege as rivals squeeze its core business

50 Years of Proof Assistants

Deterministic Automation for a Probabilistic System

Tensor Cryptographic Behavioural Audit (TCBA)

Show HN: Local-first PDF redaction for permanently removing data

Interleaved Deltas

Skills vs. MCP vs. prompts: which agent setup works best?

For the average price of a car in the US, you could buy 5 new Chinese EVs

Model is currently experiencing high demand

Domestic Transport Usage by Mode