fp.

Breaking the Distraction Cycle Evidence-Based Techniques for Sustained Attention

https://focusflows.eu/blog/breaking-distraction-cycle

1•Ben_Tycho•39s ago•0 comments

Laptop Isn't Ready for LLMs. That's About to Change

https://spectrum.ieee.org/ai-models-locally

1•barqawiz•42s ago•0 comments

Formally Verifying Peephole Optimisations in Lean

https://l-m.dev/cs/formally-verifying-peephole-optimisations-in-lean/

1•l-mdev•2m ago•0 comments

Show HN: Pac-Man with Portals

https://pac-man-with-guns.netlify.app/?type=portal

1•admtal•3m ago•0 comments

JustRL: Scaling a 1.5B LLM with a Simple RL Recipe

https://arxiv.org/abs/2512.16649

1•simonpure•6m ago•0 comments

Nvidia Bought the Bouncer

https://www.distributedthoughts.org/nvidia-bought-the-bouncer/

1•azhenley•21m ago•0 comments

FDA approves first GLP-1 pill for obesity

https://www.cnbc.com/2025/12/22/fda-approves-first-glp-1-pill-for-obesity-from-novo-nordisk.html

4•rexbee•21m ago•0 comments

Trump has always hated offshore wind. Now he's moving to kill it

https://grist.org/energy/trump-has-always-hated-offshore-wind-now-hes-moving-to-kill-it/

5•devonnull•23m ago•2 comments

Hideo Kojima Answers Hideo Kojima Questions [video]

https://www.youtube.com/watch?v=02Ah5VQrzvA

1•jumpocelot•25m ago•0 comments

Early proofs of Hilbert's Nullstellensatz (2023)

https://arxiv.org/abs/2309.14024

2•measurablefunc•26m ago•0 comments

Old Joystick Resto Job

https://retrohax.net/elite-multifunction-2002-joystick-restoration/

2•retrohax•26m ago•0 comments

We Are Still the Web

https://thehistoryoftheweb.com/we-are-still-the-web/

2•cdrnsf•27m ago•0 comments

Design system ambassadors–the goldilocks of collaboration

https://pjonori.blog/posts/design-system-ambassadors/

1•cdrnsf•27m ago•0 comments

New species are now being discovered faster than ever before

https://news.arizona.edu/news/new-species-are-now-being-discovered-faster-ever-study-suggests

2•geox•32m ago•0 comments

Ask HN: Migrating old Substack posts to my own blog, have a question

1•Praddy•33m ago•0 comments

Signs AI Is Making You a Worse Engineer

https://timyc.substack.com/p/signs-ai-is-making-you-a-worse-engineer

1•TimDotC•33m ago•0 comments

Who was the best CEO of 2025?

https://www.economist.com/business/2025/12/22/who-was-the-best-ceo-of-2025

1•andsoitis•34m ago•0 comments

AI Detectors and Humanizers: Two Sides of the Same Coin?

https://latentscholar.org/ai-detectors-and-humanizers-two-sides-of-the-same-coin/

1•Aminmlm•35m ago•0 comments

With FDA approval of Wegovy pill, new era of oral GLP-1 weight loss drugs begins

https://www.cnn.com/2025/12/22/health/wegovy-pill-glp1-weight-loss-drugs

4•andsoitis•36m ago•0 comments

Who's Afraid of the Null Hypothesis?

https://seantrott.substack.com/p/whos-afraid-of-the-null-hypothesis

2•ArmageddonIt•41m ago•0 comments

FDA approves Novo Nordisk's Wegovy pill, the first and only oral GLP-1

https://www.prnewswire.com/news-releases/fda-approves-novo-nordisks-wegovy-pill-the-first-and-onl...

2•andsoitis•41m ago•2 comments

GlassWorm Goes Native: Same Infrastructure, Hardened Delivery

https://www.koi.ai/blog/glassworm-goes-native-same-infrastructure-hardened-delivery

1•mooreds•42m ago•0 comments

Eliezer's Unteachable Methods of Sanity

https://www.lesswrong.com/posts/isSBwfgRY6zD6mycc/eliezer-s-unteachable-methods-of-sanity

