Session Types, Communication Safety, Distributed Systems, Type-driven Development
Brent Yorgey: Competitive programming in Haskell: sparse tables
byorgey.github.io·23h
Do early steps into agentic AI respect our needs for privacy and security?
privacyinternational.org·12h
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·1d
Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities
arxiv.org·2d
Loading...Loading more...