fp.

Palomar: A registry of Lean verified mathematics

https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/

1•matt_d•4m ago•0 comments

Reasons to Avoid Seed Oils [video]

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

1•pinkmuffinere•6m ago•0 comments

Tech Transparency Project – Holding Big Tech Accountable

https://www.techtransparencyproject.org/

2•dotcoma•6m ago•0 comments

"the mandate" a short fiction by Grok 4.6 on technological singularity

https://www.echohive.ai/the-mandate-singularity-fiction

1•echohive42•8m ago•0 comments

An Engineer as Civil Servant

https://govinsider.asia/intl-en/article/an-engineer-as-civil-servant

1•doppp•8m ago•0 comments

SniffCat – A free API for checking and reporting abusive IPs

https://sniffcat.com/

1•sefinek•10m ago•0 comments

Show HN: Warp DD – AI that analyzes technology ecosystems in ~30 seconds

https://warpdd.com

1•masato_furuno•20m ago•0 comments

Meta's blockbuster trial draws parallels to big tobacco

https://www.economist.com/business/2026/08/18/metas-blockbuster-trial-draws-parallels-to-big-tobacco

3•newsomix9xl•21m ago•0 comments

Keenpix – an OSS image CDN with predictable managed pricing

https://keenpix.com/

1•lord007tn•30m ago•1 comments

The End-State Fallacy: Where Is AI Security Headed?

https://endstatefallacy.com/

1•allanbreyes•32m ago•0 comments

Universal Dive Data Format

https://wrobell.dcmod.org/uddf/

2•nvahalik•33m ago•0 comments

Sutton and Javed: Why AI Models Stop Learning, and How to Start It Again [video]

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

2•abetusk•33m ago•0 comments

OpenAI halts testing, slows development after rogue model hacked Hugging Face

https://www.abc.net.au/news/2026-08-19/openai-slows-development-pauses-testing-after-hugging-face...

1•scorpioxy•35m ago•1 comments

She told no one about her agony except ChatGPT. What her death reveals about AI

https://www.npr.org/2026/08/18/nx-s1-5929575/ai-suicide-risks-mental-health

3•newsomix9xl•36m ago•1 comments

SpaceX tugs Starship into port after 24 days at sea

https://arstechnica.com/space/2026/08/its-christmastime-at-spacex-as-company-salvages-starship-fr...

2•Metacelsus•36m ago•0 comments

In a Heat Wave, Schizophrenia Is Much Deadlier Than Any Other Medical Condition

https://www.wired.com/story/heat-wave-schizophrenia/

1•littlexsparkee•36m ago•0 comments

Xerox invented the modern PC, then priced the Star at $16,595 (1981)

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

3•adhikaribipin•38m ago•0 comments

RF Cafe

https://www.rfcafe.com/

4•gregsadetsky•40m ago•0 comments

Show HN: Automatically detect and patch walking-dead states in Sierra games

https://github.com/katiahayati/lucasartsifier/

2•wkfauna•47m ago•0 comments

OpenLogi

https://openlogi.org/en

3•amatheus•47m ago•0 comments

Show HN: SubTrends – 18 years of Reddit data across 100K+ subreddits

https://subtrends.io/

2•dataneedscoffee•47m ago•0 comments

What's the best pitch for "Why not Claude"?

1•jlim99•48m ago•2 comments

Spinifex: Open-Source Amazon Web Services Alternative – OpenAlternative

https://openalternative.co/spinifex

1•tom_mulgadc•49m ago•0 comments

Language-like structure arises in learned signaling: evidence from birdsong

https://www.science.org/doi/10.1126/sciadv.aea3015

2•wslh•51m ago•0 comments

Tonnes of nuclear material found at Syria site, UN atomic watchdog says

https://www.rte.ie/news/middle-east/2026/0818/1588407-syria-nuclear/

3•wslh•58m ago•1 comments

Qwen3.8-27B make medium the default effort level instead of xhigh

https://github.com/alainnothere/llama.cpp/blob/disk-cache-eviction/models/templates/Qwen3.8-27B-m...

5•xlayn•1h ago•1 comments

Amazon scans and destroys books to comply with copyright law

https://bsky.app/profile/steveklabnik.com/post/3mtejjs6s2c2y

5•platzhirsch•1h ago•4 comments

Proof-Carrying Pipelines: attest local gate runs so CI can skip re-execution

https://github.com/JackCid89/proof-carrying-pipelines

1•jackcid89•1h ago•0 comments

The Vietnam Binh Chau (Chau Tan) Late Tang Wreck

https://www.koh-antique.com/client/tangwreck/tangwreck.html

3•teleforce•1h ago•1 comments

How to build an eval set you can maintain

https://langfuse.com/academy/evaluate/choosing-what-to-evaluate

2•lotteverh•1h ago•0 comments