fp.

My experience with Lean 4 for general programming

https://quamserena.com/2025-12-10/my-experience-with-lean-4-for-general-programming

1•quamserena•27s ago•0 comments

How People Use AI Agents

https://www.perplexity.ai/hub/blog/how-people-use-ai-agents

1•gmays•2m ago•0 comments

Agency Is Eating the World

https://giansegato.com/essays/agency-is-eating-the-world

1•walterbell•3m ago•0 comments

Curiosity in Relationships

https://okaykoa.substack.com/p/curiosity-in-relationships

1•herbertl•3m ago•0 comments

Understanding Carriage

https://seths.blog/2025/12/understanding-carriage/

1•herbertl•9m ago•0 comments

From Llamas to Avocados: Meta's shifting AI strategy is causing confusion

https://www.cnbc.com/2025/12/09/meta-avocado-ai-strategy-issues.html

1•LopRabbit•10m ago•0 comments

Blue Origin Might Make Starship Obsolete

https://wlockett.medium.com/blue-origin-might-make-starship-obsolete-6bc011ae86d2

2•Zigurd•15m ago•0 comments

A differentially private framework for gaining insights into AI chatbot use

https://research.google/blog/a-differentially-private-framework-for-gaining-insights-into-ai-chat...

1•tzury•19m ago•0 comments

HTTP load generator, inspired by rakyll/hey with TUI animation

https://github.com/hatoo/oha

1•overflowy•21m ago•0 comments

Why no one talks about React2Shell?

https://elenacross7.medium.com/react2shell-my-droplet-joined-a-botnet-c4850b079515

7•skilldeliver•22m ago•2 comments

Mosquitoes found in Iceland for first time as climate crisis warms country

https://www.theguardian.com/environment/2025/oct/21/mosquitoes-found-iceland-first-time-climate-c...

2•LopRabbit•22m ago•0 comments

After years of resisting it, SpaceX now plans to go public. Why?

https://arstechnica.com/space/2025/12/after-years-of-resisting-it-spacex-now-plans-to-go-public-why/

2•vanburen•23m ago•1 comments

Nature's many attempts to evolve a Nostr

https://newsletter.squishy.computer/p/natures-many-attempts-to-evolve-a

1•fiatjaf•26m ago•0 comments

Scientists Uncover Why the World's Most Common Heart Drug Causes Muscle Pain

https://scitechdaily.com/scientists-finally-uncover-why-the-worlds-most-common-heart-drug-causes-...

1•bookofjoe•32m ago•0 comments

Disguised and in Danger: How a Nobel Peace Prize Winner Escaped Venezuela

https://www.wsj.com/world/americas/disguised-and-in-danger-how-a-nobel-peace-prize-winner-escaped...

5•JumpCrisscross•34m ago•1 comments

Show HN: I made a social media bot maker

https://makesocialbots.com

1•quadVision•38m ago•1 comments

The Logic of Cue

https://cuelang.org/docs/concept/the-logic-of-cue/

2•PaulHoule•38m ago•0 comments

The Seven-Minute Visit Cannot Understand a Human Body

https://markatwood.substack.com/p/the-seven-minute-visit-cannot-understand

1•coloneltcb•39m ago•0 comments

AI Is Breakin' the Law

https://buildcognitiveresonance.substack.com/p/ai-is-breakin-the-law

1•mgrayson•40m ago•0 comments

Let AI find you the perfect gf/bf

https://www.dateonzing.com/

1•zachperkel•42m ago•1 comments

