Martin-LΓΆf Types, Intensional Equality, Proof Objects, Program Extraction
How to run an LLM on your laptop
technologyreview.comΒ·19h
Simply Plural Web App
app.apparyllis.comΒ·15h
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.orgΒ·1d
How Apex Fusion and Well-Typed Are Shaping the Future of Institutional DeFi on Cardano
hackernoon.comΒ·1d
A Rust shaped hole
ente.ioΒ·4d
Loading...Loading more...