fp.

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

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

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

Functional Programming in Lean

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

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

GridOS – State Machine Challenges

https://everybody.codes/gridos/missions

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

50 Years of Proof Assistants

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

1•tosh•3m ago•0 comments

Deterministic Automation for a Probabilistic System

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

1•nickstinemates•3m ago•0 comments

Tensor Cryptographic Behavioural Audit (TCBA)

https://physivitis.tech/services/tcba

1•kkjd1426•3m ago•1 comments

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

1•daoxiaoyue2012•4m ago•0 comments

Interleaved Deltas

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

1•surprisetalk•4m ago•0 comments

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

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

1•pmkelly4444•5m 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...

1•bushwart•7m ago•0 comments

Model is currently experiencing high demand

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

1•mugamuga•9m ago•0 comments

Domestic Transport Usage by Mode

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

1•bookofjoe•10m ago•0 comments

The Challenge of Cross-language Interoperability (2013)

https://queue.acm.org/detail.cfm?id=2543971

1•downbad_•11m ago•0 comments

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

https://www.phoronix.com/review/nvidia-vera-benchmarks/11

1•paoliniluis•11m ago•0 comments

GTA V – Graphics Study (2015)

https://www.adriancourreges.com/blog/2015/11/02/gta-v-graphics-study/

1•downbad_•12m ago•0 comments

A Wetland Without Water

https://www.theguardian.com/global-development/2026/may/26/chile-datacentres-water-tech-companies...

1•tosh•12m ago•0 comments

Show HN: Kakeibo – a simple budget tracking app for simple people

https://getkakeibo.com/en/

1•palpfiction•12m ago•0 comments

Show HN: Compile-time model-id validation with declared capability

https://github.com/yujonglee/openrouter-toolkit

1•yujonglee•14m ago•1 comments

Why Dags Are Taking over Auto-Research (With the Founders of Paradigma)

https://www.youtube.com/watch?v=zBlu6j5ryo0

1•research_pie•14m ago•0 comments

Erich's Packing Center

https://erich-friedman.github.io/packing/

1•yzydserd•15m ago•0 comments

Schrödinger's Kittens Are All Grown Up

https://nautil.us/schrodingers-kittens-are-all-grown-up-1281010

1•Brajeshwar•15m ago•0 comments

AdminLTE 4.0.0 – first stable release of the v4 line

https://github.com/ColorlibHQ/AdminLTE/releases/tag/v4.0.0

1•croes•15m ago•0 comments

Stack-nudge – Stop babysitting your AI agent's terminal

https://github.com/StackOneHQ/stack-nudge

1•Hiskias•17m ago•0 comments

Some rare examples of AIs being underconfident

https://futuresearch.ai/blog/ais-underconfident/

4•ddp26•18m ago•0 comments

An Argument for Privacy Stamps over Paper Shredders

https://www.core77.com/posts/144198/An-Argument-for-Privacy-Stamps-Over-Paper-Shredders

1•surprisetalk•19m ago•0 comments

Morse Code Chatroom

https://telegraph.cee.wtf/

1•GaryNumanVevo•20m ago•0 comments

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)

A Wetland Without Water

Show HN: Kakeibo – a simple budget tracking app for simple people

Show HN: Compile-time model-id validation with declared capability

Why Dags Are Taking over Auto-Research (With the Founders of Paradigma)

Erich's Packing Center

Schrödinger's Kittens Are All Grown Up

AdminLTE 4.0.0 – first stable release of the v4 line

Stack-nudge – Stop babysitting your AI agent's terminal

Some rare examples of AIs being underconfident

An Argument for Privacy Stamps over Paper Shredders

Morse Code Chatroom

We picked a great day to launch our faster GitHub Actions runners

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)

A Wetland Without Water

Show HN: Kakeibo – a simple budget tracking app for simple people

Show HN: Compile-time model-id validation with declared capability

Why Dags Are Taking over Auto-Research (With the Founders of Paradigma)

Erich's Packing Center

Schrödinger's Kittens Are All Grown Up

AdminLTE 4.0.0 – first stable release of the v4 line

Stack-nudge – Stop babysitting your AI agent's terminal

Some rare examples of AIs being underconfident

An Argument for Privacy Stamps over Paper Shredders

Morse Code Chatroom