fp.

TorchLean is a Lean 4 framework for neural-networks

https://github.com/lean-dojo/TorchLean

1•porridgeraisin•2m ago•0 comments

Wall Street's AI Debt Machine Is Starting to Choke on Supply

https://www.bloomberg.com/news/articles/2026-10-28/wall-street-s-ai-debt-machine-is-starting-to-c...

1•meep_map•2m ago•0 comments

Why We Should Work on AI Instead of Fearing It: A Philosophical Perspective

1•almustakim47•2m ago•0 comments

Popular Sovereignty

https://en.wikipedia.org/wiki/Popular_sovereignty

1•ironmagma•2m ago•0 comments

Analysts followed AI agent's randomly assigned preferences in 86% of decisions

https://www.anthropic.com/research/agents-judgment-calls

1•ilreb•3m ago•0 comments

The Brutal Harvard Class That Suddenly Everyone Wants to Take

https://www.wsj.com/lifestyle/harvard-class-humanities-32e06366

1•sonabinu•4m ago•0 comments

What was the turning point for Postgres?

https://planetscale.com/blog/what-was-the-turning-point-for-postgres

1•ksec•4m ago•0 comments

Steve's Old Computer Museum

https://oldcomputers.net/

2•freakynit•5m ago•0 comments

Lamdera v1.5.0 is out Elm 0.19.3, faster Wire, safer virtual DOM and++

https://dashboard.lamdera.app/releases/v1-5-0

1•cekrem•6m ago•0 comments

AI Agents Flooded RubyGems to Get Code Execution on Its Docs Builder

https://optimuslabs.io/research/briefings/rubygems-rubydoc-agent-execution

2•mooreds•13m ago•0 comments

A framework for capturing webhooks from providers reliably and durably

https://github.com/jamescarr/ankusa

1•mooreds•14m ago•0 comments

Propaganda and Cinema

https://sk500.online/politics/propaganda-and-cinema/

1•airhangerf15•14m ago•0 comments

Tell HN: I'm going on strike this November

6•curiousaboutml•15m ago•2 comments

Show HN: Toolvy – 120 media tools that run in the browser

https://toolvy.net/

1•umarratra•19m ago•0 comments

TLP Is Not a Suggestion

https://www.akamai.com/blog/security-research/tlp-is-not-a-suggestion

1•sneela•20m ago•0 comments

