Type-level Programming, Proof-carrying Code, Agda, Type Safety
Book Review โ The Garden of Delights by Amal Singh
thomasrigby.comยท16h
Breaking Bubsy News
feed.tedium.coยท1d
Waveshare ESP32-P4-ETH development board supports Ethernet and PoE
cnx-software.comยท1d
OpenAI CEO Sam Altman shifts focus to GPT-6 after the rocky rollout of GPT-5
the-decoder.comยท14h
Philosopherโs Annual for 2024
dailynous.comยท3d
FractMorph: A Fractional Fourier-Based Multi-Domain Transformer for Deformable Image Registration
arxiv.orgยท2d
VFM-Guided Semi-Supervised Detection Transformer for Source-Free Object Detection in Remote Sensing Images
arxiv.orgยท3d
Loading...Loading more...