Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Interview: Martijn van Exel - Meet Your Mappers
blog.opencagedata.comΒ·10h
A strange specimen
blogger.comΒ·20h
AUSNOG 2025
potaroo.netΒ·14h
WiFIRCard β A credit card-sized WiFi and IR-controlled dual relay board (Crowdfunding)
cnx-software.comΒ·8h
HAVE: Head-Adaptive Gating and ValuE Calibration for Hallucination Mitigation in Large Language Models
arxiv.orgΒ·3d
Fairness-Aware Data Augmentation for Cardiac MRI using Text-Conditioned Diffusion Models
arxiv.orgΒ·3d
Water Demand Forecasting of District Metered Areas through Learned Consumer Representations
arxiv.orgΒ·2d
Methodological Insights into Structural Causal Modelling and Uncertainty-Aware Forecasting for Economic Indicators
arxiv.orgΒ·2d
Scientists Say the Fourth Dimension Could Be Hiding Right in Front of You
popularmechanics.comΒ·3d
Topological Regularization for Force Prediction in Active Particle Suspension with EGNN and Persistent Homology
arxiv.orgΒ·3d
Loading...Loading more...