fp.

Functional Data Structures and Algorithms: a Proof Assistant Approach

https://fdsa-book.net/

1•SchwKatze•1m ago•0 comments

Show HN: Calcumake – A 3D print pricing calculator (Rails and Kamal)

https://calcumake.com/

1•moabjp•5m ago•0 comments

Back End Vulnerabilities of Snype Expose User Data and Alleged Shill Bidding

https://www.elitefourum.com/t/backend-vulnerabilities-of-snype-expose-user-information-alleged-pr...

1•donsupreme•7m ago•0 comments

Joint Embedding Predictive Architecture (JEPA) for AGI

https://www.turingpost.com/p/jepa

1•andsoitis•8m ago•0 comments

Terrestrials: The Trio

https://radiolab.org/podcast/terrestrials-the-trio240726

1•nkzednan•8m ago•0 comments

Iceberg, the Right Idea – The Wrong Spec

https://www.database-doctor.com/posts/iceberg-is-wrong-1.html

1•zX41ZdbW•12m ago•0 comments

In Which I Defend Fruit's Honor

https://mdickens.me/2025/06/08/defending_fruit%27s_honor/

1•surprisetalk•14m ago•0 comments

It Hurts the Face

https://lmnt.me/blog/it-hurts-the-face.html

1•surprisetalk•14m ago•0 comments

AHC056 Participation Record and Explanation of First Place Solution

https://blog.oimo.io/2025/11/22/ahc056/

1•surprisetalk•14m ago•0 comments

Migrating the Main Zig Repository from GitHub to Codeberg

https://ziglang.org/news/migrating-from-github-to-codeberg/

21•todsacerdoti•17m ago•3 comments

Lawsuit Challenges San Jose's Warrantless ALPR Mass Surveillance

https://www.eff.org/press/releases/lawsuit-challenges-san-joses-warrantless-alpr-mass-surveillance

3•duxup•18m ago•0 comments

Let's Rebuild the MySQL Community Together

https://www.percona.com/blog/lets-rebuild-the-mysql-community-together/

1•zX41ZdbW•20m ago•0 comments

The Iceberg Index: Measuring Workforce Exposure Across the AI Economy

https://arxiv.org/abs/2510.25137

1•gumshoe30•20m ago•0 comments

Show HN: Calisthenics Memory – Open-source bodyweight training tracker

https://codeberg.org/Gonbei774/CalisthenicsMemory

1•Gonbei774•21m ago•0 comments

Show HN: TwitterXZ – clean, fast Twitter/X video downloader(free and no signup)

https://twitterxz.com

1•mrasong•23m ago•0 comments

Sam Altman's Business Buddies Are Getting Burned

https://www.bloomberg.com/opinion/articles/2025-11-26/sam-altman-s-business-buddies-are-getting-b...

2•petethomas•26m ago•0 comments

Lasagna Cell

https://kaiserscience.wordpress.com/chemistry/electrochemistry/lasagna-cell/

2•choult•26m ago•0 comments

The Tesla Model Y Just Scored the Worst Reliability Rating in a Decade

https://www.autoblog.com/news/the-bestselling-tesla-model-y-just-scored-the-worst-reliability-rat...

16•whynotmaybe•32m ago•6 comments

Louise Herreshoff

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

1•petethomas•33m ago•0 comments

Why I'm Building an App Platform for Robot Vacuums Instead of Humanoids

https://ovsy.com/posts/why-im-building-an-app-platform-for-robot-vacuums-instead-of-humanoids.html

1•iliaov•35m ago•0 comments

S&P cuts Tether stablecoin rating to 'weak' on disclosure gaps

https://www.reuters.com/business/finance/tethers-stablecoin-downgraded-weak-sp-assessment-2025-11...

4•JumpCrisscross•37m ago•0 comments

Rich and dynamic user interfaces with Flutter and generative UI

https://blog.flutter.dev/rich-and-dynamic-user-interfaces-with-flutter-and-generative-ui-178405af...

1•andsoitis•42m ago•0 comments

The 'Quiet Catastrophe' Brewing in Our Social Lives

https://podcasts.apple.com/us/podcast/the-ezra-klein-show/id1548604447?i=1000738305359

1•nkzednan•42m ago•0 comments

Flutter 3.38 and Dart 3.10: Building the future of apps

https://blog.flutter.dev/announcing-flutter-3-38-dart-3-10-building-the-future-of-apps-503429eeb685

1•andsoitis•43m ago•0 comments

