Posts

Combinators Revisited • Edward Kmett • YOW! 2018

Combinators Revisited • Edward Kmett • YOW! 2018

Edward Kmett revisits the historical approach of compiling lambda calculus to a fixed set of combinators, arguing for its renewed relevance. He contrasts it with modern super-combinator techniques (like GHC's G-machine), highlighting the latter's vulnerability to Spectre attacks. Kmett proposes that a combinator-based evaluation model, combined with SPMD on SIMD execution, offers a secure, highly-parallel alternative that could rival the performance of current systems while providing a unified foundation for advanced compiler features.

AI Agents for Cybersecurity: Enhancing Automation & Threat Detection

AI Agents for Cybersecurity: Enhancing Automation & Threat Detection

An exploration of how LLM-powered AI agents are transforming cybersecurity by moving beyond traditional static rules to provide dynamic, adaptive security operations. The summary covers key applications in threat detection and incident response, while also addressing critical risks like hallucinations and adversarial manipulation, emphasizing a "human-in-the-loop" approach.

#define AI Engineer - Greg Brockman, OpenAI (ft. Jensen Huang, NVIDIA)

#define AI Engineer - Greg Brockman, OpenAI (ft. Jensen Huang, NVIDIA)

Greg Brockman discusses his journey from a math enthusiast to a programmer, his early days scaling Stripe, and the core philosophies that drive OpenAI. He covers the critical partnership between research and engineering, the future of coding with agentic systems, and the immense infrastructure and algorithmic challenges on the path to AGI.

Designing AI-Intensive Applications - swyx

Designing AI-Intensive Applications - swyx

The field of AI Engineering is evolving from simple 1:1 applications to complex, AI-intensive systems with high LLM-call ratios. This talk explores the search for a 'Standard Model' for AI engineering, analogous to MVC or ETL in traditional software, proposing several candidates including LLM OS, LLM SDLC, and a new SPADE (Sync, Plan, Analyze, Deliver, Evaluate) model for building robust applications.

The Truth About LLM Training

The Truth About LLM Training

Paul van der Boor and Zulkuf Genc from Prosus discuss the practical realities of deploying AI agents in production. They cover their in-house evaluation framework, strategies for navigating the GPU market, the importance of fine-tuning over building from scratch, and how they use AI to analyze usage patterns in a privacy-preserving manner.

OpenAI dropped GPT-5, is AGI here?

OpenAI dropped GPT-5, is AGI here?

In this analysis, experts Bryan Casey, Mihai Criveti, and Chris Hay dissect the OpenAI GPT-5 release, comparing its capabilities against Anthropic's Claude Opus 4.1. While GPT-5 introduces significant improvements in accessibility, agentic capabilities, and reliability, the consensus is that it does not yet dethrone Claude as the daily driver for developers due to key differences in user experience and workflow management.