Feed aggregator

India Open Network for Digital Commerce

Hacker News - Sat, 02/21/2026 - 3:48pm

Article URL: https://www.ondc.org/

Comments URL: https://news.ycombinator.com/item?id=47104591

Points: 1

# Comments: 0

Categories: Hacker News

Why optimizing AUC may be insufficient for clinical deterioration systems

Hacker News - Sat, 02/21/2026 - 3:45pm

Medical ML research and competitions often optimize ROC-AUC as the primary performance metric.

However, in real hospital environments, the central question is not classification accuracy — it is escalation timing.

In deterioration detection systems: • A noisy alert creates alarm fatigue. • A late alert costs lives. • A static classifier may fail to reflect dynamic physiology.

I’ve been exploring a framework that introduces: • Dual-threshold activation (high/low) • Temporal stability validation • False-alarm suppression logic • Governed escalation timing

The aim is to shift from probability scoring toward structured decision triggering.

I’m curious how others here would approach modeling escalation timing in a clinically responsible way.

Would love perspectives from ML engineers and clinicians.

Comments URL: https://news.ycombinator.com/item?id=47104548

Points: 1

# Comments: 0

Categories: Hacker News

Visualize Your Turborepo Workspace

Hacker News - Sat, 02/21/2026 - 3:42pm

Article URL: https://turbograph.dev/

Comments URL: https://news.ycombinator.com/item?id=47104522

Points: 1

# Comments: 0

Categories: Hacker News

Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap

Hacker News - Sat, 02/21/2026 - 3:40pm

Hi HN, I'm an independent researcher. Over the last several months, I worked alongside a neuro-symbolic AI daemon to formally verify the Clay Millennium Prize "Yang-Mills Mass Gap" problem directly in the Coq theorem prover.

We mapped the finite lattice topology entirely to the ℝ⁴ continuum by reconstructing the 5 Osterwalder-Schrader axioms, isolating the Millennium formulation into exactly 657 sequential Qed proofs.

We aggressively removed every single heuristic Admitted gap from the main topology. The entire framework now rests on exactly 4 standard textbook axioms (e.g., finite-dimensional Perron-Frobenius theorem, standard statistical mechanics).

The repository contains the raw coqc logic. The formally timestamped preprint is on Zenodo (DOI: 10.5281/zenodo.18726858).

I decided to open-source the kernel execution rather than fight arXiv gatekeepers. Happy to answer any questions about theorem proving, the physics, or the AI methodology.

Comments URL: https://news.ycombinator.com/item?id=47104504

Points: 1

# Comments: 0

Categories: Hacker News

ClipSafe

Hacker News - Sat, 02/21/2026 - 3:37pm

Article URL: https://clipsafe.app/blog/rss.xml

Comments URL: https://news.ycombinator.com/item?id=47104457

Points: 1

# Comments: 1

Categories: Hacker News

Show HN: Here.now – Web Hosting for Agents

Hacker News - Sat, 02/21/2026 - 3:37pm

Article URL: https://here.now/

Comments URL: https://news.ycombinator.com/item?id=47104451

Points: 1

# Comments: 1

Categories: Hacker News

When a Platform Stops Saying "Automation" and Starts Saying "LLM"

Hacker News - Sat, 02/21/2026 - 3:36pm

Enforcement Risk Dossier | PlatformPolicy Risk Brief

… On January 20, 2026, eBay did not launch a feature. It revised a clause that governs access. Previous language prohibited “automated means.” Updated language (binding February 20, 2026) explicitly names: “buy-for-me agents, LLM-driven bots, or any end-to-end flow that attempts to place orders without human review…” That parenthetical is the structural shift. AI agents moved from implied coverage to explicit contractual identity. What was once broad and interpretive became specific and enforceable. When categories are named, interpretive space narrows. Narrower interpretation reduces enforcement latency. Reduced latency expands unilateral control over the access layer. … From Technical Signal to Contractual Codification December 2025: eBay robots.txt prohibited the same AI categories. Bots from named AI companies were restricted; selected integrations retained access.

