Idris, Agda, Proof Assistants, Type-Level Programming
Weeknotes: Sept. 27-Oct. 3, 2025
tracydurnell.comยท1d
TASER: Translation Assessment via Systematic Evaluation and Reasoning
machinelearning.apple.comยท3d
A low-latency Rust concurrent channels.
github.comยท3d
SynthPert: Enhancing LLM Biological Reasoning via Synthetic Reasoning Traces for Cellular Perturbation Prediction
arxiv.orgยท4d
Automatic Speech Recognition (ASR) for African Low-Resource Languages: A Systematic Literature Review
arxiv.orgยท3d
LLVM Weekly - #172, Apr 17th 2017
llvmweekly.orgยท3d
LLVM Weekly - #223, April 9th 2018
llvmweekly.orgยท3d
Loading...Loading more...