Install
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
Modern GLSL Shader Development in Zed & VS Code: Zero Setup, Real-Time Diagnostics
30+ min ago (171+ words) Writing GLSL shaders often feels like stepping ten years back in time compared to modern web or... Tagged with gamedev, shader, glsl, vulkan....
AMD Local LLM Setup on Windows/Linux: ROCm Overrides & Vulkan vs. HIP Benchmarking
47+ min ago (117+ words) The Problem with Local AI on AMD Hardware Running models locally with tools like Ollama or LM Studio on AMD GPUs often leads to two roadblocks: Uncertainty over whether to run Vulkan backends or ROCm/HIP backends for maximum tokens…...
My PR got merged into the Harvard CS249r ML Systems book 🎉
1+ hour, 4+ min ago (184+ words) PR #1962 — feat(staffml): add recent-papers section to About page Repo: harvard-edge/cs249r_book — 28.4k ⭐, the open-source textbook for Harvard CS249r covering ML Systems, Agentic AI, and Physical AI. What I did: Spotted issue #1792 (StaffML improvement suggestions) Scoped my work to just the recent-papers section…...
USAspending API, No API Key: Federal Contract Awards
1+ hour, 37+ min ago (658+ words) USAspending.gov publishes federal award data through a public REST API that requires no authentication. There is no signup, no key header, no quota form. You POST JSON, you get JSON. Exactly one filter is required: filters.award_type_codes. Omit it and…...
Types of Context Rot in Harness Engineering
2+ hour, 44+ min ago (1353+ words) That set of degradations has a name: context rot. And it's not one problem. It's five distinct failure modes that combine, compound, and get worse the more you naively pile things into a bigger and bigger context window. By the…...
Your RAG Pipeline Can Be Fast and Still Be Wrong: A Developer's Guide to Embedding Evaluation
3+ hour, 54+ min ago (1309+ words) Hello, I'm Shrijith Venkatramana, and I'm building LiveReview — a blast-radius aware AI code review... Tagged with ai, webdev, programming, productivity....
TypeSafe AI Releases Jev: A System One Model That Returns Typed, Calibrated Decisions Instead of Text
3+ hour, 55+ min ago (400+ words) The ChatGPT moment in 2022 taught AI to talk to people. One of its builders now bets the next moment is AI that talks to software, not people. TypeSafe AI released Jev. Jev is transformer-based, but it is not a large…...
Your agent waits a full second to send the number 3
4+ hour, 15+ min ago (731+ words) Half the steps in an agent loop produce no text at all. I routed those to a judgment model instead of an LLM, measured it against a properly configured baseline, and published the parts where it loses. Tagged with ai,…...
Poisoning the Context: Securing RAG Pipelines Against Knowledge Injection Attacks
4+ hour, 31+ min ago (289+ words) This article dissects the mechanics of these attacks, explains why standard RAG implementations are inherently fragile, and provides a comprehensive engineering guide to building secure, resilient RAG pipelines. To secure a system, one must first understand the attack surface. In…...
How I Built a 150 GB Multilingual & Code Dataset for Central Asian AI (And Fought Out-of-Memory Errors for 10 Hours)
4+ hour, 38+ min ago (326+ words) Hi Dev.to! While tech giants are competing to train LLMs on trillions of English tokens, there is a severe shortage of high-quality open-source datasets for Central Asian languages (Kyrgyz, Kazakh, Uzbek, Tajik). Technical corpora for these regions are scarce,…...