fp.

Show HN: PDF/ePub reader where you ask AI and each answer links to the passage

https://marginal-ia.app/en

1•folio_j•33s ago•0 comments

Ross Douthat: I'm Writing a Column for the Free Press

https://www.thefp.com/p/ross-douthat-new-columnist-the-free-press

1•paulpauper•40s ago•0 comments

AI Could End Encryption as We Know It

https://ai-frontiers.org/articles/ai-could-end-encryption-as-we-know-it

1•paulpauper•1m ago•0 comments

What mathematicians should know about the Lean Theorem Prover: reliability & AI

https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-...

1•matt_d•1m ago•0 comments

Remember Orkut? Its founder wants to bring it back

https://techcrunch.com/2026/10/09/remember-orkut-its-founder-wants-to-bring-it-back/

1•ulrischa•1m ago•0 comments

Jasmin: A language for high-assurance and high-speed cryptography

https://github.com/jasmin-lang/jasmin

1•fanf2•1m ago•0 comments

The Rise and Fall of the Plasma Screen

https://www.construction-physics.com/p/the-rise-and-fall-of-the-plasma-screen

1•paulpauper•1m ago•0 comments

THX-01: An Open-Source Decision Model That Runs on Your Phone and Beats Jev

https://doofz.substack.com/p/introducing-thx-01-an-open-source

1•lebagetdefrance•2m ago•0 comments

Rare internal memos and forgotten books from tech history

https://readrare.com/

1•miletus•3m ago•0 comments

CXMT's covert campaign to obtain Samsung tech by any means necessary

https://www.koreajoongangdaily.com/business/blackmail-poaching-and-theftnbspcxmts-covert-campaign...

2•giuliomagnifico•6m ago•0 comments

Scam American companies are using to manipulate ingredient gets listed first

https://twitter.com/WallStreetApes/status/2108594998656807078

2•bilsbie•7m ago•0 comments

A tale of four theorem provers

https://blueberrywren.dev/blog/primes/

1•whwhyb•8m ago•0 comments

Trade Direction in Prediction Markets

https://arxiv.org/abs/2610.06412

1•7777777phil•8m ago•0 comments

Show HN: THX-01 – Open- source decision model that runs on phones and beats Jev

https://huggingface.co/doofz/THX-01

1•lebagetdefrance•8m ago•0 comments

Hacker News AI Hype Trends: 2022 – Present

https://www.alwaysleaveanote.com/hacker-news/ai-trends/

1•xnx•9m ago•0 comments

In Memory of Deno

https://orgsoft.org/blog/in-memory-of-deno

1•mattvr•10m ago•0 comments

Scott and Scurvy (2010)

https://idlewords.com/2010/03/scott_and_scurvy.htm

1•rafaelc•10m ago•0 comments

All practical general use firewalls are porous now for inbound traffic

https://utcc.utoronto.ca/~cks/space/blog/sysadmin/FirewallsArePorousNow

1•aray07•10m ago•0 comments

Show HN: RemainderBot - spends leftover Claude/Codex quota on reviewable PRs

https://github.com/arimwilson/openremainderbot

1•ariwilson•11m ago•0 comments

Tales from the Lunar Module Guidance Computer (2004)

https://www.doneyles.com/LM/Tales.html

1•aray07•11m ago•0 comments

Aircooling My iPhone for Privacy

https://romanzipp.com/blog/aircooling-my-iphone-for-privacy

2•romanzipp•13m ago•0 comments

How Oracle turns days of work into minutes with ChatGPT and Codex

https://openai.com/index/oracle/

1•tosh•15m ago•0 comments

Canto incognito: tracking the PoeLLM malware

https://www.lumen.com/blog/en-us/canto-incognito-tracking-the-poellm-malware

1•simonpure•15m ago•0 comments

How Go maps work internally: Swiss tables

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

1•valyala•16m ago•0 comments

Python 3.15 Released

https://lwn.net/Articles/1099602/

2•hn3ufz62f7•16m ago•1 comments

Show HN: Glimpse – Find any screenshot on Windows by its text or how it looks

