fp.

Lean Theorem Prover Mathlib

https://github.com/leanprover-community/mathlib4

1•downboots•4m ago•0 comments

Laundry Insights from Scraping 4000 Washer/Dryers in San Francisco

https://kavi.sh/san-francisco-laundry-analysis/

2•2gremlin181•6m ago•0 comments

Show HN: A game engine that transpiles your scripts to Rust for native perf

https://github.com/PerroEngine/Perro

1•TiernanDeFranco•7m ago•0 comments

Using a projector instead of a computer monitor

https://blog.shenjiasi.com/20171006.html

1•plun9•7m ago•0 comments

FDA leaders propose new 'plausible mechanism' pathway for bespoke medicines

https://www.raps.org/news-and-articles/news-articles/2025/11/fda-leaders-propose-new-âplausible...

2•geox•7m ago•0 comments

If a Meta AI model can read a brain-wide signal, why wouldn't the brain?

https://1393.xyz/writing/if-a-meta-ai-model-can-read-a-brain-wide-signal-why-wouldnt-the-brain

1•rdgthree•9m ago•0 comments

Shooting at Brown U Barus and Holley building houses engineering and physics

https://rhodeislandcurrent.com/2025/12/13/the-unthinkable-has-happened-2-killed-eight-injured-in-...

2•redwood•10m ago•0 comments

Honing rods analyzed with an electron microscope – Scienceofsharp (2018)

https://scienceofsharp.com/2018/08/22/what-does-steeling-do-part-1/

1•shrinks99•11m ago•0 comments

How to Extend Phone Battery Life: 10 Proven Hacks

https://www.dailytechhacks.com/hacks/extend-phone-battery-life.html

1•rk3000•12m ago•1 comments

Show HN: Libefaxx – A Microbenchmark for AWS EFA GPU/CPU RDMA Communication

https://github.com/crazyguitar/Libefaxx

2•crazyguitar•17m ago•0 comments

Therapeutic Use of Cannabis and Cannabinoids: A Review

https://jamanetwork.com/journals/jama/fullarticle/2842072?guestAccessKey=a368e622-e374-4a0c-8d3b-...

3•bookofjoe•20m ago•0 comments

Free Software Awards Winners Announced: Andy Wingo, Alx Sa, Govdirectory

https://www.fsf.org/news/2024-free-software-awards-winners

4•pseudolus•33m ago•0 comments

NeuralOperator Joins the PyTorch Ecosystem

https://pytorch.org/blog/neuraloperatorjoins-the-pytorch-ecosystem/

1•williamjsdavis•37m ago•0 comments

States lodge lawsuit against Trump's $100k H-1B visa fee

https://www.politico.com/news/2025/12/12/trump-visa-fee-lawsuit-00689510

5•sul_tasto•38m ago•1 comments

Evaluating Gemini Robotics Policies in a Veo World Simulator

https://veo-robotics.github.io/

1•thomasm6m6•40m ago•0 comments

Quantum Computing Could Put IBM Back on Top Again

https://www.barrons.com/articles/ibm-stock-quantum-computing-system-two-a6c615de

3•Bostonian•43m ago•2 comments

Awesome-Jj: Jujutsu Things

https://github.com/Necior/awesome-jj

2•n3t•43m ago•0 comments

Emulating AVX-512 intrinsics in Miri

https://trifectatech.org/blog/emulating-avx-512-intrinsics-in-miri/

1•ashvardanian•45m ago•0 comments

Unswitching Loops for Fun and Profit

https://xania.org/202512/12-loop-unswitching

1•ibobev•52m ago•0 comments

Job isn't programming

https://codeandcake.dev/2025/12/12/your-job-isnt-programming/

3•nick4•54m ago•0 comments

Making Windows Terminal with GitHub Copilot CLI

https://developer.microsoft.com/blog/making-windows-terminal-awesome-with-github-copilot-cli

2•ibobev•54m ago•0 comments

Resolving an ambiguity in the Windows clipboard automated text conversion table

https://devblogs.microsoft.com/oldnewthing/20251212-05/?p=111862

1•ibobev•55m ago•0 comments

Coffee Pod Financing

https://newsletterhunt.com/emails/205961

1•mooreds•56m ago•0 comments

OpenAI Ends 'Vesting Cliff' for New Employees in Compensation-Policy Change

https://www.wsj.com/tech/ai/openai-ends-vesting-cliff-for-new-employees-in-compensation-policy-ch...

1•garbawarb•57m ago•0 comments

New Rule Forbids Gnome Shell Extensions Made Using AI Generated Code

https://www.phoronix.com/news/GNOME-Extensions-Block-AI

