iFeeling Daily
Daily curated AI insights you can't miss.
OpenAI Partner Network: $150M to Drive Enterprise AI Adoption
If you're building enterprise AI solutions, this post shows OpenAI's strategy to overcome the adoption bottleneck through a formal partner ecosystem with tiered specializations and a $150M investment — a clear signal that deployment and change management are now the critical frontier.
Olmo-eval: An Evaluation Workbench for LLM Development Loops
If you've ever wondered whether a 2.4pp change in your LLM's eval score is real improvement or noise, olmo-eval gives you the per-question pairwise comparison and minimum detectable effect to answer that. It's built for the iterative development loop, not just final scoring.
ShinyHunters Zero-Day Oracle PeopleSoft Campaign
Mandiant's detailed breakdown of ShinyHunters' zero-day exploit against Oracle PeopleSoft reveals how attackers used MeshCentral agents and SSH credential spraying to breach educational institutions. Immediate endpoint blocking and log auditing are critical defenses.
Profiling in PyTorch (Part 2): From nn.Linear to a Fused MLP
The article traces the journey from a single nn.Linear to a fused MLP, showing that torch.compile fuses GeLU and multiplication into one Triton kernel while leaving the three cuBLAS GEMMs untouched. It then introduces hand-tuned Liger kernels that achieve the same fusion without compile latency or shape specialization, trading a few microseconds of peak performance for robustness across changing input sizes.
Scaling Past Informal AI: Formal Verification as the Path to Math AGI
Carina Hong argues that reaching math AGI requires formal verification in the training loop, not just bigger models. Axiom Math's system scored a perfect 120/120 on the 2024 Putnam exam using Lean-verified proofs as RL reward signals. The big insight: verification is a scaling property, not a bug fix.
FFmpeg and VLC: The Open-Source Backbone of Internet Video
Lex Fridman sits down with Jean-Baptiste Kempf (VLC lead) and Kieran Kunhya (FFmpeg contributor) to discuss the mechanics of video playback, the history of FFmpeg, and the ethical and technical challenges of keeping video software open-source and ad-free.
The Substitution Wave in AI
The Substitution Wave in AI explains how rising frontier model prices and the rise of good-enough open-source models are forcing AI buyers to substitute cheaper alternatives, with concrete examples from Coinbase, Lindy, Harvey, and Cursor showing cost savings of 10x or more without sacrificing performance.
Expanding Project Glasswing
Project Glasswing has expanded from 50 to 200 partners using Claude Mythos Preview to scan codebases, finding over 10,000 critical vulnerabilities. With Mythos-class models expected from many AI companies within 6-12 months, the bottleneck is shifting from finding flaws to patching them at massive scale.
Spanner Graph Algorithms: Native Graph Mining at Scale in Google Cloud
Spanner Graph algorithms bring Google Research's graph mining directly into the database, enabling centrality, community detection, and path finding on billion-edge graphs without ETL pipelines. Ideal for fraud detection, entity resolution, and network analysis.