Tagd – a game of Tag (You're it)

https://tagd.gg/login

2•bravilogy•21m ago•0 comments

AI bots flooded 2023 UK government consultation on disposable vapes ban

https://www.theguardian.com/society/2026/oct/27/ai-bots-flooded-2023-uk-government-consultation-d...

1•agons•23m ago•0 comments

Show HN: TAW, herdr for tmux: see which coding agent needs you

https://github.com/27medkamal/tmux-agent-wizard

1•27medkamal•23m ago•0 comments

Zero database QR labels carry structured data

https://github.com/tooltechgeek/nodb_table

1•tooltechgeek2•24m ago•0 comments

Answers at the Back of the Book

https://mmapped.blog/posts/53-answers-from-the-book

1•martinhath•27m ago•0 comments

About the compromised eMudhra intermediate CAs

https://support.apple.com/en-us/149555

4•birdculture•28m ago•0 comments

Show HN: Nuvrail – make an AI agent ask before it sends, moves or deletes email

https://github.com/agens-field/nuvrail

1•mmodahl•29m ago•1 comments

Crab Eating Frog

https://en.wikipedia.org/wiki/Crab-eating_frog

1•silver92bullet•30m ago•0 comments

MotionBricks: Scalable Real-Time Motions with Modular Latent Generative Model

https://nvlabs.github.io/motionbricks/

1•jonbaer•33m ago•0 comments

Ten days later, Git on macOS still trusts the compromised eMudhra certificates

https://emudhra.we-have-a-problem.com/apple.html

2•galadran•33m ago•0 comments

A Little Bit of Slope Makes Up for a Lot of Y-Intercept [video]

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

1•wofo•38m ago•0 comments

I let Claude run my social media accounts – where it won and where it failed

https://aioperatorwithsimon.com/i-let-claude-run-my-social-media-accounts/

2•simonbuilds•44m ago•0 comments

Where Have All the Car Commercials Gone?

https://www.wsj.com/cmo-today/where-have-all-the-car-commercials-gone-6844790f

1•bookofjoe•44m ago•2 comments

OpenDisplay

https://opendisplay.app/

1•jonbaer•44m ago•0 comments

Convert OLM to PST

https://www.perfectdatasolutions.com/en/olm/olm-to-pst-converter.html

1•tieanderson•45m ago•0 comments

TorchLean is a Lean 4 framework for neural-networks

Wall Street's AI Debt Machine Is Starting to Choke on Supply

Why We Should Work on AI Instead of Fearing It: A Philosophical Perspective

Popular Sovereignty

Analysts followed AI agent's randomly assigned preferences in 86% of decisions

The Brutal Harvard Class That Suddenly Everyone Wants to Take

What was the turning point for Postgres?

Steve's Old Computer Museum

Lamdera v1.5.0 is out Elm 0.19.3, faster Wire, safer virtual DOM and++

AI Agents Flooded RubyGems to Get Code Execution on Its Docs Builder

A framework for capturing webhooks from providers reliably and durably

Propaganda and Cinema

Tell HN: I'm going on strike this November

Show HN: Toolvy – 120 media tools that run in the browser

TLP Is Not a Suggestion

Tagd – a game of Tag (You're it)

AI bots flooded 2023 UK government consultation on disposable vapes ban

Show HN: TAW, herdr for tmux: see which coding agent needs you

Zero database QR labels carry structured data

Answers at the Back of the Book

About the compromised eMudhra intermediate CAs

Show HN: Nuvrail – make an AI agent ask before it sends, moves or deletes email

Crab Eating Frog

MotionBricks: Scalable Real-Time Motions with Modular Latent Generative Model

Ten days later, Git on macOS still trusts the compromised eMudhra certificates

A Little Bit of Slope Makes Up for a Lot of Y-Intercept [video]

I let Claude run my social media accounts – where it won and where it failed

Where Have All the Car Commercials Gone?

OpenDisplay

Convert OLM to PST

Opus 5.5 causing an identity crisis is real

TorchLean is a Lean 4 framework for neural-networks

Wall Street's AI Debt Machine Is Starting to Choke on Supply

Why We Should Work on AI Instead of Fearing It: A Philosophical Perspective

Popular Sovereignty

Analysts followed AI agent's randomly assigned preferences in 86% of decisions

The Brutal Harvard Class That Suddenly Everyone Wants to Take

What was the turning point for Postgres?

Steve's Old Computer Museum

Lamdera v1.5.0 is out Elm 0.19.3, faster Wire, safer virtual DOM and++

AI Agents Flooded RubyGems to Get Code Execution on Its Docs Builder

A framework for capturing webhooks from providers reliably and durably

Propaganda and Cinema

Tell HN: I'm going on strike this November

Show HN: Toolvy – 120 media tools that run in the browser

TLP Is Not a Suggestion

Tagd – a game of Tag (You're it)

AI bots flooded 2023 UK government consultation on disposable vapes ban

Show HN: TAW, herdr for tmux: see which coding agent needs you

Zero database QR labels carry structured data

Answers at the Back of the Book

About the compromised eMudhra intermediate CAs

Show HN: Nuvrail – make an AI agent ask before it sends, moves or deletes email

Crab Eating Frog

MotionBricks: Scalable Real-Time Motions with Modular Latent Generative Model

Ten days later, Git on macOS still trusts the compromised eMudhra certificates

A Little Bit of Slope Makes Up for a Lot of Y-Intercept [video]

I let Claude run my social media accounts – where it won and where it failed

Where Have All the Car Commercials Gone?

OpenDisplay

Convert OLM to PST