fp.

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...

1•ryan_lane•34s ago•0 comments

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

https://www.playstratus.io/

1•AminDev•47s ago•0 comments

AI-Augmented Software Development Manifesto

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

1•hunvreus•1m 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•2m 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•4m 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•5m 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•6m 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•8m ago•0 comments

Functional Programming in Lean

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

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

50 Years of Proof Assistants

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

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

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

1•daoxiaoyue2012•10m ago•0 comments

Interleaved Deltas

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

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

Model is currently experiencing high demand

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

1•mugamuga•15m ago•0 comments

Domestic Transport Usage by Mode

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

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

GTA V – Graphics Study (2015)

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

GTA V – Graphics Study (2015)

The Average Guys Outsmarting Wall Street on Prediction Markets