1•paulpauper•42m ago•0 comments

Fast project navigation with fuzzy matching

https://github.com/sderosiaux/goto

1•chtefi•42m ago•0 comments

Safety panel says NASA should have taken Starliner incident more seriously

https://arstechnica.com/space/2025/12/safety-panel-says-nasa-should-have-taken-starliner-incident...

2•dangle1•43m ago•0 comments

VIMKillerRecharged

https://github.com/caseykneale/VIMKillerRecharged

2•shakna•44m ago•0 comments

Authorization: Build vs. Buy (2024)

https://permify.co/post/authorization-buid-vs-buy/

1•mooreds•45m ago•0 comments

Pill Version of Wegovy Is Approved for Use in the U.S.

https://www.wsj.com/health/pharma/pill-version-of-wegovy-is-approved-for-use-in-the-u-s-6d6a6f2d

Breaking the Distraction Cycle Evidence-Based Techniques for Sustained Attention

Laptop Isn't Ready for LLMs. That's About to Change

Formally Verifying Peephole Optimisations in Lean

Show HN: Pac-Man with Portals

JustRL: Scaling a 1.5B LLM with a Simple RL Recipe

Nvidia Bought the Bouncer

FDA approves first GLP-1 pill for obesity

Trump has always hated offshore wind. Now he's moving to kill it

Hideo Kojima Answers Hideo Kojima Questions [video]

Early proofs of Hilbert's Nullstellensatz (2023)

Old Joystick Resto Job

We Are Still the Web

Design system ambassadors–the goldilocks of collaboration

New species are now being discovered faster than ever before

Ask HN: Migrating old Substack posts to my own blog, have a question

Signs AI Is Making You a Worse Engineer

Who was the best CEO of 2025?

AI Detectors and Humanizers: Two Sides of the Same Coin?

With FDA approval of Wegovy pill, new era of oral GLP-1 weight loss drugs begins

Who's Afraid of the Null Hypothesis?

FDA approves Novo Nordisk's Wegovy pill, the first and only oral GLP-1

GlassWorm Goes Native: Same Infrastructure, Hardened Delivery

Eliezer's Unteachable Methods of Sanity

Fast project navigation with fuzzy matching

Safety panel says NASA should have taken Starliner incident more seriously

VIMKillerRecharged

Authorization: Build vs. Buy (2024)

Pill Version of Wegovy Is Approved for Use in the U.S.

Understanding the ForgeRock Password Storage Scheme (2024)

What's New in Miri

Breaking the Distraction Cycle Evidence-Based Techniques for Sustained Attention

Laptop Isn't Ready for LLMs. That's About to Change

Formally Verifying Peephole Optimisations in Lean

Show HN: Pac-Man with Portals

JustRL: Scaling a 1.5B LLM with a Simple RL Recipe

Nvidia Bought the Bouncer

FDA approves first GLP-1 pill for obesity

Trump has always hated offshore wind. Now he's moving to kill it

Hideo Kojima Answers Hideo Kojima Questions [video]

Early proofs of Hilbert's Nullstellensatz (2023)

Old Joystick Resto Job

We Are Still the Web

Design system ambassadors–the goldilocks of collaboration

New species are now being discovered faster than ever before

Ask HN: Migrating old Substack posts to my own blog, have a question

Signs AI Is Making You a Worse Engineer

Who was the best CEO of 2025?

AI Detectors and Humanizers: Two Sides of the Same Coin?

With FDA approval of Wegovy pill, new era of oral GLP-1 weight loss drugs begins

Who's Afraid of the Null Hypothesis?

FDA approves Novo Nordisk's Wegovy pill, the first and only oral GLP-1

GlassWorm Goes Native: Same Infrastructure, Hardened Delivery

Eliezer's Unteachable Methods of Sanity

Fast project navigation with fuzzy matching

Safety panel says NASA should have taken Starliner incident more seriously

VIMKillerRecharged

Authorization: Build vs. Buy (2024)

Pill Version of Wegovy Is Approved for Use in the U.S.

Understanding the ForgeRock Password Storage Scheme (2024)

What's New in Miri