Brief

A participant in Jane Street's LLM backdoor challenge shared their experience attempting to uncover hidden triggers in fine-tuned models. Initially, prompting strategies proved unsuccessful in revealing the backdoors. The challenge involved both a smaller, locally runnable Qwen2.5-7B-Instruct model and larger DeepSeek-V3 Mixture-of-Experts models accessed via API, with the latter proving particularly difficult to analyze. AI

Chinese AI firm DeepSeek has hired Cui Tianyi, a former engineer from Jane Street, to bolster its AI agent development team. This move signals DeepSeek's focus on creating "harnesses," which are crucial software infrastructures for transforming AI models into autonomous agents. The recruitment highlights the intensifying competition in the AI agent space, with companies like Anthropic already seeing significant revenue growth from similar technologies. AI

The opam repository functions as the central package registry for OCaml, managing over 4,500 packages and processing approximately 200 submissions monthly. It operates as a curated Git repository, storing package metadata in opam files that link to external source code repositories. A robust continuous integration system, powered by OCurrent, validates metadata, tests compilation across multiple OCaml versions and platforms, and checks for reverse dependency issues to ensure package quality. AI