Zhemal Khamidun
Head of AI at Alpina Digital, CPO of AlpinaGPT (~30-person engineering & AI team). Founder of Vibe Academy & Hamidun Consulting, author of the AI channel «Готовим ИИшницу» (@jemal_hamidun).
Claude Proves Safety of 123 Libraries at the RISC-V Machine-Code Level
Anthropic and Theorem used Claude to formally verify 239 entry points across 123 open-source libraries: about 180M lines of proofs, plus bugs that fuzzing missed.
WeChat Open-Sources WeVisOne-VL: Detection, Masks and Matting in a Single VLM
WeChat has open-sourced WeVisOne-VL, a single VLM that finds objects, counts them, reads text and builds masks with alpha mattes. It claims top results on 30+…
Anthropic opens a call for life sciences researchers: 8–12 weeks with Claude, free of charge
Anthropic invites labs to joint biology and drug discovery projects: 8–12 weeks with the company's researchers, compute paid by Anthropic, data stays with the…
Echo Teaches VLA Robots to Recognize Success and Failure Inside Their Own Actions
HiSTEVE 1.0 Plays Minecraft With a Mouse and Keyboard: 85.0% on MineStudio Bench
Dual Exam: GPT 6 Astra Scores 31.3 Among Multimodal Agents
DISC Learns to Combine Time-Series Similarity Metrics and Predict Transfer Success
MMVistaReason: Open Recipe Trains a 4B Model That Beats Qwen3.5-9B on 15 Benchmarks
The MMVistaReason authors released an open post-training recipe: MVR-4B scored 72.8 across 15 multimodal benchmarks, beating Qwen3.5-9B (Instruct).
Survey by Shengqiong Wu and Hao Fei: 600+ Papers on Video Models as World Models
A team including Shuicheng Yan, Ming-Hsuan Yang and Philip Torr unifies video understanding and generation in one framework and reviews more than 600 papers across…
FocusVLA Teaches a Robot to Pick a Camera Based on Task Stage: +13.3 pp in Real-World Tests
UCLA Team Pushes the Speed–Quality Frontier in Speculative Diffusion With Two Knobs
PaperFormalizer Turns LaTeX Papers into Verified Lean Code, with the Author in the Loop
NVIDIA open-sources Flora: robot data labeling 125 times cheaper than GPT-6 Astra
A 17-million-parameter encoder picks the right tool in 14ms on CPU
Tardelli Stekel has released six open encoders ranging from 17M to 1B parameters for closed-set selection. The 68M and 150M models beat the 435M DeBERTa-v3 by 4.9…
System Prompt Ablation: How I Shrank My Claude Code Config from 19,736 to 3,585 Lines Without Losing Quality
When you move to a new generation of models, old rules baked into the system prompt turn into a wasteful context tax and keep the agent from thinking for itself.