vladgrigorian's Feed · Scour

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·16h

You can (and should) run a tiny LLM on your Android phone

makeuseof.com·23h

Sign up or login to customize your feed and get personalized topic recommendations

Making AI Work, MIT Technology Review’s new AI newsletter, is here

technologyreview.com·23h

Show HN: I made a Claude Code guide that's a Win95 desktop with games

gabezen.com·10h·

Discuss: Hacker News

[程序员] Claude Code Agent Teams 原理机制深度解析

v2ex.com·1d

Read The Code (Sometimes)

build.ms·23h

Google Cloud AI Agents with Gemini 3: Building Multi-Agent Systems That Actually Work

dev.to·10h·

Discuss: DEV

AI Boom Could Add Nearly a Million Tons of CO₂ Annually, Researchers Warn

scitechdaily.com·1d

My AI Adoption Journey

lobste.rs·4d·

Discuss: Lobsters

Three visions for diffuse control

lesswrong.com·1d

5 AI Coding Patterns That Actually Work (2026 Edition)

dev.to·1d·

Discuss: DEV

I Talk to Claude More Than Humans (and What That Taught Me)

paraz.in·21h·

Discuss: Hacker News

Cochain Perspectives on Temporal-Difference Signals for Learning Beyond Markov Dynamics

arxiv.org·1d

Sequential versus Manifold Bayesian Optimization under Realistic Experimental Time Constraints

arxiv.org·6h

The Illusion of AGI, or What Language Models Can Do Without Thought

techpolicy.press·20h

Let Lambda Come Over

yamlscript.org·3d

Geometrically Allocated Ads in AI Conversations

june.kim·9h·

Discuss: Hacker News

Differential Logic • 4

inquiryintoinquiry.com·1d

From AI investment to GDP growth: An ecosystem view

cepr.org·1d

Rules of mysterious ancient Roman board game decoded by AI

scientificamerican.com

·1h

Loading more...