fp.

Toothless, Beaked Crocodile Ancestor Walked on Two Legs

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

1•Brajeshwar•25s 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•1m ago•0 comments

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

https://www.playstratus.io/

2•AminDev•1m ago•0 comments

AI-Augmented Software Development Manifesto

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

2•hunvreus•2m ago•0 comments

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

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

1•AlanScalone•2m ago•0 comments

Plein Air – A painting for wherever you are

https://art.joonas.wtf

1•NaOH•3m ago•0 comments

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

https://whisper.remskill.com/

1•denys12•4m ago•0 comments

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

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

1•b-man•5m ago•0 comments

The End of the Digital Age

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

1•berlianta•5m ago•0 comments

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

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

1•1vuio0pswjnm7•6m ago•0 comments

Cloudflare Secrets Manager for Worker secrets and vars

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

1•light_ideas•6m 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•7m ago•0 comments

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

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

1•528491•8m 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•9m ago•0 comments

Functional Programming in Lean

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

1•tosh•9m 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•9m 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•9m ago•0 comments

GridOS – State Machine Challenges

https://everybody.codes/gridos/missions

1•vismit2000•10m 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•10m ago•0 comments

50 Years of Proof Assistants

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

1•tosh•10m ago•0 comments

Deterministic Automation for a Probabilistic System

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

1•nickstinemates•10m ago•0 comments

Tensor Cryptographic Behavioural Audit (TCBA)

https://physivitis.tech/services/tcba

1•kkjd1426•11m ago•1 comments

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

1•daoxiaoyue2012•11m ago•0 comments

Interleaved Deltas

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

1•surprisetalk•11m ago•0 comments

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

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

1•pmkelly4444•12m 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•14m ago•0 comments

Model is currently experiencing high demand

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

1•mugamuga•16m ago•0 comments

Domestic Transport Usage by Mode

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

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

The Challenge of Cross-language Interoperability (2013)

Nvidia Vera CPU seems to beat AMD and Intel on server workloads

Why domain valuation metrics fail in agentic and voice-first environments

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

The Challenge of Cross-language Interoperability (2013)

Nvidia Vera CPU seems to beat AMD and Intel on server workloads