Writing on arithmetic geometry, constraint intelligence, and proof-aware optimization.https://sethuiyer.github.io/en-ushttps://sethuiyer.github.io/docs/blog/enter-the-research-program/https://sethuiyer.github.io/docs/blog/enter-the-research-program/Navokoj is one operational expression of a larger research program. A guide for readers who want to follow the mathematics into ShunyaBar Labs' research site.Wed, 22 Jul 2026 00:00:00 GMTMathematical frameworksresearchmathematicsshunyabarnavokojhttps://sethuiyer.github.io/docs/blog/github-sponsors-preview/https://sethuiyer.github.io/docs/blog/github-sponsors-preview/How GitHub Sponsors supports NitroSAT research and unlocks Navokoj compute credits for evaluation.Mon, 20 Jul 2026 00:00:00 GMTProduct explainerssponsorshipnitrosatnavokojproducthttps://sethuiyer.github.io/docs/blog/road-to-enterprise/https://sethuiyer.github.io/docs/blog/road-to-enterprise/How Navokoj evolved from a differentiable SAT experiment into a production constraint runtime with SUTRA, GPU routing, verification, usage billing, and customer-controlled deployment.Mon, 20 Jul 2026 00:00:00 GMTProduct explainerscompanyenterprisedeploymentruntimehttps://sethuiyer.github.io/docs/blog/qstate-sudoku-api-case-study/https://sethuiyer.github.io/docs/blog/qstate-sudoku-api-case-study/A live Q-State API run solved an 81-variable Sudoku model with 100% satisfaction and zero conflicts.Sun, 19 Jul 2026 00:00:00 GMTEngineering case studiesq-statesudokuapifinite-domaincase-studyhttps://sethuiyer.github.io/docs/blog/sutra-wcnf-api-case-study/https://sethuiyer.github.io/docs/blog/sutra-wcnf-api-case-study/A concrete WCNF-style API request using engine:nitro, with hard-feasibility, soft preferences, routing, and verification metadata in one response.Sun, 19 Jul 2026 00:00:00 GMTEngineering case studiessutrawcnfapiverificationproducthttps://sethuiyer.github.io/docs/blog/building-a-constraint-runtime/https://sethuiyer.github.io/docs/blog/building-a-constraint-runtime/The product architecture behind deadline-bounded decisions: models, execution, repair, verification, and evidence.Sat, 18 Jul 2026 00:00:00 GMTProduct explainerscompanyproductarchitecturehttps://sethuiyer.github.io/docs/blog/constraint-intelligence-for-ai-agents/https://sethuiyer.github.io/docs/blog/constraint-intelligence-for-ai-agents/Agents can propose actions probabilistically; Navokoj helps make the resulting decision admissible, inspectable, and executable.Sat, 18 Jul 2026 00:00:00 GMTProduct explainersagentspolicyproducthttps://sethuiyer.github.io/docs/blog/deploying-navokoj-in-private-environments/https://sethuiyer.github.io/docs/blog/deploying-navokoj-in-private-environments/A deployment model for teams that need constraint execution close to their data, networks, and operational controls.Sat, 18 Jul 2026 00:00:00 GMTEngineering case studiesdeploymententerprisesecurityhttps://sethuiyer.github.io/docs/blog/from-csv-to-verified-nurse-roster/https://sethuiyer.github.io/docs/blog/from-csv-to-verified-nurse-roster/How a scheduling workflow turns staffing data, policies, and preferences into a time-bounded operational decision.Sat, 18 Jul 2026 00:00:00 GMTEngineering case studiesschedulingproductcustomer-outcomeshttps://sethuiyer.github.io/docs/blog/from-nitrosat-to-navokoj/https://sethuiyer.github.io/docs/blog/from-nitrosat-to-navokoj/Why ShunyaBar Labs keeps an open research release while building a commercial constraint runtime around it.Sat, 18 Jul 2026 00:00:00 GMTProduct explainersopen-sourceproductcompanyhttps://sethuiyer.github.io/docs/blog/navokoj-pricing-explained/https://sethuiyer.github.io/docs/blog/navokoj-pricing-explained/How Navokoj combines monthly workload entitlements with explicit CPU and GPU compute settlement.Sat, 18 Jul 2026 00:00:00 GMTProduct explainersbillingproductapihttps://sethuiyer.github.io/docs/blog/what-happens-when-a-solve-times-out/https://sethuiyer.github.io/docs/blog/what-happens-when-a-solve-times-out/Navokoj is designed for deadline-bounded decisions: here is what an application receives when a solve cannot finish perfectly.Sat, 18 Jul 2026 00:00:00 GMTProduct explainersproductanytimeapihttps://sethuiyer.github.io/docs/blog/why-customers-switch-to-navokoj/https://sethuiyer.github.io/docs/blog/why-customers-switch-to-navokoj/A practical constraint runtime for decisions that are expensive, slow, opaque, or difficult to integrate.Sat, 18 Jul 2026 00:00:00 GMTProduct explainersproductcustomer-outcomeshttps://sethuiyer.github.io/docs/blog/multiplicative-archaeology/https://sethuiyer.github.io/docs/blog/multiplicative-archaeology/A framework for treating numbers as structured histories, connecting digit topology, interaction cost, and the archaeology of factorization.Tue, 23 Jun 2026 00:00:00 GMTMathematical frameworksArithmeticNumber theoryComputationhttps://sethuiyer.github.io/docs/blog/seven-seals-navokoj/https://sethuiyer.github.io/docs/blog/seven-seals-navokoj/Seven layers of privacy, supply-chain integrity, offline licensing, and binary protection behind the Navokoj deployment model.Mon, 22 Jun 2026 00:00:00 GMTEngineering case studiesSecurityNavokojArchitecturehttps://sethuiyer.github.io/docs/blog/six-research-tribes/https://sethuiyer.github.io/docs/blog/six-research-tribes/Six research cohorts compose into one pipeline: weight, transform, satisfy, relax, observe, and coordinate.Mon, 22 Jun 2026 00:00:00 GMTMathematical frameworksResearchArchitectureShunyaBarhttps://sethuiyer.github.io/docs/blog/navokoj-launch/https://sethuiyer.github.io/docs/blog/navokoj-launch/How Navokoj turns discrete constraint problems into continuous geometric flow, with production benchmarks and verifiable results.Fri, 19 Jun 2026 00:00:00 GMTProduct explainersNavokojMaxSATProducthttps://sethuiyer.github.io/docs/blog/agent-control-plane/https://sethuiyer.github.io/docs/blog/agent-control-plane/Turn probabilistic agent behavior into reliable, enterprise-grade action with Navokoj's constraint-governed execution layer. Computing that never fails closed.Mon, 11 May 2026 00:00:00 GMTProduct explainersagentspolicyproducthttps://sethuiyer.github.io/docs/blog/nitrosat-release/https://sethuiyer.github.io/docs/blog/nitrosat-release/ShunyaBar Labs is proud to announce the public release of NitroSAT — a next-generation MaxSAT approximator that achieves exceptional satisfaction rates on massive, real-world constraint problems while maintaining linear scaling in the number of clauses.Mon, 11 May 2026 00:00:00 GMTProduct explainersopen-sourceengineeringproducthttps://sethuiyer.github.io/docs/blog/navokoj-road-to-enterprise/https://sethuiyer.github.io/docs/blog/navokoj-road-to-enterprise/The physics behind Navokoj, the barriers already crossed, and the engineering path from public beta to enterprise readiness.Sat, 24 Jan 2026 00:00:00 GMTProduct explainersNavokojEnterpriseRoadmaphttps://sethuiyer.github.io/docs/blog/shipped-api-verification/https://sethuiyer.github.io/docs/blog/shipped-api-verification/Production verification of anytime constraint solving with partial satisfaction semantics. 47 test cases, scaling analysis, and failure mode characterization.Sat, 17 Jan 2026 00:00:00 GMTExperimental reportsengineeringapiverificationhttps://sethuiyer.github.io/docs/blog/the-future-of-sure-thing-computing/https://sethuiyer.github.io/docs/blog/the-future-of-sure-thing-computing/Traditional solvers make promises they can't keep. When perfection is impossible, they return 'UNSAT' and your system halts. Navokoj returns the best possible outcome, every time. That's resilience infrastructure.Sat, 17 Jan 2026 00:00:00 GMTExploratory hypothesesproductanytimecompanyhttps://sethuiyer.github.io/docs/blog/k8s-placement/https://sethuiyer.github.io/docs/blog/k8s-placement/Navokoj, the Fault-Tolerant Constraint Intelligence Engine, delivers a case study in placement safety and outage prevention with 5,000 variables and 2 million constraints.Sun, 28 Dec 2025 00:00:00 GMTEngineering case studiesengineeringcloudverificationhttps://sethuiyer.github.io/docs/blog/qbf-solving/https://sethuiyer.github.io/docs/blog/qbf-solving/Navokoj, the Fault-Tolerant Constraint Intelligence Engine, provides an overview of PSPACE verification with graceful degradation instead of binary failure.Wed, 24 Dec 2025 00:00:00 GMTExperimental reportsresearchverificationhttps://sethuiyer.github.io/docs/blog/ramsey-limit/https://sethuiyer.github.io/docs/blog/ramsey-limit/Navokoj, the Fault-Tolerant Constraint Intelligence Engine, analyzes phase transitions when perfect solutions become impossible.Sat, 20 Dec 2025 00:00:00 GMTExperimental reportsresearchbenchmarkshttps://sethuiyer.github.io/docs/blog/training-dynamics/https://sethuiyer.github.io/docs/blog/training-dynamics/Examining the parallel between gradient-based neural network training and continuous optimization for NP-hard constraint problems.Mon, 15 Dec 2025 00:00:00 GMTMathematical frameworksresearchoptimizationhttps://sethuiyer.github.io/docs/blog/physics-engine-for-logic/https://sethuiyer.github.io/docs/blog/physics-engine-for-logic/Revolutionary Constraint Intelligence Platform that treats Boolean logic as continuous dynamical systems. 347ms median latency vs 45s classical solvers. Physics-inspired optimization for NP-complete problems.Sat, 01 Nov 2025 00:00:00 GMTMathematical frameworksresearchproduct