Deconstructing the `CAP theorem' for CM and DevOps

https://markburgess.org/blog_cap.html

1•evacchi•45m ago•0 comments

Ask HN: Why do people trust ChatGPT with their money but not transparent algos?

2•mattglossop•47m ago•2 comments

Nanoremote, Cousin of Finaldraft

https://www.elastic.co/security-labs/nanoremote

1•dakrone•48m ago•0 comments

Why We Need to Know LR and Recursive Descent Parsing Techniques

https://tratt.net/laurie/blog/2023/why_we_need_to_know_lr_and_recursive_descent_parsing_technique...

2•shoo•48m ago•0 comments

Ask HN: Why do people trust ChatGPT with their money but not transparent algos?

1•mattglossop•48m ago•2 comments

ClassicPress Version 2.6.0 is Out

https://www.classicpress.net/classicpress-version-2-6-0-is-out/

1•ethanpil•49m ago•0 comments

FixBot: We Built an AI That Knows How to Fix Things

https://www.ifixit.com/News/114700/introducing-fixbot

2•walterbell•51m ago•1 comments

The LinkedQL engineering paper – the Live Queries engine

https://linked-ql.netlify.app/engineering/realtime-engine

1•phrasecode•55m ago•0 comments

Show HN: Glogos: a consensus-free attestation proposal

1•vnlemanhthanh•56m ago•0 comments

Gatekeepers: The Traffic Controllers of the Gnome Village

https://www.happihacking.com/blog/posts/2025/gatekeepers/

1•gpi•57m ago•0 comments

My experience with Lean 4 for general programming

How People Use AI Agents

Agency Is Eating the World

Curiosity in Relationships

Understanding Carriage

From Llamas to Avocados: Meta's shifting AI strategy is causing confusion

Blue Origin Might Make Starship Obsolete

A differentially private framework for gaining insights into AI chatbot use

HTTP load generator, inspired by rakyll/hey with TUI animation

Why no one talks about React2Shell?

Mosquitoes found in Iceland for first time as climate crisis warms country

After years of resisting it, SpaceX now plans to go public. Why?

Nature's many attempts to evolve a Nostr

Scientists Uncover Why the World's Most Common Heart Drug Causes Muscle Pain

Disguised and in Danger: How a Nobel Peace Prize Winner Escaped Venezuela

Show HN: I made a social media bot maker

The Logic of Cue

The Seven-Minute Visit Cannot Understand a Human Body

AI Is Breakin' the Law

Let AI find you the perfect gf/bf

Deconstructing the `CAP theorem' for CM and DevOps

Ask HN: Why do people trust ChatGPT with their money but not transparent algos?

Nanoremote, Cousin of Finaldraft

Why We Need to Know LR and Recursive Descent Parsing Techniques

Ask HN: Why do people trust ChatGPT with their money but not transparent algos?

ClassicPress Version 2.6.0 is Out

FixBot: We Built an AI That Knows How to Fix Things

The LinkedQL engineering paper – the Live Queries engine

Show HN: Glogos: a consensus-free attestation proposal

Gatekeepers: The Traffic Controllers of the Gnome Village

Writing a Superfast SPSC Queue

My experience with Lean 4 for general programming

How People Use AI Agents

Agency Is Eating the World

Curiosity in Relationships

Understanding Carriage

From Llamas to Avocados: Meta's shifting AI strategy is causing confusion

Blue Origin Might Make Starship Obsolete

A differentially private framework for gaining insights into AI chatbot use

HTTP load generator, inspired by rakyll/hey with TUI animation

Why no one talks about React2Shell?

Mosquitoes found in Iceland for first time as climate crisis warms country

After years of resisting it, SpaceX now plans to go public. Why?

Nature's many attempts to evolve a Nostr

Scientists Uncover Why the World's Most Common Heart Drug Causes Muscle Pain

Disguised and in Danger: How a Nobel Peace Prize Winner Escaped Venezuela

Show HN: I made a social media bot maker

The Logic of Cue

The Seven-Minute Visit Cannot Understand a Human Body

AI Is Breakin' the Law

Let AI find you the perfect gf/bf

Deconstructing the `CAP theorem' for CM and DevOps

Ask HN: Why do people trust ChatGPT with their money but not transparent algos?

Nanoremote, Cousin of Finaldraft

Why We Need to Know LR and Recursive Descent Parsing Techniques

Ask HN: Why do people trust ChatGPT with their money but not transparent algos?

ClassicPress Version 2.6.0 is Out

FixBot: We Built an AI That Knows How to Fix Things

The LinkedQL engineering paper – the Live Queries engine

Show HN: Glogos: a consensus-free attestation proposal

Gatekeepers: The Traffic Controllers of the Gnome Village