Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
<div xmlns="http://www.w3.org/1999/xhtml"> Asymmetric daylight saving time in the EU </div>
uninformativ.deΒ·5h
Footnotes to the week: Greek readings
logicmatters.netΒ·21h
Fedify
fedify.devΒ·5d
Nick Woltemade makes perfect start to get Newcastleβs season up and running
the-independent.comΒ·1d
Word Game: Sept. 12, 2025
mercurynews.comΒ·2d
From Sci-Fi to Reality: New Breakthrough Could Bring Holograms to Your Phone
scitechdaily.comΒ·3h
Tuning gRPC for High Performance: Deadlines, Batching, and KeepAlives - Rahul Raja, Linkedin
youtube.comΒ·1d
A Scientist Says Aliens May Have Started Life on Earth
popularmechanics.comΒ·2d
Loading...Loading more...