2•turrini•59m ago•0 comments

A unscientific guide to the security of various PQC algorithms

https://keymaterial.net/2025/12/13/a-very-unscientific-guide-to-the-security-of-various-pqc-algor...

1•todsacerdoti•1h ago•0 comments

How Did the CIA Lose a Nuclear Device?

https://www.nytimes.com/interactive/2025/12/13/world/asia/cia-nuclear-device-himalayas-nanda-devi...

4•wslh•1h ago•2 comments

Vibe Coding Is Boring

https://cassidoo.co/post/vibe-coding-yawn/

4•cassidoo•1h ago•1 comments

How Resilient Will the U.S. Consumer Be Without a Job?

https://www.bloomberg.com/opinion/articles/2025-12-12/do-powell-fed-think-consumers-will-be-ok-wi...

4•clanky•1h ago•1 comments

Apple locks account after redeeming gift card

https://daringfireball.net/linked/2025/12/13/buttfield-addison-apple-account

2•vsgherzi•1h ago•2 comments

Lean Theorem Prover Mathlib

Laundry Insights from Scraping 4000 Washer/Dryers in San Francisco

Show HN: A game engine that transpiles your scripts to Rust for native perf

Using a projector instead of a computer monitor

FDA leaders propose new 'plausible mechanism' pathway for bespoke medicines

If a Meta AI model can read a brain-wide signal, why wouldn't the brain?

Shooting at Brown U Barus and Holley building houses engineering and physics

Honing rods analyzed with an electron microscope – Scienceofsharp (2018)

How to Extend Phone Battery Life: 10 Proven Hacks

Show HN: Libefaxx – A Microbenchmark for AWS EFA GPU/CPU RDMA Communication

Therapeutic Use of Cannabis and Cannabinoids: A Review

Free Software Awards Winners Announced: Andy Wingo, Alx Sa, Govdirectory

NeuralOperator Joins the PyTorch Ecosystem

States lodge lawsuit against Trump's $100k H-1B visa fee

Evaluating Gemini Robotics Policies in a Veo World Simulator

Quantum Computing Could Put IBM Back on Top Again

Awesome-Jj: Jujutsu Things

Emulating AVX-512 intrinsics in Miri

Unswitching Loops for Fun and Profit

Job isn't programming

Making Windows Terminal with GitHub Copilot CLI

Resolving an ambiguity in the Windows clipboard automated text conversion table

Coffee Pod Financing

OpenAI Ends 'Vesting Cliff' for New Employees in Compensation-Policy Change

New Rule Forbids Gnome Shell Extensions Made Using AI Generated Code

A unscientific guide to the security of various PQC algorithms

How Did the CIA Lose a Nuclear Device?

Vibe Coding Is Boring

How Resilient Will the U.S. Consumer Be Without a Job?

Apple locks account after redeeming gift card

Venezuela explained in 10 maps and charts

Lean Theorem Prover Mathlib

Laundry Insights from Scraping 4000 Washer/Dryers in San Francisco

Show HN: A game engine that transpiles your scripts to Rust for native perf

Using a projector instead of a computer monitor

FDA leaders propose new 'plausible mechanism' pathway for bespoke medicines

If a Meta AI model can read a brain-wide signal, why wouldn't the brain?

Shooting at Brown U Barus and Holley building houses engineering and physics

Honing rods analyzed with an electron microscope – Scienceofsharp (2018)

How to Extend Phone Battery Life: 10 Proven Hacks

Show HN: Libefaxx – A Microbenchmark for AWS EFA GPU/CPU RDMA Communication

Therapeutic Use of Cannabis and Cannabinoids: A Review

Free Software Awards Winners Announced: Andy Wingo, Alx Sa, Govdirectory

NeuralOperator Joins the PyTorch Ecosystem

States lodge lawsuit against Trump's $100k H-1B visa fee

Evaluating Gemini Robotics Policies in a Veo World Simulator

Quantum Computing Could Put IBM Back on Top Again

Awesome-Jj: Jujutsu Things

Emulating AVX-512 intrinsics in Miri

Unswitching Loops for Fun and Profit

Job isn't programming

Making Windows Terminal with GitHub Copilot CLI

Resolving an ambiguity in the Windows clipboard automated text conversion table

Coffee Pod Financing

OpenAI Ends 'Vesting Cliff' for New Employees in Compensation-Policy Change

New Rule Forbids Gnome Shell Extensions Made Using AI Generated Code

A unscientific guide to the security of various PQC algorithms

How Did the CIA Lose a Nuclear Device?

Vibe Coding Is Boring

How Resilient Will the U.S. Consumer Be Without a Job?

Apple locks account after redeeming gift card