fp.

Modern perspectives in proof theory (2023)

https://pmc.ncbi.nlm.nih.gov/articles/PMC10083099/

1•measurablefunc•4m ago•0 comments

Mushroom in the Wild Playing Keyboard [video]

https://www.youtube.com/watch?v=NbP2DgDp890

1•triyambakam•5m ago•0 comments

DS-STAR: a versatile data science agent (Nov-2025)

https://research.google/blog/ds-star-a-state-of-the-art-versatile-data-science-agent/

1•engine_y•7m ago•0 comments

The LattePanda Iota

https://taoofmac.com/space/reviews/2025/11/09/1930

1•rcarmo•8m ago•0 comments

Growing Explanations Together

https://clojurecivitas.github.io/civitas/why/growing_explanations_together.html

1•harperlee•9m ago•0 comments

The Metastasize of Templating in Declarative Language

https://fromanengineersight.substack.com/p/the-metastasize-of-templating-in

1•ben8t•10m ago•0 comments

A.I. Is on Its Way to Something More Remarkable Than Intelligence

https://www.nytimes.com/2025/11/08/opinion/ai-conscious-technology.html

2•ryan_j_naughton•11m ago•1 comments

Model-Based GUI Automation (Springer SoSyM)

https://link.springer.com/article/10.1007/s10270-025-01319-9

1•jspinak•13m ago•1 comments

Casual Poet Library: community bookshelves

https://vogue.sg/casual-poet-library/

1•8organicbits•14m ago•0 comments

The Computer Church – Pennsylvania Computer and Technology Museum

https://www.thecomputerchurch.org/

1•gregsadetsky•15m ago•0 comments

Compiling a Call to a Block

https://patshaughnessy.net/2025/11/3/compiling-a-call-to-a-block

1•gls2ro•19m ago•0 comments

Phase 1 Trial of CRISPR-Cas9 Gene Editing Targeting ANGPTL3

https://www.nejm.org/doi/full/10.1056/NEJMoa2511778

2•libpcap•20m ago•0 comments

How to be Amazing at Graphic Design without being an Artist

https://feeling-creations.com/articles/how-to-be-amazing-at-graphic-design-without-being-an-artist

1•loic-joachim•21m ago•0 comments

Managing Burnout

https://www.liorbd.me/blog/burnout

1•liorben-david•21m ago•0 comments

The Men Who Shaped the Internet Won’t Be Able to Fix It

https://www.bloomberg.com/news/articles/2025-11-07/ai-could-repeat-the-same-business-mistakes-tha...

1•thunderbong•21m ago•0 comments

Why Doesn't Anyone Trust the Media?

https://harpers.org/archive/2025/11/why-doesnt-anyone-trust-the-media-jelani-cobb-taylor-lorenz-j...

1•samclemens•24m ago•0 comments

BBC Director General Tim Davie and News CEO Deborah Turness Resign

https://www.bbc.com/news/live/cd9kqz1yyxkt

2•YZF•26m ago•4 comments

Arbor's 'vegetarian rocket engine' power plant is an omnivore

https://techcrunch.com/2025/10/24/arbors-vegetarian-rocket-engine-power-plant-is-actually-an-omni...

1•PaulHoule•32m ago•0 comments

SquashFS Tools 4.7.3 Brings Optimizations for "1500 Times" Speed Improvement

https://www.phoronix.com/news/SquashFS-Tools-4.7.3

1•Bender•32m ago•0 comments

Ask HN: How does AI understand what I write?

2•deanebarker•34m ago•3 comments

Show HN: IDE for Vibe Coders

https://promtcontext.com

1•andi2000•34m ago•0 comments

Increased Coronary Artery Plaque Volume Among Male Marathon Runners

https://pmc.ncbi.nlm.nih.gov/articles/PMC6179497/

1•js2•34m ago•1 comments

Love thy robot – Reflections on morals and modern AI companions

https://www.learningfromexamples.com/p/love-thy-robot

1•erikig•36m ago•0 comments

Naked mole-rat's DNA repair secret revealed

https://longevity.technology/news/naked-mole-rats-dna-repair-secret-revealed/

2•Bender•36m ago•0 comments

Lafayette Radio Electronics Holiday Gift Guide (1962) [pdf]

https://www.worldradiohistory.com/Archive-Catalogs/Lafayette-Catalogs/Lafayette-Catalog-632.pdf