Sequence: Technical constraint -> Named AI blocking -> Contractual embedding. In parallel, Amazon escalated against Perplexity’s Comet AI agent (cease-and-desist October 31; federal complaint November 4, 2025). Technical signals precede legal escalation; legal escalation precedes contractual hardening; contractual hardening precedes enforceable restriction. Specification replaces ambiguity and creates executable breach conditions. … Why Naming Changes Power Generic bans require interpretation. Explicit AI constructs reduce legal and computational uncertainty.

Explicit categorization enables: deterministic breach classification automated detection at scale faster enforcement stronger arbitration posture Machine-readable prohibition lowers cost and increases enforcement velocity. Velocity of classification becomes velocity of revenue impact. … Structural Dependency Asymmetry (SDA) The same update broadened arbitration and class waivers. Continued use constitutes binding acceptance. Substantive authority consolidated. Procedural leverage narrowed.

Structural Dependency Asymmetry: a regime where access rules may be modified unilaterally while dependent revenue remains revocable and dispute channels fragment. Under SDA, control over the access layer becomes the underwriting variable. Identical revenue lines trade at different multiples depending on who controls definitional authority. … Capital Implication For RAG pipelines, automated pricing engines, and agentic checkout flows, revenue becomes contract-contingent. Contract-contingent revenue carries structural variance. Higher variance increases discount rates and compresses valuation multiples.

Interpretation risk becomes pricing risk. … Conclusion This is not a minor automation policy revision. It is the codification of AI agency inside enforceable contract language.

What changed is the specification of agency. What it means is the repricing of dependency.

Comments URL: https://news.ycombinator.com/item?id=47104444

Points: 1

# Comments: 0

Categories: Hacker News

Ask HN: How do you test your MyBatis dynamic SQL queries?

Hacker News - Sat, 02/21/2026 - 2:52pm

(Full Disclosure: I am developing this plugin and drafting this post with the assistance of AI agents. It’s been an eye-opening experiment in how AI can help "scratch an itch" faster than ever.)

I’m currently working on a project using MyBatis, and one of the biggest friction points for me is verifying dynamic SQL. Whenever I have a complex query with , , or OGNL expressions, the feedback loop is painfully slow.

My current "workflow" (which I find incredibly tedious) is: 1. Copy the raw SQL from the XML mapper. 2. Manually scrub the XML tags like and . 3. Replace all #{param} placeholders with actual values, one by one. (or :param) 4. Finally, paste the cleaned-up SQL into the IDE’s database console to see if it even runs.

I was surprised to find that, despite many MyBatis plugins existing, none of them seem to offer a "direct execution with parameters" feature within the IDE. I expected this to be a standard feature by now, but it feels like we’re still stuck with manual labor for query verification.

To solve this, I’m building an IntelliJ plugin () that: - Automatically detects parameters in your SQL (XML or Annotations). - Prompts for values and evaluates all dynamic tags/OGNL on the fly. - Executes the final native SQL directly via the IDE’s built-in database tools.

I’m curious to hear from the HN community: 1. If I were to release a tool like this, would it be something you’d actually find useful in your daily work? I'm trying to gauge if others share this specific frustration. 2. How do you currently verify your complex MyBatis queries before they hit production? 3. Are there any specific edge cases or reasons why you think this kind of "direct execution" hasn't been widely implemented yet?

I'm eager to hear your thoughts and suggestions. Many thanks for your feedback!

Comments URL: https://news.ycombinator.com/item?id=47104032

Points: 1

# Comments: 0

Categories: Hacker News

Show HN: AI Agent for SEO

Hacker News - Sat, 02/21/2026 - 2:52pm

Article URL: https://usefox.ai/

Comments URL: https://news.ycombinator.com/item?id=47104023

Points: 1

# Comments: 0

Categories: Hacker News

Pages