https://github.com/cgranier/glimpse

1•cgranier•16m ago•0 comments

China, EU strike deal to halve Chinese hybrid exports

https://www.reuters.com/world/china/china-eu-reach-hybrid-vehicle-trade-understanding-keep-talks-...

1•geox•19m ago•0 comments

Two Futures for LLMs in Mathematics

https://wiredream.com/llm-two-futures/

2•dgacmu•19m ago•0 comments

Germany withdraws from AI partnership with Mistral and SAP

https://www.welt.de/wirtschaft/article6ac8d35d61b3d4c01d3e11da/digitale-souveraenitaet-bund-zieht...

4•7777777phil•21m ago•0 comments

Tinycast: A free, native launcher for macOS

https://tinycast.dev/

1•eustoria•21m ago•0 comments

Show HN: PDF/ePub reader where you ask AI and each answer links to the passage

Ross Douthat: I'm Writing a Column for the Free Press

AI Could End Encryption as We Know It

What mathematicians should know about the Lean Theorem Prover: reliability & AI

Remember Orkut? Its founder wants to bring it back

Jasmin: A language for high-assurance and high-speed cryptography

The Rise and Fall of the Plasma Screen

THX-01: An Open-Source Decision Model That Runs on Your Phone and Beats Jev

Rare internal memos and forgotten books from tech history

CXMT's covert campaign to obtain Samsung tech by any means necessary

Scam American companies are using to manipulate ingredient gets listed first

A tale of four theorem provers

Trade Direction in Prediction Markets

Show HN: THX-01 – Open- source decision model that runs on phones and beats Jev

Hacker News AI Hype Trends: 2022 – Present

In Memory of Deno

Scott and Scurvy (2010)

All practical general use firewalls are porous now for inbound traffic

Show HN: RemainderBot - spends leftover Claude/Codex quota on reviewable PRs

Tales from the Lunar Module Guidance Computer (2004)

Aircooling My iPhone for Privacy

How Oracle turns days of work into minutes with ChatGPT and Codex

Canto incognito: tracking the PoeLLM malware

How Go maps work internally: Swiss tables

Python 3.15 Released

Show HN: Glimpse – Find any screenshot on Windows by its text or how it looks

China, EU strike deal to halve Chinese hybrid exports

Two Futures for LLMs in Mathematics

Germany withdraws from AI partnership with Mistral and SAP

Tinycast: A free, native launcher for macOS

Hiring US-to-China Oil Tanker Costs More Than Launching a Space Rocket

Show HN: PDF/ePub reader where you ask AI and each answer links to the passage

Ross Douthat: I'm Writing a Column for the Free Press

AI Could End Encryption as We Know It

What mathematicians should know about the Lean Theorem Prover: reliability & AI

Remember Orkut? Its founder wants to bring it back

Jasmin: A language for high-assurance and high-speed cryptography

The Rise and Fall of the Plasma Screen

THX-01: An Open-Source Decision Model That Runs on Your Phone and Beats Jev

Rare internal memos and forgotten books from tech history

CXMT's covert campaign to obtain Samsung tech by any means necessary

Scam American companies are using to manipulate ingredient gets listed first

A tale of four theorem provers

Trade Direction in Prediction Markets

Show HN: THX-01 – Open- source decision model that runs on phones and beats Jev

Hacker News AI Hype Trends: 2022 – Present

In Memory of Deno

Scott and Scurvy (2010)

All practical general use firewalls are porous now for inbound traffic

Show HN: RemainderBot - spends leftover Claude/Codex quota on reviewable PRs

Tales from the Lunar Module Guidance Computer (2004)

Aircooling My iPhone for Privacy

How Oracle turns days of work into minutes with ChatGPT and Codex

Canto incognito: tracking the PoeLLM malware

How Go maps work internally: Swiss tables

Python 3.15 Released

Show HN: Glimpse – Find any screenshot on Windows by its text or how it looks

China, EU strike deal to halve Chinese hybrid exports

Two Futures for LLMs in Mathematics

Germany withdraws from AI partnership with Mistral and SAP

Tinycast: A free, native launcher for macOS