Session Types, Communication Safety, Distributed Systems, Type-driven Development
Brent Yorgey: Competitive programming in Haskell: sparse tables
byorgey.github.ioยท1d
Do early steps into agentic AI respect our needs for privacy and security?
privacyinternational.orgยท17h
LiLM-RDB-SFC: Lightweight Language Model with Relational Database-Guided DRL for Optimized SFC Provisioning
arxiv.orgยท3d
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.orgยท2d
Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities
arxiv.orgยท3d
The Power of Building from Scratch
towardsdatascience.comยท2d
Loading...Loading more...