Search math sites and archives
Notation-aware ranking
The Web search focuses on indexing math-specific sites: journals, preprint servers, course pages, lecture notes, blogs, and repositories. Queries that include formulas, notation, or theorem names are parsed to match technical content precisely. Use advanced filters to limit by publication type, author, or year.
Latest Web Pages
I shipped an LLM efficiency + security kernel — and deleted my own best idea
34+ min ago (325+ words) Six months ago I set out to make LLMs "smarter" by orchestrating many of them together. I measured it. It didn't work. Here's what I shipped instead — and why the failure is the part I'm proudest of. The plan was…...
GPT-5.6 Sol Ultra tackles major math problems as opportunistic meme token launches on Solana
39+ min ago (357+ words) OpenAI's newest model is solving longstanding mathematical conjectures while a namesake token struggles with near-zero liquidity OpenAI’s GPT-5.6 Sol Ultra is having quite the first week. The model, which launched on July 9 as part of the broader GPT-5.6 family, has…...
Verifying How IAM and Lake Formation Behave for the Glue REST Catalog and S3 Tables
43+ min ago (900+ words) I'm Aki, an AWS Community Builder (@jitepengin). In my previous article, I hit the Iceberg REST Catalog directly and confirmed the design differences between the Glue endpoint and the S3 Tables endpoint. In that article I wrote that "accessing through the…...
Capturing, Streaming, Storing, and Visualizing Crypto Market Data in Real Time with PostgreSQL, Debezium, Kafka, JDBC & Grafana
1+ hour, 2+ min ago (312+ words) In the fast-moving world of cryptocurrency, market data changes every second — prices fluctuate, trades execute, and volumes shift continuously. Capturing this stream of real-time data and transforming it into meaningful insights requires a robust and scalable pipeline. In this project,…...
Samsung Health Will Delete Your Data If You Refuse AI Training Consent
1+ hour, 4+ min ago (474+ words) Declining Samsung’s mid-2026 AI training prompt triggers permanent cloud deletion of sleep, medication, and medical records The consent notice covers some of the most sensitive data on your phone — and declining it has real consequences for your cloud records. Here’s…...
Q&A: How brands should measure AI’s real impact after checkout
1+ hour, 47+ min ago (976+ words) Growing list of countries move to ban social media for children OpenAI number two Simo steps down to focus on health Remembering Shaun Guthrie, a CIO leader and friend to many EU, UK hit Russia with joint sanctions over cyber…...
Bootcamp Grad Explores Open-Source AI APIs: What I Learned
2+ hour, 13+ min ago (871+ words) Here's the thing: bootcamp Grad Explores Open-Source AI APIs: What I Learned I was complaining to my friend (a senior engineer) about how expensive it was going to be to call GPT-4o for my project. I was doing napkin math…...
Arthur Bahr named head of MIT’s Literature Section
2+ hour, 22+ min ago (319+ words) Professor Arthur Bahr has been named head of the MIT Literature Section, effective July 1. “Arthur is an exceptional scholar and a proven leader. I am confident that he will guide the unit with judgment, insight, and a deep commitment to…...
Finding the Right Local LLM Doesn't Have to Take Hours
2+ hour, 30+ min ago (121+ words) Hello, I'm Rijul. I'm building git-lrc, a micro AI code reviewer that runs on every commit. It's free... Tagged with tools, productivity, llms....
PVM:Give any LLM long-term memory.No API keys,no GPU,~800 lines Python.
2+ hour, 54+ min ago (578+ words) Every LLM you've ever used is an amnesiac. The industry's answer has been RAG — retrieve relevant context, stuff it into the prompt, hope the model figures it out. It mostly works for simple Q&A. It falls apart when information changes....