fp.

Lean Golf – Code golf but you're proving theorems in Lean

https://lean.golf

1•kurinikku•43s ago•0 comments

Google Is Buying All of Spirit Airlines' Data to Feed Its AI Models

https://arstechnica.com/tech-policy/2026/08/flight-attendants-freaked-out-that-google-to-buy-tons...

1•justinc8687•1m ago•0 comments

Soar: A Package Manager for Linux

https://soar.qaidvoid.dev/

1•sharno•1m ago•0 comments

Receive calls only from saved contacts

1•victormacedo•2m ago•0 comments

Receive calls only from saved contacts

https://play.google.com/apps/internaltest/4700860663178120800

1•victormacedo•7m ago•1 comments

The cost of caring about software

https://alexriosme.substack.com/p/the-cost-of-caring-about-software

1•bruce_one•7m ago•0 comments

My Answer Is No

https://statmodeling.stat.columbia.edu/2026/08/20/my-answer-is-no/

2•Tomte•8m ago•0 comments

Show HN: Crypto and NFT Project Directory – Other Worlders

https://otherworlders.com/nft-directory/

2•wowinter15•10m ago•0 comments

Engineers warn that changes to electrical safety rules create new hazard

https://www.rnz.co.nz/news/business/581956/engineers-warn-that-changes-to-electrical-safety-rules...

2•colinprince•15m ago•0 comments

ElemRV

https://github.com/aesc-silicon/ElemRV

2•kristianpaul•15m ago•0 comments

Framework responds to complaints that BIOS update bricks Ryzen 7040 laptops

https://arstechnica.com/gadgets/2026/08/framework-responds-to-complaints-that-bios-update-bricked...

2•throwaway2037•23m ago•0 comments

Can Increasing the Hit Ratio Hurt Cache Throughput? (2024) [pdf]

https://www.cs.cmu.edu/~harchol/ValueTools24.pdf

1•robmoore121•24m ago•1 comments

Claude Academy

https://academy.claude.com/

1•luispa•24m ago•0 comments

AI companies destroy physical books – let's scan rare books before it's too late

https://annas-archive.gl/blog/physical-destruction.html

3•Cider9986•26m ago•0 comments

From Markup to Markdown: The Evolution of Technical Writing, Typesetting Tools

https://link.springer.com/book/10.1007/979-8-8688-2931-4

1•sohkamyung•29m ago•0 comments

NYC sanitation workers fed up with being pricked by weight-loss drug needles

https://gothamist.com/news/nyc-sanitation-workers-fed-up-with-being-pricked-by-weight-loss-drug-n...

1•paulpauper•30m ago•0 comments

Big Food's Biggest Challenge: People Who Don't Want to Eat Anymore

https://www.wsj.com/business/packaged-food-weight-loss-drugs-0d0cf851

1•paulpauper•31m ago•0 comments

Excalidraw but ATProto

https://lexidraw.app

1•jcbhmr•31m ago•0 comments

The Trump administration Turns a Blind Eye to White-Collar Crime

https://www.bloomberg.com/news/features/2026-03-23/trump-administration-fails-to-punish-white-col...

1•paulpauper•32m ago•0 comments

ATProto Documents-of-Record

https://requested.fyi/

1•jcbhmr•34m ago•0 comments

Beatport Bans AI-Produced Tracks from Platform

https://thequietus.com/news/beatport-bans-ai-produced-tracks-from-platform/

1•cdrnsf•35m ago•0 comments

From balloons to pans: in praise of useful tech

https://www.ft.com/content/49c3c96c-cda1-466a-a0a6-8275e889ecc4

1•petethomas•35m ago•0 comments

Show HN: Fsel –. a Rust TUI launcher, fuzzy picker and clipboard browser

https://github.com/Mjoyufull/fsel

1•Rikona_Kurasaki•35m ago•0 comments

Academic who accused Jason Arday of plagiarism suspended by university

https://www.bbc.com/news/articles/cevmrjd9lj1o

5•donsupreme•43m ago•1 comments

Show HN: XListman – one-binary, self-hosted mailing list manager

https://github.com/barats/xlistman

1•baratsemet•45m ago•0 comments

Show HN: Steppewm stacking Wayland window manager

https://keygen.sbs/steppewm/

1•uncognic•51m ago•0 comments

Trying to launch a Spotify app? In this economy?

https://bf.lol/blog/careless-spotify

1•jamiewright•55m ago•0 comments

Show HN: ImageSage – Photo manager using Local AI on Windows

https://apps.microsoft.com/detail/9mt89hd9s6sm?hl=en-US&gl=US

1•ringlochid•57m ago•1 comments

NSF set to issue lowest number of new grants in four decades

https://www.nature.com/articles/d41586-026-02574-6

1•pratchett•58m ago•1 comments

Become the Top Newsletter

https://www.topnewsletters.lol/

1•mattmerrick•59m ago•0 comments