Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics
I made a silly thing for my office.
thalescircles.tumblr.com·2d
Former Labour leader Lord Kinnock calls for two-child benefit cap to be scrapped
the-independent.com·13h
Summer fasterthanlime update
fasterthanli.me·2d
A Season of Unease at the Edinburgh Festival
newyorker.com·1h
Math drills for my daughter
hackster.io·6d
AI’s New Way of Predicting Market Turns
hackernoon.com·2d
Heterogeneous optimized Schwarz Methods for heat conduction in composites with thermal contact resistance
arxiv.org·6d
Sylogist Ltd. (SYZLF) Q2 2025 Earnings Call Transcript
seekingalpha.com·2d
Loading...Loading more...