fp.
newest
Open in hackernews
Functional Data Structures and Algorithms: a Proof Assistant Approach
https://fdsa-book.net/
3
•
SchwKatze
•
19m ago
From Cloudwashing to O11ywashing
https://charity.wtf/2025/11/24/from-cloudwashing-to-o11ywashing/
1
•
cratermoon
•
1m ago
•
0 comments
What Comes Back When Stopping GLP-1s?
https://www.medscape.com/viewarticle/what-comes-back-when-stopping-glp-1s-2025a1000wtd
1
•
droopyEyelids
•
5m ago
•
1 comments
Penpot: The Open-Source Figma
https://github.com/penpot/penpot
2
•
selvan
•
10m ago
•
0 comments
Flush door handles are the car industry's latest safety problem
https://arstechnica.com/cars/2025/09/flush-door-handles-are-the-car-industrys-latest-safety-problem/
3
•
mgh2
•
18m ago
•
0 comments
Functional Data Structures and Algorithms: a Proof Assistant Approach
https://fdsa-book.net/
3
•
SchwKatze
•
19m ago
•
0 comments
Show HN: Calcumake – A 3D print pricing calculator (Rails and Kamal)
https://calcumake.com/
1
•
moabjp
•
23m 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
•
26m ago
•
0 comments
Joint Embedding Predictive Architecture (JEPA) for AGI
https://www.turingpost.com/p/jepa
1
•
andsoitis
•
26m ago
•
0 comments
Terrestrials: The Trio
https://radiolab.org/podcast/terrestrials-the-trio240726
1
•
nkzednan
•
27m ago
•
0 comments
Iceberg, the Right Idea – The Wrong Spec
https://www.database-doctor.com/posts/iceberg-is-wrong-1.html
1
•
zX41ZdbW
•
30m ago
•
0 comments
In Which I Defend Fruit's Honor
https://mdickens.me/2025/06/08/defending_fruit%27s_honor/
1
•
surprisetalk
•
32m ago
•
0 comments
It Hurts the Face
https://lmnt.me/blog/it-hurts-the-face.html
1
•
surprisetalk
•
32m ago
•
0 comments
AHC056 Participation Record and Explanation of First Place Solution
https://blog.oimo.io/2025/11/22/ahc056/
1
•
surprisetalk
•
32m ago
•
0 comments
Migrating the Main Zig Repository from GitHub to Codeberg
https://ziglang.org/news/migrating-from-github-to-codeberg/
58
•
todsacerdoti
•
35m ago
•
10 comments
Lawsuit Challenges San Jose's Warrantless ALPR Mass Surveillance
https://www.eff.org/press/releases/lawsuit-challenges-san-joses-warrantless-alpr-mass-surveillance
5
•
duxup
•
36m ago
•
1 comments
Let's Rebuild the MySQL Community Together
https://www.percona.com/blog/lets-rebuild-the-mysql-community-together/
1
•
zX41ZdbW
•
38m ago
•
0 comments
The Iceberg Index: Measuring Workforce Exposure Across the AI Economy
https://arxiv.org/abs/2510.25137
1
•
gumshoe30
•
38m ago
•
0 comments
Show HN: Calisthenics Memory – Open-source bodyweight training tracker
https://codeberg.org/Gonbei774/CalisthenicsMemory
1
•
Gonbei774
•
39m ago
•
0 comments
Show HN: TwitterXZ – clean, fast Twitter/X video downloader(free and no signup)
https://twitterxz.com
1
•
mrasong
•
41m 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...
3
•
petethomas
•
44m ago
•
0 comments
Lasagna Cell
https://kaiserscience.wordpress.com/chemistry/electrochemistry/lasagna-cell/
2
•
choult
•
44m 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...
29
•
whynotmaybe
•
50m ago
•
23 comments
Louise Herreshoff
https://en.wikipedia.org/wiki/Louise_Herreshoff
1
•
petethomas
•
51m 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
•
53m ago
•
1 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
•
55m 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
•
1h 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
•
1h 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
•
1h ago
•
0 comments
Z-Image: Efficient Image Gen Model with Single-Stream Diffusion Transformer
https://tongyi-mai.github.io/Z-Image-homepage/
3
•
SerCe
•
1h 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
3
•
metaprinter
•
1h ago
•
0 comments
Load More