Dependent Types, Proof Assistant, Type-driven Development, Verification
Joy & Curiosity #50
registerspill.thorstenball.com·5d
A universal rhythm guides how we speak: Global analysis reveals 1.6-second 'intonation units'
phys.org·1d
I'm a cyclist. Will the arrival of robotaxis make my journeys safer?
newscientist.com·1d
Intel borrows AMD feature which could finally mean more allocated RAM for the iGPU for these all-important AI tasks
techradar.com·1d
Unveiling the Unseen: A Comprehensive Survey on Explainable Anomaly Detection in Images and Videos
arxiv.org·3d
The Ethics of Using AI in Philosophical Research
dailynous.com·2d
The 4 Pillars of Successful LLMOps
thenewstack.io·3d
Loading...Loading more...