nowfound

Life & fun · July 26, 2026

Reproducibility Benchmark a Risk Quantitative Model

FLUXARA-1 independent audit verification pack for peer review. Contains frozen engine outputs, replication scripts, and vBase blockchain temporal proofs (SR 11-7 / Basel IRB aligned). - Fluxara-GOD/fluxara1-audit-verification-pack

Reproducibility Benchmark a Risk Quantitative Model launched on July 26, 2026 with 12 votes, #1,321 of 24,623 launches that month and more than 90% of that year's launches.

Visit github.com ↗Alternativestop 5% of July 2026

In plain words

Reproducibility Benchmark a Risk Quantitative Model is a tool for testing and validating quantitative risk models. It helps researchers and quantitative analysts verify that their risk modeling code produces consistent, reproducible results. The tool benchmarks model outputs against standardized test cases to identify discrepancies and ensure reliability. It is designed for anyone working with financial risk quantification or research that requires reproducible computational results.

written from the facts on this page · September 2026

Does a similar job

all alternatives →
  • LLM StatsOct 2025 · llm-stats.com · ▲293

    I was overspending on GPT-4o. It was really hard to compare different models I could switch to, so I built this LLM comparison tool. It shows leaderboards, pricing, and performance data across 100+ LLMs (including all major providers and open-source models). Key features: - Live pricing comparisons - Benchmark Scores (MMLU, HumanEval, GPQA, etc.) - Context length vs cost analysis - Speed/throughput tests across providers - Quality vs price visualizations - Open source (all data verifiable) Try it out: https://llmstats.com I'd like to know your opinion :) Tech stack: Next.js,…

  • Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI codeJul 2026 · github.com · ▲115

    To my knowledge, this is the first formally verified implementation of a 3D constructive solid geometry (CSG) operation: mesh intersection, implemented in Lean 4 and verified against a concise specification that pins down the surface of the resulting mesh exactly and guarantees practical well-formedness conditions on the triangulation. This project is also an experiment in avoiding having to trust AI-generated code. A human reviewer only needs to read 93 lines of formal specification and run the Lean checker to certify the correctness of the kernel, skipping the intricate 1000+ lines of…

  • Cuq – Formal Verification of Rust GPU KernelsOct 2025 · github.com · ▲94

    A pipeline that translates Rust GPU code into formal Coq models, as a foundation for memory model proofs - neelsomani/vericuda

  • Open-source model and scorecard for measuring hallucinations in LLMs2023 · vectara.com · ▲65

    Hi all! This morning, we released a new Apache 2.0 licensed model on HuggingFace for detecting hallucinations in retrieval augmented generation (RAG) systems. What we've found is that even when given a "simple" instruction like "summarize the following news article," every LLM that's available hallucinates to some extent, making up details that never existed in the source article -- and some of them quite a bit. As a RAG provider and proponents of ethical AI, we want to see LLMs get better at this. We've published an open source model, a blog more thoroughly describing our methodology (and…

  • BV
    Benchmarking VLMs vs. Traditional OCR2025 · getomni.ai · ▲146

    Vision models have been gaining popularity as a replacement for traditional OCR. Especially with Gemini 2.0 becoming cost competitive with the cloud platforms. We've been continuously evaluating different models since we released the Zerox package last year (https://github.com/getomni-ai/zerox). And we wanted to put some numbers behind it. So we’re open sourcing our internal OCR benchmark + evaluation datasets. Full writeup + data explorer here: https://getomni.ai/ocr-benchmark Github: https://github.com/getomni-ai/benchmark Huggingface:…

  • Formal Verification for Machine Learning Models Using Lean 42025 · github.com · ▲52

    Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4. - fraware/leanverifier

More life & fun this month

the category →

Source: Show HN post ↗

Launched alongside, July 2026

the whole month →
  • IR
    I replaced a $120k bowling center system with $1,600 in ESP32s▲2,935

    I might be the only SRE on Earth with his own bowling center. It's a more in-depth gig than you'd think. My family and I bought an abandoned 8-lane bowling center in the rural mid-west. In our small town there weren't many recreation options for families. You've heard of a food desert? This is an R&R desert. It had been abandoned for a good reason. The roof leaks, the electrical system was constantly surging, and my 70-year-old bowling equipment (still) doesn't work perfectly. The system that keeps your score is particularly interesting to me. It's the thing you watch during your game, but…

    Life & fun · Jul 2026

  • Elevators▲1,680

    How elevators push your buttons

    Life & fun · Jul 2026 · john.fun

  • 18 Words▲1,160

    Play 18 Words, the free daily word puzzle. The official home is 18words.com. Tap Play now to open today

    Life & fun · Jul 2026 · 18words.com

  • BA
    Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)▲1,033

    Over the past few months, our team has been building more and more slidedecks using web frontend technologies with coding harnesses like Claude Code, but a common complaint is to make even small edits we need to edit the code either manually or via the harness. To avoid this loop, I ended up creating Bento, a single HTML file with everything you need in a slide tool including animations and shared editing. There's no install or cloud login, everything works offline. The default deck is around 560 KB and it doesn't need to fetch anything once you got it. Open it in a browser and then you can…

    Dev tools · Jul 2026 · bento.page

  • Getting GLM 5.2 running on my slow computer▲937

    A few days ago I found myself trying out GLM 5.2 and was really positively impressed. The capabilities and security I was getting from this LLM are similar to those I've gotten from models like Claude or GPT, and this really surprised me. But then I thought, "I wonder how it would work on a normal computer like mine," and above all, "I wonder if it would work without going into OOM on a computer like mine." So I started working with the help of agents to test this possibility. I started converting the model to int4, understanding MTP usage, and if possible implementing DSA for long context.…

    AI · Jul 2026 · github.com

  • OpenSEO▲928

    Hello! For the last 2 months, I've been building OpenSEO. It's a user friendly UI wrapping the DataForSEO API which has high quality SEO data for keywords, backlinks, AI SEO and competitor research. Instead of paying $100+ per month, you buy DataForSEO credits and pay only for usage. The coolest thing about the project so far has been hearing about what people are building on top of it. People are using coding agents to quickly integrate with Google Search Console, Google Ads and building their own AI SEO and reporting features. Many were already building their own custom solutions around…

    Dev tools · Jul 2026 · openseo.so