Intuitionistic Mathematics, Computable Reals, Bishop Mathematics, Proof Relevance
American - kieranhealy.org
kieranhealy.org·23h
Showcase: Project Combiner (combine-files) - A CLI Tool Ideal for Prepping Context for LLMs
pypi.org·1d
Statically checking Python dicts for completeness
lukeplant.me.uk·2d
7 Popular LLMs Explained in 7 Minutes
kdnuggets.com·3d
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·6d
Loading...Loading more...