Submissions by pajop

Practice your Lean 4 in gamified fashion

Extend your agent with 2,707 capabilities via Model Context Protocol servers

Google Whitepaper on Agents

Behind Genius Ventures: Our Approach to Investing in Multimodal AI

One Minute Park: Visit Parks One Minute at a Time

StoryCraft Mobile Multiverse with Real and AI Friends

Unbounded: A Generative Infinite Game of Character Life Simulation

Piramidal's Foundation Model for Brain Waves Can Supercharge EEGs

AI Grant with $250K uncapped SAFE deadline August 9

There is still only one "hypothesis" test

Compare 75 AI Models on 200 Prompts Side by Side

What do you have "unreasonably" high standards for?

Transformer by hand 5-min tutorial by Anna Rahn

MuMath-Code on ArXiv

Gen AI: Too much spend, too little benefit [pdf]

Studying Bias in GANs Through the Lens of Race

Is there no way to just post an index.html page somewhere for free?

Mini-Canvas-Editor Example

Jennifer Hochschild walks back on comments about Harvard Extension School