fp.

Show HN: I built a CSV viewer and editor on the one true productivity layout

https://csvfile.tools/viewer

1•scottgpaulin•1m ago•0 comments

Deus Ex in the Browser

https://jeromem.dev/Experiments/Deus+Ex+in+the+Browser

1•measurablefunc•2m ago•0 comments

Programming Language Foundations in Agda

https://plfa.github.io/

1•solomonb•4m ago•1 comments

A 'Ludicrously Ugly' Bridge Is Exhibit a That Britain Has Lost Its Mojo

https://www.wsj.com/world/uk/a-ludicrously-ugly-bridge-is-exhibit-a-that-britain-has-lost-its-moj...

1•nextos•8m ago•0 comments

Show HN: Glider: A single-node vector database with S3 as its only durable state

https://github.com/omerfeyzioglu/glider

1•omerfeyzioglu•10m ago•0 comments

Eight Bytes in One Register

https://www.yagiz.co/eight-bytes-in-one-register

1•f311a•13m ago•0 comments

MCP events: who writes the first prompt now?

https://timeline.differentiated.io/guides/mcp-events

1•marcelmarais•17m ago•0 comments

Colleges need to teach last-mile knowledge

https://hollisrobbinsanecdotal.substack.com/p/colleges-need-to-teach-last-mile

1•paulpauper•18m ago•0 comments

Show HN: Bullet Script (bs) – a Lisp(y) VM for shmup bullet patterns

http://bs.ell.dev/

2•ellg•19m ago•0 comments

O.J. Simpson, a Secret Informant and a Decades-Old Mystery

https://www.nytimes.com/2026/10/18/us/oj-simpson-ippolito-informant-accomplice.html

1•jgalt212•19m ago•0 comments

Vizen – Open-source overlays for Windows, crop any window over your game

https://github.com/kalinvisuals/VIZEN

1•kalinvisuals•19m ago•0 comments

My Favorite Restaurant Served Gas (2023)

https://bittersoutherner.com/feature/2023/my-favorite-restaurant-served-gas-kate-medley-kiese-lay...

1•wmchen•19m ago•0 comments

Monthly Roundup #47: October 2026

https://thezvi.substack.com/p/monthly-roundup-47-october-2026

1•paulpauper•19m ago•0 comments

Top Mathematician Announces New Institute for A.I. Safety

https://www.nytimes.com/2026/09/08/science/jacob-tsimerman-math-ai-safety.html

1•paulpauper•20m ago•0 comments

OpenAI's blockbuster math proof isn't what you think it is

https://www.scientificamerican.com/article/openais-blockbuster-navier-stokes-proof-isnt-what-we-t...

1•tibbar•22m ago•0 comments

United's CEO Says It Should Cost More Not to Sit in the Middle Seat

https://www.nytimes.com/2026/10/18/business/scott-kirby-united-airlines.html

2•cwwc•22m ago•1 comments

VMMouse for NT 3.x: QEMU/VMware mouse integration driver

https://github.com/rhargreaves/vmmouse-nt3

1•kiyouta•24m ago•0 comments

Netflix Lays Off About 6% of Staff in Biggest Job Cuts Since 2022

https://www.wsj.com/business/media/netflix-eliminates-about-6-of-staff-in-biggest-cuts-since-2022...

5•corvad•25m ago•3 comments

Show HN: Keel – One event-sourced context graph for all your agents

https://github.com/angelkurten/keel

1•angelkurten•35m ago•0 comments

Consumer apprehension grows as US retailers adopt AI-assisted pricing tools

https://apnews.com/article/ai-prices-dynamic-customers-technology-64c446cd117d3be664de4ab570fb9857

2•geox•35m ago•1 comments

Leviathan LLM Inference

https://github.com/CuppaTea1983/Leviathan

2•michaelrickynea•36m ago•1 comments

Ask HN: A plea to help me help my father

7•10917887•38m ago•2 comments

Mikhail-Who?

https://physicsworld.com/a/mikhail-who/

1•Eridanus2•38m ago•0 comments

A commodity price tracking website with a few fun tools

https://www.commoditywatch.net

1•CommodityWatch•42m ago•1 comments

Beating Warcraft III's insane AI with self-play reinforcement learning on one PC

https://warlock.ai/blog/warcraftsim-1/

1•nawtora•42m ago•0 comments

