Dependent types I › Universes, or types of types
jonmsterling.com·37m·
Discuss: Hacker News
⚙technology
Reclaiming Europe Rivers : Hungarians Take a Dip in the Danube
balkaninsight.com·1d
🌍geopolitic
Hell is Us – The free comic! [Quick review]
tomsgaming.com·2d
🌍geopolitic
What will the EU’s new entry-exit system mean for British travellers?
nordot.app·2d
🌍geopolitic
The Fifty-Fifty Universe
takimag.com·7m
🌍geopolitic
Watch: Trump says he wants to meet Kim Jong Un
bbc.com·1d
🌍geopolitic
GiG expands UK SportX portfolio, launching partner Betzone's sportsbook upgrade
prnewswire.com·34m
💰finance
Google adds 'preferred sources' list. How to add the Register.
desmoinesregister.com·1d
🌍geopolitic
Helldivers 2 Out on Xbox Today – Welcome to Boot Camp
news.xbox.com·23h
🌍geopolitic
Barça coach Flick admits mistakes after Ter Stegen dispute
nordot.app·23h
💰finance
Gloomy opening on the European markets after Friday rally in the US
euronews.com·2d
💰finance
Zverev cruises past Tabilo in US Open first round
nordot.app·54m
🌍geopolitic
German Foreign Office shocked by killing of journalists in Gaza
nordot.app·1d
🌍geopolitic
XPENG Launches Global OTA 5.8.0 Update: Delivering Refined Experiences for Diverse User Demands
cleantechnica.com·1d
⚙technology
Decision Process Theory, Twitter, Substack, More: Monday ResearchBuzz, August 25, 2025
researchbuzz.me·1d
⚙technology
The summit that could shape the future of Eurasia -- Beijing Review
bjreview.com·2d
🌍geopolitic
Exclusive: Korean Air makes airline's biggest-ever Boeing jet order amid Trump-Lee summit - Reuters
news.google.com·1d
🌍geopolitic
Hear New Orlean rising temperatures in music
kunc.org·3h
🌍geopolitic
Boxed in by shifting tariff rules, European shippers pause some U.S.-bound parcels - NPR
news.google.com·3d
🌍geopolitic
Vertical streaming apps charging $20/week are beating Netflix and other SVOD platforms in user growth with their mini-dramas optimized for mobile viewing (Tatum...
mediagazer.com·1d
💰finance