Type-level Programming, Proof-carrying Code, Agda, Type Safety
Golang Concurrency: How to use Mutexes
cookie.engineer·5d
Herdling is a surprisingly well-rounded atmospheric adventure that belies its short play time – and it's right at home on the Switch 2
techradar.com·2h
SafeConstellations: Steering LLM Safety to Reduce Over-Refusals Through Task-Specific Trajectory
arxiv.org·3d
Belief-Conditioned One-Step Diffusion: Real-Time Trajectory Planning with Just-Enough Sensing
arxiv.org·2d
Would AI Lie to You?
cacm.acm.org·1d
Urban AI Governance Must Embed Legal Reasonableness for Democratic and Sustainable Cities
arxiv.org·2d
AUSF: The Must-Have Three-Factor ETF
seekingalpha.com·11h
Loading...Loading more...