The Mathematics Search Engine
Mathematics News & Resources
4Mathematics is a specialist search engine for Mathematics. Discover the latest math news and mathematical content. Part of the 4SEARCH network of topic specific search engines.
Latest Articles
Docker 101: What it is and why it’s important
2+ day, 22+ hour ago (220+ words) Docker is a hot topic this week. If you’re unfamiliar with what this technology is or what it means for your business, here’s a guide. Why all the hype? +MORE AT NETWORK WORLD: + Where did containers come from? + MORE FROM…...
What are containers and why do you need them?
2+ week, 2+ day ago (1223+ words) Docker exploded onto the scene in 2013, and it’s been causing excitement in IT circles ever since. The application container technology provided by Docker promises to change the way that IT operations are carried out just as virtualization technology did a…...
The Hybrid Agent: A Retrospective
17+ min ago (567+ words) Every series earns its final paragraph. This one earned a full article. The question I started with was: MCP or CLI — which is cheaper? The answer, after 10 sources, 6 MCP servers, a CLI bridge, a container stack, four layers of wrong…...
Llamafile vs vLLM: Two Ways to Serve a Local Model, and When Each Makes Sense
20+ min ago (325+ words) I spent last weekend comparing two ways to serve a local model: Llamafile and the more traditional vLLM + Docker setup I've been running for months. Same model (Qwen2.5-7B-Instruct), same hardware (a single RTX 4090), same test queries. The gap between them…...
FutureX · Physical AI Daily — Issue 57 (07/14)
13+ min ago (889+ words) · China Mobile procures 400 humanoid robots for 124 million yuan, with Zhiyuan (Chinese humanoid robotics startup) getting 78 million and Unitree getting 46.05 million · Galbot (Chinese embodied AI startup) wins 236 million yuan bid for Yibin high-speed rail station, 500 robots setting a single-procurement record · ByteDance…...
Mathematicians still don’t know the fastest way to multiply numbers
1+ hour, 58+ min ago (321+ words) A 23-year-old student overturned an ancient conjecture about one of math’s simplest operations By Jack Murtagh edited by Jeanna Bryner In this simple example, let’s calculate 12 × 34. First, we split both numbers into their tens and ones digits. Assign a = 1 and…...
Test a Pocket AI Device Across Battery, Offline, and Permission Loss
41+ min ago (164+ words) Pocket computers and first-PCB build stories are attracting attention today. For an AI-enabled edge device, a demo while plugged into Wi-Fi proves very little. Define a test envelope before comparing models: For every combination that represents a real user journey,…...
Linear Probes add little for Verifiable Reward Hacking — LessWrong
49+ min ago (816+ words) Summary * Tested whether linear probes can detect reward hacking early during GRPO training on a small model. * Used a synthetic arithmetic task wi…...
PromptLedger v0.7 — Turning prompt evaluation into local regression gates
42+ min ago (659+ words) PromptLedger v0.7 is out. The previous release made prompt history easier to inspect. This release makes prompt changes easier to evaluate. Until now, PromptLedger could answer questions such as: But one important question was still missing: Did the new prompt actually…...
What I learned trying to revoke an AI agent mid-task
57+ min ago (246+ words) An agent is running, making tool calls, and something's wrong — bad prompt, gone off the rails. You need to stop just that one. Right now. What do you do? Rotate the API key? It's shared, so you break every other…...