Show HN: DebtShark – Consumer Legal Defense and Debt Settlement Workstation

https://boredpolymath.github.io/debtshark/

1•boredpolymath•44m ago•0 comments

Show HN: Lungo Generates Rust, Python, from Lean Proof Source

https://machinefabric.com/lungo/

1•joeharshamshiri•44m ago•1 comments

LLM01: 2025 Prompt Injection

https://genai.owasp.org/llmrisk/llm01-prompt-injection/

1•joebig•47m ago•0 comments

Show HN: Dieline generator for packaging (type the size, get the drawing)

https://die-lines.com/

1•timohin•48m ago•0 comments

US threatens Europe over Starlink restrictions

https://www.ft.com/content/d1e28d93-8574-4a46-946a-b261c401d6fa

32•mraniki•50m ago•29 comments

Show HN: I built a CSV viewer and editor on the one true productivity layout

Deus Ex in the Browser

Programming Language Foundations in Agda

A 'Ludicrously Ugly' Bridge Is Exhibit a That Britain Has Lost Its Mojo

Show HN: Glider: A single-node vector database with S3 as its only durable state

Eight Bytes in One Register

MCP events: who writes the first prompt now?

Colleges need to teach last-mile knowledge

Show HN: Bullet Script (bs) – a Lisp(y) VM for shmup bullet patterns

O.J. Simpson, a Secret Informant and a Decades-Old Mystery

Vizen – Open-source overlays for Windows, crop any window over your game

My Favorite Restaurant Served Gas (2023)

Monthly Roundup #47: October 2026

Top Mathematician Announces New Institute for A.I. Safety

OpenAI's blockbuster math proof isn't what you think it is

United's CEO Says It Should Cost More Not to Sit in the Middle Seat

VMMouse for NT 3.x: QEMU/VMware mouse integration driver

Netflix Lays Off About 6% of Staff in Biggest Job Cuts Since 2022

Show HN: Keel – One event-sourced context graph for all your agents

Consumer apprehension grows as US retailers adopt AI-assisted pricing tools

Leviathan LLM Inference

Ask HN: A plea to help me help my father

Mikhail-Who?

A commodity price tracking website with a few fun tools

Beating Warcraft III's insane AI with self-play reinforcement learning on one PC

Show HN: DebtShark – Consumer Legal Defense and Debt Settlement Workstation

Show HN: Lungo Generates Rust, Python, from Lean Proof Source

LLM01: 2025 Prompt Injection

Show HN: Dieline generator for packaging (type the size, get the drawing)

US threatens Europe over Starlink restrictions

Show HN: I built a CSV viewer and editor on the one true productivity layout

Deus Ex in the Browser

Programming Language Foundations in Agda

A 'Ludicrously Ugly' Bridge Is Exhibit a That Britain Has Lost Its Mojo

Show HN: Glider: A single-node vector database with S3 as its only durable state

Eight Bytes in One Register

MCP events: who writes the first prompt now?

Colleges need to teach last-mile knowledge

Show HN: Bullet Script (bs) – a Lisp(y) VM for shmup bullet patterns

O.J. Simpson, a Secret Informant and a Decades-Old Mystery

Vizen – Open-source overlays for Windows, crop any window over your game

My Favorite Restaurant Served Gas (2023)

Monthly Roundup #47: October 2026

Top Mathematician Announces New Institute for A.I. Safety

OpenAI's blockbuster math proof isn't what you think it is

United's CEO Says It Should Cost More Not to Sit in the Middle Seat

VMMouse for NT 3.x: QEMU/VMware mouse integration driver

Netflix Lays Off About 6% of Staff in Biggest Job Cuts Since 2022

Show HN: Keel – One event-sourced context graph for all your agents

Consumer apprehension grows as US retailers adopt AI-assisted pricing tools

Leviathan LLM Inference

Ask HN: A plea to help me help my father

Mikhail-Who?

A commodity price tracking website with a few fun tools

Beating Warcraft III's insane AI with self-play reinforcement learning on one PC

Show HN: DebtShark – Consumer Legal Defense and Debt Settlement Workstation

Show HN: Lungo Generates Rust, Python, from Lean Proof Source

LLM01: 2025 Prompt Injection

Show HN: Dieline generator for packaging (type the size, get the drawing)

US threatens Europe over Starlink restrictions

Scholars conclude 'beyond doubt' that Shakespeare was main author of Edward III