Making Sense of Proof by Contradiction [pdf]

Muse Glimmer: 30B-parameter model optimized for always-on local agent workflows

Mistral Patent for “Code implemented tool calls”

Kinney Drugs pulls back AI phone assistant after hundreds of customer complaints

Show HN: Needle2: 14MB agentic LLM for phones, wearables, smart home and robots

Study links GLP-1 drugs to bigger jump in women's employment than a degree