Terence Tao argues mathematics deserves recognition beyond formal proofs

·9 views

Renowned mathematician Terence Tao published a blog post on September 18, 2026, contending that mathematical culture places too much emphasis on formal proof as the sole measure of achievement. He argues that other aspects of mathematical work — such as developing intuition, forming conjectures, and building conceptual frameworks — deserve greater recognition. Tao suggests the community should find better ways to celebrate these contributions alongside rigorous proof. The post sparked discussion on Hacker News, drawing attention to how mathematical progress is valued and communicated publicly.

Read the full story at Hacker News

This is an AI-generated summary. ShortSingh links to the original source for the complete article.

Discussion (0)

Developer Builds Hybrid RAG System Merging Neo4j Graph Database with Vector Search

A developer has built a hybrid Retrieval-Augmented Generation (RAG) system that combines Neo4j's graph database with vector memory tools ChromaDB and FAISS, orchestrated via LangChain. The system addresses a core limitation of standard vector-only RAG setups, which struggle with multi-hop reasoning tasks that require linking related entities across multiple information layers. The architecture works in two stages: vector search first narrows down semantically relevant chunks, then graph traversal resolves structured relationships between those entities. Key design choices included extracting entities before storage, capping graph traversal depth at one to two hops, and applying token budgeting to keep LLM context focused. The approach reportedly improved answer accuracy for complex, relationship-dependent queries that pure vector search either answered incompletely or resolved through hallucination.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Developer builds tested Uniface 10 calculator with 69 automated test cases

A developer using Rocket Uniface 10 Community Edition created a fully functional calculator application to demonstrate clean architecture, input validation, and automated testing within the rarely documented Uniface IDE. The project comprises three components: a form (CALC_FRM) for user input and display, a service (CALC_SVC) handling roughly 25 mathematical operations, and a dedicated test service (CALC_TEST_SVC) running 69 test cases. A key design decision was to keep all calculation logic inside the service layer rather than the form, making the business logic independently testable. Each operation follows a consistent convention of returning 0 on success or -1 on failure, with a readable error message passed back to the caller. The entire project was built using the free Community Edition of Uniface 10.4, allowing others to replicate it at no cost.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

How to Point the Official Sentry SDK at a Self-Hosted Ingest Using DSN Only

Developers can connect the official Sentry SDK — either @sentry/browser or @sentry/node — to a self-hosted ingest server by changing only the DSN, without forking the SDK. The setup requires just two Docker containers, running the app and Postgres 16, cloned from the public epure repository via docker compose up. A successful configuration is confirmed when a GET request to the /health endpoint returns HTTP 200 with a status-ok body, and a captured exception triggers an HTTP 202 response from the ingest server. Unused features such as session replay, distributed tracing, and profiling should have their sample rates set to zero, as the self-hosted host is scoped to exception ingestion only. Once an exception is captured, developers can verify end-to-end wiring by checking the Issues dashboard for an unresolved error entry matching the configured environment.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

FastAPI 0.138–0.141 adds app.frontend() to fix silent SPA routing conflicts

FastAPI versions 0.138.0 through 0.141.1, released between June 20 and July 29 this year, introduced a new app.frontend() method to simplify serving single-page applications alongside API routes. Previously, developers had to either mount StaticFiles at '/' or write a manual catch-all route, both of which could silently intercept API calls if declared in the wrong order. The new method stores frontend routes internally as low-priority entries, ensuring they are only evaluated after all standard API routes have been checked, regardless of where app.frontend() appears in the code. It also inspects the HTTP Accept header before falling back to index.html, returning a proper 404 for non-browser requests to missing assets instead of silently serving the SPA shell. This makes SPA serving in FastAPI a routing guarantee rather than a convention dependent on file order.

0 comments Read more at DEV Community