fp.

The seven virtues of simple type theory (2008) [pdf]

https://imps.mcmaster.ca/doc/seven-virtues.pdf

1•perihelions•54s ago•0 comments

Help: Microsoft Outlook Login Problems

1•iheshe•4m ago•0 comments

Holland-Cycling.com Stops in 2026

https://www.holland-cycling.com/blog/321-holland-cycling-com-stops-in-2026

1•cheeaun•6m ago•0 comments

China's CO2 emissions have been flat or falling for past 18 months

https://www.theguardian.com/world/2025/nov/11/china-co2-emissions-flat-or-falling-for-past-18-mon...

1•defrost•7m ago•0 comments

Ultra-flat optic pushes beyond what was previously thought possible

https://www.ece.uw.edu/spotlight/arka-majumdar-ultra-flat-optic/

1•geox•7m ago•0 comments

Toucan Wireless Split Keyboard with Touchpad

https://shop.beekeeb.com/products/toucan-wireless-piantor-wireless-split-keyboard-with-touchpad

1•tortilla•9m ago•0 comments

The Tree That Owns Itself

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

1•theresistor•13m ago•0 comments

Cognitive Biases and A.I. – shows worse biases than human practitioners

https://ai.nejm.org/doi/10.1056/AIcs2400639

2•Marshferm•13m ago•0 comments

Barnton, Edinburgh's Nuclear Bunker

https://www.barntonbunker.com

2•gjvc•16m ago•0 comments

Self play and autocurricula in the age of agents

https://www.amplifypartners.com/blog-posts/self-play-and-autocurricula-in-the-age-of-agents

1•cubefox•17m ago•0 comments

`Du` Command Outputs Incorrect Sizes in Ubuntu 25.10

https://askubuntu.com/questions/1559396/the-new-du-command-in-lib-cargo-bin-coreutils-outputs-wro...

3•birdculture•22m ago•1 comments

FDA Strips Breast Cancer Warning from Menopause Hormone Therapy

https://www.scientificamerican.com/article/fda-strips-breast-cancer-warning-from-menopause-hormon...

2•quapster•24m ago•0 comments

The most nerdiest VC website that I have ever seen

https://rootventures.coffee/

3•vira28•25m ago•0 comments

Dean Scream

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

2•handfuloflight•27m ago•0 comments

