Home Explore Bookmarks Inbox Collections Profile

Recent Search

Command Palette

Search for a command to run...

Command Palette

Search for a command to run...

Home Explore Bookmarks

Inbox Collections Profile

Local Reasoning for Global Properties — Blankdot

tratt.net1 month ago

Local Reasoning for Global Properties

Article URL: https://tratt.net/laurie/blog/2026/local_reasoning_for_global_properties.html Comments URL: https://news.ycombinator.com/item?id=48739140 Points: 3 # Comments: 0

Visit tratt.net

No discussion yet. Be the first to share your thoughts!