xvedejas's submissions

1.		LeanDojo: Theorem Proving with Retrieval-Augmented Language Models (leandojo.org)
		5 points by xvedejas on June 30, 2023 \| past
2.		Understanding Transit Infrastructure Costs in American Cities (transitcosts.com)
		1 point by xvedejas on Oct 25, 2022 \| past
3.		Stupid CSS Part 1: Double-Click Handler (fishbotwilleatyou.com)
		1 point by xvedejas on Jan 5, 2021 \| past
4.		San Francisco: A Forbidden Fantasy Comes True (humantransit.org)
		2 points by xvedejas on June 22, 2020 \| past