fp.

Looking for Missed Alarm Bugs in a Formal Verification Tool

https://blog.regehr.org/archives/2124

1•luu•37s ago•0 comments

AI-driven surge in bond yields could be next risk for markets and growth

https://www.reuters.com/world/asia-pacific/ai-driven-surge-bond-yields-could-be-next-risk-markets...

1•petethomas•5m ago•0 comments

A desktop AI copilot for interview questions and coding screenshots

https://skillcopilotai.com

1•candyindex999•7m ago•0 comments

What's New in SuperMemo 20?

https://help.supermemo.org/wiki/What%27s_new_in_SuperMemo_20%3F

1•Tomte•9m ago•1 comments

The Natural Hierarchy of Money (2018)

https://sites.bu.edu/perry/lectures/mb-lectures/section-1/2-the-natural-hierarchy-of-money/

1•lostnfound8778•13m ago•0 comments

GLM-5.3: Frontier Coding with Emergent Cyber Capabilities

https://z.ai/blog/glm-5.3

57•pella•18m ago•7 comments

GitHub has another tough day

https://surfingcomplexity.blog/2026/08/13/github-has-another-tough-day/

1•azhenley•21m ago•0 comments

Do Apple's green text bubbles have an accessibility problem?

https://colorschemer.com/color-theory-course/utilizing-wcag-to-improve-text-readability-and-contrast

3•maxsavin•24m ago•0 comments

A Walkable ASCII Cyberpunk City in One HTML File [video]

https://www.youtube.com/watch?v=3YtygAx_C6A

2•reader9274•25m ago•0 comments

German Tank Problem

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

1•jxmorris12•25m ago•0 comments

Show HN: Control Claude Code, Codex, Pi and Gemini CLI from Telegram

https://github.com/choiyounggi/cliclaw

2•dch0202•31m ago•0 comments

A digestion of the proof of Sendov's conjecture

https://terrytao.wordpress.com/2026/08/12/a-digestion-of-the-proof-of-sendovs-conjecture/

2•surprisetalk•34m ago•0 comments

An Infinite Waltz – A Must Read (Docu-Video Audio/ Visual Adaptation Included)

https://iamwisdom.substack.com/p/an-infinite-waltz-the-dance-beyond

1•I_Am_Wisdom•39m ago•0 comments

The great silence: why haven't we found any aliens yet?

https://www.theguardian.com/news/2026/aug/11/the-great-silence-why-havent-we-found-any-aliens-yet

1•thm•39m ago•0 comments

Show HN: VeerHost – $1/month web hosting, limited spots

https://veerhost.com/1-dollar-web-hosting/

6•betterornotss•41m ago•0 comments

Phoebe Gates' startup Phia faces cookie stuffing allegations

https://www.bloomberg.com/news/articles/2026-08-11/phia-app-co-founders-pushed-for-features-takin...

3•saeranv•42m ago•0 comments

Show HN: Journal, Interstitial Journaling

https://journal.lasagna.pizza/

1•kinduff•44m ago•0 comments

Show HN: Lexicon AI – Exam-focused vocabulary journal for SAT and IELTS prep

https://lexicon-ai-journal.vercel.app/

1•wayne_14e•45m ago•0 comments

How to Look the Sky in the Face

https://www.raptitude.com/2026/08/how-to-look-the-sky-in-the-face/

1•inatreecrown2•46m ago•0 comments

Trump order lets US firms hack overseas groups under certain conditions

https://www.cnn.com/2026/08/13/politics/cyber-privateers-trump-order-overseas-groups-hacking

6•freditup•50m ago•0 comments

Apple trains its own AI model for China market with Alibaba's support

https://www.reuters.com/business/retail-consumer/apple-trains-its-own-ai-model-china-market-with-...

6•petethomas•50m ago•0 comments

RegExp /V in JavaScript: Sets, Intersections, and Unicode

https://www.jstools.space/blog/regexp-in-javascript/

1•javatuts•51m ago•0 comments

Trump's Gift to the Money Launderers

https://www.thebulwark.com/p/trumps-gift-to-the-money-launderers-database-treasury

4•computerliker•52m ago•0 comments

FieldRobin – AI-native field service software for small service businesses

https://fieldrobin.com

1•pdgrg•54m ago•0 comments

Counterstrike 1969 TV Series

https://archive.org/details/counterstrike-1969-tv-series

2•petethomas•59m ago•0 comments

Trump orders aircraft carrier redesign to use steam catapults to launch jets

https://www.theguardian.com/us-news/2026/aug/13/trump-aircraft-carriers-steam-catapults

6•decimalenough•1h ago•0 comments

Users of psychedelics narratively turn bad trips into valuable experiences

https://www.sciencedirect.com/science/article/pii/S0955395920303352#bib0056

5•MrJagil•1h ago•0 comments

The Making of Cursor's Icons

https://www.minoradventures.co/blog/the-making-of-cursors-icons

1•duck•1h ago•0 comments

Definium says LSD-based pill reduces anxiety in late-stage study

https://www.reuters.com/business/healthcare-pharmaceuticals/definium-says-lsd-based-pill-reduces-...

3•oliverulerich•1h ago•0 comments

Cicada.os, Graphene.os for Your Laptop

https://kpres12.github.io/Cicada.OS/

1•kpres62•1h ago•1 comments