Squash Types, Proposition Equality, Setoid Model, Type Theory
How Cursor AI Cut Legacy Code Coverage Time by 85%
engineering.salesforce.com·1d
How One Wikipedia Editor Unraveled the ‘Single Largest Self-Promotion Operation’ in the Site's History
wired.com·22h
OpenAI's chief research scientist shares the book that inspired him when he was unsure about his career path
businessinsider.com·6h
Deep Roots Meeting - 2025-08-12
youtube.com·1d
InterChart: Benchmarking Visual Reasoning Across Decomposed and Distributed Chart Information
arxiv.org·5d
Silicon Minds versus Human Hearts: The Wisdom of Crowds Beats the Wisdom of AI in Emotion Recognition
arxiv.org·4d
Loading...Loading more...