fp.

Modern perspectives in proof theory (2023)

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

1•measurablefunc•2m ago•0 comments

Mushroom in the Wild Playing Keyboard [video]

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

1•triyambakam•3m 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•6m ago•0 comments

The LattePanda Iota

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

1•rcarmo•6m ago•0 comments

Growing Explanations Together

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

1•harperlee•8m ago•0 comments

The Metastasize of Templating in Declarative Language

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

1•ben8t•8m ago•0 comments

Zoomers: You're Losing the War by Blaming the Wrong Target

https://x.com/GaryPNabhan/article/1987512782359589337

1•salkahfi•8m ago•1 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•9m ago•0 comments

Model-Based GUI Automation (Springer SoSyM)

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

1•jspinak•11m ago•1 comments

Casual Poet Library: community bookshelves

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

1•8organicbits•12m ago•0 comments

The Computer Church – Pennsylvania Computer and Technology Museum

https://www.thecomputerchurch.org/

1•gregsadetsky•13m ago•0 comments

Compiling a Call to a Block

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

1•gls2ro•17m ago•0 comments

Phase 1 Trial of CRISPR-Cas9 Gene Editing Targeting ANGPTL3

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

2•libpcap•18m 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•19m ago•0 comments

Managing Burnout

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

1•liorben-david•19m 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•19m 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•22m ago•0 comments

BBC Director General Tim Davie and News CEO Deborah Turness Resign

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

2•YZF•25m 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•30m 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•31m ago•0 comments

Ask HN: How does AI understand what I write?

2•deanebarker•32m ago•3 comments

Show HN: IDE for Vibe Coders

https://promtcontext.com

1•andi2000•32m ago•0 comments

Increased Coronary Artery Plaque Volume Among Male Marathon Runners

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

1•js2•33m ago•1 comments

Love thy robot – Reflections on morals and modern AI companions

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

1•erikig•34m ago•0 comments

Naked mole-rat's DNA repair secret revealed

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

2•Bender•34m 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•34m 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•34m 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•35m ago•0 comments

Blue Origin New Glenn Mission NG-2 [video]

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

3•LorenDB•35m 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•36m 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

Zoomers: You're Losing the War by Blaming the Wrong Target

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

Removing parking requirements results in more affordable housing being built

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

Zoomers: You're Losing the War by Blaming the Wrong Target

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