2•gregsadetsky•36m ago•0 comments

DARPA has selected eleven quantum computing companies to enter the second stage

https://www.darpa.mil/research/programs/quantum-benchmarking-initiative

2•donutloop•36m ago•0 comments

Building a CI/CD Pipeline Runner from Scratch in Python

https://muhammadraza.me/2025/building-cicd-pipeline-runner-python/

2•mr_o47•37m ago•0 comments

Blue Origin New Glenn Mission NG-2 [video]

https://www.youtube.com/watch?v=e9WpN-c9VCQ

3•LorenDB•37m ago•0 comments

Google's new hurricane model was breathtakingly good this season

https://arstechnica.com/science/2025/11/googles-new-weather-model-impressed-during-its-first-hurr...

4•gnabgib•38m ago•0 comments

Texas voters approve $3B brain health research bill

https://longevity.technology/news/texas-voters-approve-3bn-brain-health-research-bill/

1•Bender•38m ago•0 comments

Modern perspectives in proof theory (2023)

Mushroom in the Wild Playing Keyboard [video]

DS-STAR: a versatile data science agent (Nov-2025)

The LattePanda Iota

Growing Explanations Together

The Metastasize of Templating in Declarative Language

A.I. Is on Its Way to Something More Remarkable Than Intelligence

Model-Based GUI Automation (Springer SoSyM)

Casual Poet Library: community bookshelves

The Computer Church – Pennsylvania Computer and Technology Museum

Compiling a Call to a Block

Phase 1 Trial of CRISPR-Cas9 Gene Editing Targeting ANGPTL3

How to be Amazing at Graphic Design without being an Artist

Managing Burnout

The Men Who Shaped the Internet Won’t Be Able to Fix It

Why Doesn't Anyone Trust the Media?

BBC Director General Tim Davie and News CEO Deborah Turness Resign

Arbor's 'vegetarian rocket engine' power plant is an omnivore

SquashFS Tools 4.7.3 Brings Optimizations for "1500 Times" Speed Improvement

Ask HN: How does AI understand what I write?

Show HN: IDE for Vibe Coders

Increased Coronary Artery Plaque Volume Among Male Marathon Runners

Love thy robot – Reflections on morals and modern AI companions

Naked mole-rat's DNA repair secret revealed

Lafayette Radio Electronics Holiday Gift Guide (1962) [pdf]

DARPA has selected eleven quantum computing companies to enter the second stage

Building a CI/CD Pipeline Runner from Scratch in Python

Blue Origin New Glenn Mission NG-2 [video]

Google's new hurricane model was breathtakingly good this season

Texas voters approve $3B brain health research bill

Perseverance rover reveals multiple habitable water periods in Mars' Crater

Modern perspectives in proof theory (2023)

Mushroom in the Wild Playing Keyboard [video]

DS-STAR: a versatile data science agent (Nov-2025)

The LattePanda Iota

Growing Explanations Together

The Metastasize of Templating in Declarative Language

A.I. Is on Its Way to Something More Remarkable Than Intelligence

Model-Based GUI Automation (Springer SoSyM)

Casual Poet Library: community bookshelves

The Computer Church – Pennsylvania Computer and Technology Museum

Compiling a Call to a Block

Phase 1 Trial of CRISPR-Cas9 Gene Editing Targeting ANGPTL3

How to be Amazing at Graphic Design without being an Artist

Managing Burnout

The Men Who Shaped the Internet Won’t Be Able to Fix It

Why Doesn't Anyone Trust the Media?

BBC Director General Tim Davie and News CEO Deborah Turness Resign

Arbor's 'vegetarian rocket engine' power plant is an omnivore

SquashFS Tools 4.7.3 Brings Optimizations for "1500 Times" Speed Improvement

Ask HN: How does AI understand what I write?

Show HN: IDE for Vibe Coders

Increased Coronary Artery Plaque Volume Among Male Marathon Runners

Love thy robot – Reflections on morals and modern AI companions

Naked mole-rat's DNA repair secret revealed

Lafayette Radio Electronics Holiday Gift Guide (1962) [pdf]

DARPA has selected eleven quantum computing companies to enter the second stage

Building a CI/CD Pipeline Runner from Scratch in Python

Blue Origin New Glenn Mission NG-2 [video]

Google's new hurricane model was breathtakingly good this season

Texas voters approve $3B brain health research bill