fp.

TorchLean is a Lean 4 framework for neural-networks

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

1•porridgeraisin•36s 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•39s ago•0 comments

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

1•almustakim47•1m ago•0 comments

Popular Sovereignty

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

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

The Brutal Harvard Class That Suddenly Everyone Wants to Take

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

1•sonabinu•2m ago•0 comments

What was the turning point for Postgres?

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

1•ksec•2m ago•0 comments

Steve's Old Computer Museum

https://oldcomputers.net/

2•freakynit•4m 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•4m 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•11m ago•0 comments

A framework for capturing webhooks from providers reliably and durably

https://github.com/jamescarr/ankusa

1•mooreds•12m ago•0 comments

Propaganda and Cinema

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

1•airhangerf15•12m ago•0 comments

Tell HN: I'm going on strike this November

5•curiousaboutml•13m ago•1 comments

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

https://toolvy.net/

1•umarratra•17m ago•0 comments

TLP Is Not a Suggestion

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

1•sneela•18m ago•0 comments

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

https://tagd.gg/login

2•bravilogy•19m 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•21m ago•0 comments

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

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

1•27medkamal•21m ago•0 comments

Zero database QR labels carry structured data

https://github.com/tooltechgeek/nodb_table

1•tooltechgeek2•22m ago•0 comments

Answers at the Back of the Book

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

1•martinhath•25m ago•0 comments

About the compromised eMudhra intermediate CAs

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

4•birdculture•26m 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•28m ago•1 comments

Crab Eating Frog

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

1•silver92bullet•28m ago•0 comments

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

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

1•jonbaer•31m 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•31m 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•36m 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•42m 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•42m ago•2 comments

OpenDisplay

https://opendisplay.app/

1•jonbaer•42m ago•0 comments

Convert OLM to PST

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

1•tieanderson•44m 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

Intel to Acquire Classiq to Create a Full-Stack Quantum Computing Platform

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