Intuitionistic Logic, Bishop Analysis, Computable Reals, Proof Relevance
DNS at IETF 123
potaroo.netยท11h
[RIDGELINE] Studio Goodbye, Studio Hello
craigmod.comยท2d
denialism and its counterfeits
blog.ayjay.orgยท1d
Looking back at Martin Gardnerโs RSA article
johndcook.comยท22h
Deck Builder Game Template - Raylib-Go
github.comยท2d
From Data Scientist IC to Manager: One Year In
towardsdatascience.comยท1d
Integrating clinical reasoning into large language model-based diagnosis through etiology-aware attention steering
arxiv.orgยท2d
Text-Attributed Graph Anomaly Detection via Multi-Scale Cross- and Uni-Modal Contrastive Learning
arxiv.orgยท2d
Loading...Loading more...