vladgrigorian's Feed · Scour

Chain.io Launches AI Checks: Stop Hunting for Problems in Shipment Spreadsheets

prnewswire.com·5h

Main Content || Math ∩ Programming

jeremykun.com·20h

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

v2ex.com·1d

Why Learning Elixir (and programming) Still Matters in the AI Era

dev.to·3h·

Discuss: DEV

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·13m

Compressing LLMs with MoP: Mixture of Pruners

arxiv.org·14h

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

technologyreview.com·7h

Why No Single AI Should Ever Decide Alone

dev.to·1h·

Discuss: DEV

Three AI engines walk into a bar in single file...

theregister.com·1d

PackInfer: Compute- and I/O-Efficient Attention for Batched LLM Inference

arxiv.org·14h

Concurrent vs. Parallel Execution in LLM API Calls: From an AI Engineer’s Perspective

pub.towardsai.net·13h

AI Agents Are Stuck in the Terminal

pub.towardsai.net

·6h

Let Lambda Come Over

yamlscript.org·2d

AI Agents as Accountability Partners: Configurable Nudging for Your Goals

blog.turtleand.com·23h·

Discuss: DEV

I tested Kimi k2.5 against Opus. I was hopeful and Kimi didn’t let me down

composio.dev·5h·

Discuss: r/LocalLLaMA

Scientists reveal the alien logic of AI: hyper-rational but stumped by simple concepts

psypost.org·1d

Show HN: Codesession-CLI – Teach your AI agent to track its own token costs

news.ycombinator.com·6h·

Discuss: Hacker News

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

Mathematicians launch First Proof, a first-of-its-kind math exam for AI

scientificamerican.com

·2h

Unlocking Knowledge with AI

zappable.com·19h

My AI Adoption Journey

lobste.rs·3d·

Discuss: Lobsters

Loading more...