Headlines Flash

Wed, Aug 5 12:08 PM

💻 Technology

Identity and Substitutivity(1971) [pdf]

Hacker News•Wed, Aug 5, 2026, 11:59 AM•2 min read

1 points, 0 comments on Hacker News

Source: [Hacker News](https://ncatlab.org/nlab/files/Cartwright-IdentityAndSubstitutivity.pdf)

📰 Read Full Story

This is an aggregated headline summary. For the complete report, visit the original publisher.

Continue Reading at Hacker News ↗

#tech #identity #substitutivity #pdf

More Headlines

TechnologyHacker News• 4m ago

27B model running sub 7W

1 points, 1 comments on Hacker News

TechnologyEngadget• 7m ago

NASA's PUNCH mission can now accurately predict when solar storms will hit Earth

NASA says its PUNCH mission has greatly advanced the prediction of solar storms.

TechnologyHacker News• 7m ago

The Fish Who Could Not Imagine Air

1 points, 0 comments on Hacker News

TechnologyHacker News• 8m ago

An Invasive Mosquito Spreading with Alarming Speed, Threatening Africa's Cities

1 points, 0 comments on Hacker News

TechnologyHacker News• 8m ago

Show HN: Pistachio – Declarative schema management for PostgreSQL

Pistachio is a declarative schema migration tool similar to sqldef, with a Terraform-like plan/apply workflow. I created this tool because there were some SQL statements that sqldef couldn't parse. Pistachio uses pg_query_go.

TechnologyHacker News• 8m ago

Data-centre reality check could slam brakes on AI earnings boom

1 points, 0 comments on Hacker News