Z-Image: Efficient Image Gen Model with Single-Stream Diffusion Transformer

https://tongyi-mai.github.io/Z-Image-homepage/

3•SerCe•43m ago•0 comments

OSMU Community member posts proof that certain Bitcoin mining pools are fugazi

https://github.com/mweinberg/stratum-speed-test/tree/main/findings

2•metaprinter•45m ago•0 comments

bonsai_term: A library for building dynamic terminal apps by Jane Street

https://github.com/janestreet/bonsai_term

2•azhenley•45m ago•0 comments

Solar's growth in US almost enough to offset rising energy use

https://arstechnica.com/science/2025/11/solars-growth-in-us-almost-enough-to-offset-rising-energy...

Functional Data Structures and Algorithms: a Proof Assistant Approach

Show HN: Calcumake – A 3D print pricing calculator (Rails and Kamal)

Back End Vulnerabilities of Snype Expose User Data and Alleged Shill Bidding

Joint Embedding Predictive Architecture (JEPA) for AGI

Terrestrials: The Trio

Iceberg, the Right Idea – The Wrong Spec

In Which I Defend Fruit's Honor

It Hurts the Face

AHC056 Participation Record and Explanation of First Place Solution

Migrating the Main Zig Repository from GitHub to Codeberg

Lawsuit Challenges San Jose's Warrantless ALPR Mass Surveillance

Let's Rebuild the MySQL Community Together

The Iceberg Index: Measuring Workforce Exposure Across the AI Economy

Show HN: Calisthenics Memory – Open-source bodyweight training tracker

Show HN: TwitterXZ – clean, fast Twitter/X video downloader(free and no signup)

Sam Altman's Business Buddies Are Getting Burned

Lasagna Cell

The Tesla Model Y Just Scored the Worst Reliability Rating in a Decade

Louise Herreshoff

Why I'm Building an App Platform for Robot Vacuums Instead of Humanoids

S&P cuts Tether stablecoin rating to 'weak' on disclosure gaps

Rich and dynamic user interfaces with Flutter and generative UI

The 'Quiet Catastrophe' Brewing in Our Social Lives

Flutter 3.38 and Dart 3.10: Building the future of apps

Z-Image: Efficient Image Gen Model with Single-Stream Diffusion Transformer

OSMU Community member posts proof that certain Bitcoin mining pools are fugazi

bonsai_term: A library for building dynamic terminal apps by Jane Street

Solar's growth in US almost enough to offset rising energy use

"we are not enron" says nvidia [video]

Generative AI in Software Engineering Must Be Human-Centered [pdf]

Let's Rebuild the MySQL Community Together

Functional Data Structures and Algorithms: a Proof Assistant Approach

Show HN: Calcumake – A 3D print pricing calculator (Rails and Kamal)

Back End Vulnerabilities of Snype Expose User Data and Alleged Shill Bidding

Joint Embedding Predictive Architecture (JEPA) for AGI

Terrestrials: The Trio

Iceberg, the Right Idea – The Wrong Spec

In Which I Defend Fruit's Honor

It Hurts the Face

AHC056 Participation Record and Explanation of First Place Solution

Migrating the Main Zig Repository from GitHub to Codeberg

Lawsuit Challenges San Jose's Warrantless ALPR Mass Surveillance

Let's Rebuild the MySQL Community Together

The Iceberg Index: Measuring Workforce Exposure Across the AI Economy

Show HN: Calisthenics Memory – Open-source bodyweight training tracker

Show HN: TwitterXZ – clean, fast Twitter/X video downloader(free and no signup)

Sam Altman's Business Buddies Are Getting Burned

Lasagna Cell

The Tesla Model Y Just Scored the Worst Reliability Rating in a Decade

Louise Herreshoff

Why I'm Building an App Platform for Robot Vacuums Instead of Humanoids

S&P cuts Tether stablecoin rating to 'weak' on disclosure gaps

Rich and dynamic user interfaces with Flutter and generative UI

The 'Quiet Catastrophe' Brewing in Our Social Lives

Flutter 3.38 and Dart 3.10: Building the future of apps

Z-Image: Efficient Image Gen Model with Single-Stream Diffusion Transformer

OSMU Community member posts proof that certain Bitcoin mining pools are fugazi

bonsai_term: A library for building dynamic terminal apps by Jane Street

Solar's growth in US almost enough to offset rising energy use

"we are not enron" says nvidia [video]

Generative AI in Software Engineering Must Be Human-Centered [pdf]