Kronecker in (O(p(n)^3): A Novel approach to 80-year-old P-hard problem [pdf]

https://github.com/bon-cdp/notes/blob/main/d.pdf

2•bon-cdp•28m ago•1 comments

DoorDash's State of Local Commerce Report

https://doordash-local-commerce.com/

1•samaysharma•29m ago•0 comments

Rademacher Complexity and Models of Group Competition

https://www.symmetrybroken.com/group-selection/

3•riemannzeta•32m ago•0 comments

Mission-Critical in the Context of the API Manifesto and Move Fast/Break Things

https://www.aptiv.com/en/insights/article/developing-innovative-software-without-breaking-the-system

1•ohjeez•34m ago•0 comments

TikTok Shop Is Now the Size of eBay

https://www.wired.com/story/tiktok-shop-sales-global-ecommerce/

2•bookofjoe•39m ago•1 comments

Why aren't America's national roadways working?

https://penntoday.upenn.edu/news/why-arent-americas-national-roadways-working

2•PaulHoule•41m ago•2 comments

Show HN: Let me ask AI for you

https://letmeaskaiforyou-murex.vercel.app/

3•juniorlimaivd•43m ago•0 comments

Canada loses measles elimination status after ongoing outbreaks

https://apnews.com/article/canada-loses-measles-elimination-status-1ac3a4bdc7546fac5d8e111bf5196e1e

3•pseudolus•53m ago•0 comments

Query Plan Caching

https://buttondown.com/jaffray/archive/query-plan-caching/

3•ibobev•56m ago•0 comments

More C64 Basic Optimisations

https://retrogamecoders.com/more-c64-basic-optimisations/

1•ibobev•57m ago•0 comments

TinyGPU v2.0 Heads to Production

https://www.tomshardware.com/pc-components/gpus/the-worlds-tiniest-gpu-heads-to-production-200-00...

2•radeeyate•57m ago•0 comments

Show HN: Fair CPU scheduling to run unlimited apps on one plan

https://miget.com/blog/how-miget-fair-scheduler-works

1•ktaraszk•58m ago•3 comments

Show HN: Edit Video with Claude Code

https://github.com/barefootford/buttercut

2•barefootford•58m ago•1 comments

Is physical world AI the future of autonomous machines?

https://www.therobotreport.com/physical-world-ai-future-autonomous-machines/

1•MrPowers•1h ago•0 comments

Why Everyone in Hollywood Wants Their Movie in IMAX

https://www.wsj.com/business/media/imax-movie-release-trend-6f4587a2

2•handfuloflight•1h ago•0 comments

Iran post-12-Day War

https://twitter.com/websterkaroon/status/1981881166170148891

4•7402•1h ago•0 comments

The seven virtues of simple type theory (2008) [pdf]

Help: Microsoft Outlook Login Problems

Holland-Cycling.com Stops in 2026

China's CO2 emissions have been flat or falling for past 18 months

Ultra-flat optic pushes beyond what was previously thought possible

Toucan Wireless Split Keyboard with Touchpad

The Tree That Owns Itself

Cognitive Biases and A.I. – shows worse biases than human practitioners

Barnton, Edinburgh's Nuclear Bunker

Self play and autocurricula in the age of agents

`Du` Command Outputs Incorrect Sizes in Ubuntu 25.10

FDA Strips Breast Cancer Warning from Menopause Hormone Therapy

The most nerdiest VC website that I have ever seen

Dean Scream

Kronecker in (O(p(n)^3): A Novel approach to 80-year-old P-hard problem [pdf]

DoorDash's State of Local Commerce Report

Rademacher Complexity and Models of Group Competition

Mission-Critical in the Context of the API Manifesto and Move Fast/Break Things

TikTok Shop Is Now the Size of eBay

Why aren't America's national roadways working?

Show HN: Let me ask AI for you

Canada loses measles elimination status after ongoing outbreaks

Query Plan Caching

More C64 Basic Optimisations

TinyGPU v2.0 Heads to Production

Show HN: Fair CPU scheduling to run unlimited apps on one plan

Show HN: Edit Video with Claude Code

Is physical world AI the future of autonomous machines?

Why Everyone in Hollywood Wants Their Movie in IMAX

Iran post-12-Day War

VelociDB: Blueprint for the Modern Embedded Database

The seven virtues of simple type theory (2008) [pdf]

Help: Microsoft Outlook Login Problems

Holland-Cycling.com Stops in 2026

China's CO2 emissions have been flat or falling for past 18 months

Ultra-flat optic pushes beyond what was previously thought possible

Toucan Wireless Split Keyboard with Touchpad

The Tree That Owns Itself

Cognitive Biases and A.I. – shows worse biases than human practitioners

Barnton, Edinburgh's Nuclear Bunker

Self play and autocurricula in the age of agents

`Du` Command Outputs Incorrect Sizes in Ubuntu 25.10

FDA Strips Breast Cancer Warning from Menopause Hormone Therapy

The most nerdiest VC website that I have ever seen

Dean Scream

Kronecker in (O(p(n)^3): A Novel approach to 80-year-old P-hard problem [pdf]

DoorDash's State of Local Commerce Report

Rademacher Complexity and Models of Group Competition

Mission-Critical in the Context of the API Manifesto and Move Fast/Break Things

TikTok Shop Is Now the Size of eBay

Why aren't America's national roadways working?

Show HN: Let me ask AI for you

Canada loses measles elimination status after ongoing outbreaks

Query Plan Caching

More C64 Basic Optimisations

TinyGPU v2.0 Heads to Production

Show HN: Fair CPU scheduling to run unlimited apps on one plan

Show HN: Edit Video with Claude Code

Is physical world AI the future of autonomous machines?

Why Everyone in Hollywood Wants Their Movie in IMAX

Iran post-12-Day War