fp.

Logical Foundations of Prolog

https://www.youtube.com/playlist?list=PLEvH6T-1oh76mgfZm5QbLQoRsyr87BhiR

1•b-man•5s ago•0 comments

Aipac spends millions in Michigan Senate race – AP News

https://apnews.com/article/aipac-michigan-senate-stevens-elsayed-588bb869eb557643950bf68d6a0d7a10

3•abdelhousni•2m ago•0 comments

Show HN: Forall – OpenSpec but with actual machine-checkable verification

https://github.com/astrio-labs/forall

1•Nolan_Lwin•3m ago•0 comments

Trump to hit Canada with new 50% tariff

https://www.cbc.ca/news/world/trump-canada-us-trade-tariffs-cusma-usmca-9.7276973

2•llm_nerd•4m ago•0 comments

Ramp opens AI model router, says it cut internal LLM costs 30%

https://runtimewire.com/article/ramp-router-ai-model-gateway-llm-costs

1•ryanmerket•5m ago•0 comments

Esoterica: Prototype Game Engine

https://github.com/BobbyAnguelov/Esoterica

2•wertyk•6m ago•0 comments

The Artisanal RPG Culture of Classic Fallout Modding

https://tripharrison.substack.com/p/the-artisanal-rpg-culture-of-classic

2•droptablemain•7m ago•0 comments

Own Your Weights

https://twitter.com/jaminball/status/2075602206099919159

2•gmays•8m ago•0 comments

Show HN: What's Your Typing Speed?

https://typebop.com

2•Tonykip•10m ago•0 comments

Tests Are the New Moat

https://saewitz.com/tests-are-the-new-moat

1•handfuloflight•11m ago•0 comments

Show HN: Open Problem Gallery – Coordinating mathematics research

https://strategic.gg/open-problem-gallery/

2•mercurystills•13m ago•1 comments

AI Could Shrink Income Tax Revenue and Threaten Economies

https://www.bloomberg.com/news/features/2026-07-16/how-ai-could-shrink-income-tax-revenue-and-thr...

1•littlexsparkee•16m ago•2 comments

Converting Files into Minecraft Worlds

https://wuemeli.com/blog/sulfur-part-1/

1•wuemeli•20m ago•0 comments

Multi-Agent Design Patterns – Part 1: Separating Coder and Tester

https://medium.com/@Koukyosyumei/understanding-multi-agent-design-patterns-part-1-agentcoder-sepa...

1•syumei•20m ago•0 comments

Italy passes obesity law to prevent cardiovascular disease across Europe

https://academic.oup.com/ehjqcco/advance-article/doi/10.1093/ehjqcco/qcag094/8704145?login=false

2•simonebrunozzi•20m ago•0 comments

Show HN: Follow primary sources, and know first

1•jaredwiener•20m ago•0 comments

Show HN: Codex Micro on Your Phone

https://github.com/maxxspotter/codex-micro-app

1•cvaman•21m ago•1 comments

RubyGems Supply Chain Attack

https://www.aikido.dev/blog/sleepergem-rubygems-supply-chain-attack

1•knappe•22m ago•0 comments

Potential AI futures would play out in the current tax system

https://budgetlab.yale.edu/research/how-potential-ai-futures-would-play-out-current-tax-system

3•atlasunshrugged•23m ago•0 comments

Miss the old web? Join us haywood.computer

https://www.haywood.computer

1•scooterbooper•23m ago•0 comments

Projects every RC live races and results

https://rc-replay.dev/lr/vmrc/r/6912053

1•apokly•23m ago•0 comments

Trinket Box Purveyors Are Melting Down

https://defector.com/trinket-box-purveyors-are-melting-down

2•pavel_lishin•24m ago•1 comments

Show HN: Memento, Shared Agentic Memory

https://rcarmo.github.io/projects/memento/

1•rcarmo•24m ago•0 comments

Cape Grim Air Archive

https://research.csiro.au/acc/capabilities/cape-grim-air-archive/

2•toomuchtodo•24m ago•0 comments

Show HN: Riace – a hands-free interval timer I built while getting back in shape

https://apps.apple.com/it/app/riace/id6760669387

1•mrdobelina•24m ago•0 comments

Show HN: Linguin, a live multilingual dictionary for 120 languages

https://linguin.xyz/

1•astroscout•25m ago•0 comments

Ports – see what's running by project, and kill it by name

https://github.com/pyjeebz/ports

1•pyjeebz•26m ago•0 comments

Far above the Earth, NASA's Apollo lunar lander put astronauts on the moon

https://apnews.com/article/apollo-lunar-lander-moon-nasa-ded0b6a8271940c1966a64fb9d78d7de

Logical Foundations of Prolog

Aipac spends millions in Michigan Senate race – AP News

Show HN: Forall – OpenSpec but with actual machine-checkable verification

Trump to hit Canada with new 50% tariff

Ramp opens AI model router, says it cut internal LLM costs 30%

Esoterica: Prototype Game Engine

The Artisanal RPG Culture of Classic Fallout Modding

Own Your Weights

Show HN: What's Your Typing Speed?

Tests Are the New Moat

Show HN: Open Problem Gallery – Coordinating mathematics research

AI Could Shrink Income Tax Revenue and Threaten Economies

Converting Files into Minecraft Worlds

Multi-Agent Design Patterns – Part 1: Separating Coder and Tester

Italy passes obesity law to prevent cardiovascular disease across Europe

Show HN: Follow primary sources, and know first

Show HN: Codex Micro on Your Phone

RubyGems Supply Chain Attack

Potential AI futures would play out in the current tax system

Miss the old web? Join us haywood.computer

Projects every RC live races and results

Trinket Box Purveyors Are Melting Down

Show HN: Memento, Shared Agentic Memory

Cape Grim Air Archive

Show HN: Riace – a hands-free interval timer I built while getting back in shape

Show HN: Linguin, a live multilingual dictionary for 120 languages

Ports – see what's running by project, and kill it by name

Far above the Earth, NASA's Apollo lunar lander put astronauts on the moon

Catnip essential oil-based mosquito repellent

The World Hum Map and Database Project

Ask HN: Which blog have you recently found to be your favorite?

Logical Foundations of Prolog

Aipac spends millions in Michigan Senate race – AP News

Show HN: Forall – OpenSpec but with actual machine-checkable verification

Trump to hit Canada with new 50% tariff

Ramp opens AI model router, says it cut internal LLM costs 30%

Esoterica: Prototype Game Engine

The Artisanal RPG Culture of Classic Fallout Modding

Own Your Weights

Show HN: What's Your Typing Speed?

Tests Are the New Moat

Show HN: Open Problem Gallery – Coordinating mathematics research

AI Could Shrink Income Tax Revenue and Threaten Economies

Converting Files into Minecraft Worlds

Multi-Agent Design Patterns – Part 1: Separating Coder and Tester

Italy passes obesity law to prevent cardiovascular disease across Europe

Show HN: Follow primary sources, and know first

Show HN: Codex Micro on Your Phone

RubyGems Supply Chain Attack

Potential AI futures would play out in the current tax system

Miss the old web? Join us haywood.computer

Projects every RC live races and results

Trinket Box Purveyors Are Melting Down

Show HN: Memento, Shared Agentic Memory

Cape Grim Air Archive

Show HN: Riace – a hands-free interval timer I built while getting back in shape

Show HN: Linguin, a live multilingual dictionary for 120 languages

Ports – see what's running by project, and kill it by name

Far above the Earth, NASA's Apollo lunar lander put astronauts on the moon

Catnip essential oil-based mosquito repellent

The World Hum Map and Database Project