yenwel's submissions | Hacker News

1.		Smart Cities Ontology for Digital Twins (techcommunity.microsoft.com)
		2 points by yenwel on March 16, 2021 \| past \| 1 comment
2.		The General Relativity Tutorial (ucr.edu)
		2 points by yenwel on April 2, 2019 \| past
3.		Category theory and blockchain and petri nets (statebox.org)
		1 point by yenwel on Oct 23, 2018 \| past
4.		Non-Wellfounded Trees in Homotopy Type Theory (arxiv.org)
		1 point by yenwel on Sept 14, 2018 \| past
5.		Course in applied category theory by John Baez (7 sketches in compositionality) (azimuthproject.org)
		3 points by yenwel on April 18, 2018 \| past
6.		Realtime computing (telegra.ph)
		2 points by yenwel on Nov 24, 2016 \| past