Feed aggregator
India Open Network for Digital Commerce
Article URL: https://www.ondc.org/
Comments URL: https://news.ycombinator.com/item?id=47104591
Points: 1
# Comments: 0
Grove: Detect worktree conflicts at write time to scale parallel agents
Article URL: https://github.com/NathanDrake2406/grove
Comments URL: https://news.ycombinator.com/item?id=47104557
Points: 1
# Comments: 1
Why optimizing AUC may be insufficient for clinical deterioration systems
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
Fury over Discord's age checks explodes after shady Persona test in UK
Visualize Your Turborepo Workspace
Article URL: https://turbograph.dev/
Comments URL: https://news.ycombinator.com/item?id=47104522
Points: 1
# Comments: 0
Shai-Hulud-Style NPM Worm Hijacks CI Workflows and Poisons AI Toolchains
Article URL: https://socket.dev/blog/sandworm-mode-npm-worm-ai-toolchain-poisoning
Comments URL: https://news.ycombinator.com/item?id=47104510
Points: 2
# Comments: 0
Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap
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
Trump says he'll raise tariffs to 15 percent after Supreme Court ruling
Article URL: https://apnews.com/article/trump-tariff-truth-social-872c8f04112a8991d8aa6ae5005767b6
Comments URL: https://news.ycombinator.com/item?id=47104479
Points: 4
# Comments: 3
Apple's Ferret AI model is a step towards Siri seeing and controlling apps
ClipSafe
Article URL: https://clipsafe.app/blog/rss.xml
Comments URL: https://news.ycombinator.com/item?id=47104457
Points: 1
# Comments: 1
Show HN: Here.now – Web Hosting for Agents
Article URL: https://here.now/
Comments URL: https://news.ycombinator.com/item?id=47104451
Points: 1
# Comments: 1
When a Platform Stops Saying "Automation" and Starts Saying "LLM"
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
Ask HN: How do you test your MyBatis dynamic SQL queries?
(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
Show HN: AI Agent for SEO
Article URL: https://usefox.ai/
Comments URL: https://news.ycombinator.com/item?id=47104023
Points: 1
# Comments: 0
Toggle: A simple and keyboard friendly graphics drawing tool
Article URL: https://github.com/Protyasha-Roy/toggle
Comments URL: https://news.ycombinator.com/item?id=47104019
Points: 1
# Comments: 1
Tracing Chinese Immigration Through Food (2023)
Article URL: https://sundaylongread.com/2023/11/17/chasing-chop-suey-tracing-chinese-immigration-through-food/
Comments URL: https://news.ycombinator.com/item?id=47103954
Points: 4
# Comments: 0
Inputlag.science – Repository of knowledge about input lag in gaming
Article URL: https://inputlag.science
Comments URL: https://news.ycombinator.com/item?id=47103945
Points: 3
# Comments: 0
I quit my job to run EpsteinExposed.com full time
Article URL: https://old.reddit.com/r/Epstein/comments/1ra6yw0/i_quit_my_job_to_run_epsteinexposedcom_full_time/
Comments URL: https://news.ycombinator.com/item?id=47103939
Points: 2
# Comments: 1
Parse, Don't Validate and Type-Driven Design in Rust
Article URL: https://www.harudagondi.space/blog/parse-dont-validate-and-type-driven-design-in-rust/
Comments URL: https://news.ycombinator.com/item?id=47103931
Points: 3
# Comments: 0
