Optimization
37 items across the graph · 1 news stories — tagged with Optimization.
Latest news
Show HN: ZkGolf
Zero-Knowledge Proofs (ZKPs) let an untrusted proved show that computation was executed correctly without revealing the inputs to the verifier. However to prove anything, the computation first has to be expressed as a circuit: a system of polynomial equations (constraints) over a finite field. Circuits are the assembly…
Read full story →From the graph · 36
A hand-picked collection of the finest of resources for the most awesome of agents, Claude Code, the undisputed champion of coding companions, from the unstoppa…
Ray is an AI compute engine. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.
The AI developer platform. Use Weights & Biases to train and fine-tune models, and manage models from experimentation to production.
Fast and Accurate ML in 3 Lines of Code
Run, manage, and scale AI workloads on any AI infrastructure. Use one system to access & manage all AI compute (Kubernetes, Slurm, 20+ clouds, on-prem).
Build, Manage and Deploy AI/ML Systems
The backtesting engine that gives you an unfair advantage. Run thousands of trading ideas before others finish one.
A fast library for AutoML and tuning. Join our Discord: https://discord.gg/Cppx2vSPVP.
AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and oth…
PennyLane is an open-source quantum software platform for quantum computing, quantum machine learning, and quantum chemistry. Create meaningful quantum algorith…
Python-based research interface for blackbox and hyperparameter optimization, based on the internal Google Vizier Service.
Build computer vision models in a fraction of the time and with less data.
vMLX - JANGTQ Uber Compressed MLX Models - L2 Disk Cache (survives restart) + L1 Paged (super fast ttft) + Hybrid SSM Scheduler + Cont Batching + etc!
Recent research papers about Foundation Models for Combinatorial Optimization
A toolkit for building AI-automated trading strategies on Kalshi prediction markets.
Bayesian Optimization and Design of Experiments
Unified CloudOps platform with AI-SRE, AI-FinOps, AI-K8sOps, and the Agentic Automation Builder without fragmented tools, context switching, or model lock-in.
High Performance Data Processing in Python
Hyperparameter optimization and feature selection for scikit-learn using evolutionary algorithms. A modern alternative to GridSearchCV and RandomizedSearchCV.
Second Order Optimization and Curvature Estimation with K-FAC in JAX.
Library for automatic retraining and continual learning
An evaluation framework for machine learning models simulating high-throughput materials discovery.
C++ Large Scale Genetic Programming
Combinatorial optimization layers for machine learning pipelines
Python-based algebraic modeling interface to GAMS
Universal Python SDK to run AI workloads on Kubernetes
ClimaAtmos.jl is an atmosphere model that is designed to leverage data assimilation and machine learning tools for modeling and calibrating subgrid-scale proces…
Honey (I Shrunk the AI) by GreenPT: a cross-tool coding skill that cuts AI coding-agent token usage and LLM API costs — write less code, less prose, and denser…
Auto-differentiable and hardware-accelerated force density method
WordLift brings the power of Artificial Intelligence to beautifully organize content. Attract new readers and get their true attention.
See what's burning your Kubernetes budget
Embed trained machine learning predictors into JuMP and ExaModels
Official code for the Manning book on structural LLM optimization: depth/width pruning, knowledge distillation, and attention optimization, runnable on free Col…
⚡ Awesome AI Gateway — curated comparison of 100+ AI gateways & LLM proxies (LiteLLM, OpenRouter, Portkey, Kong, Higress, new-api, Bifrost) by cost, security, c…
Save 30-60% on Claude Code costs -- proven strategies, real benchmarks, copy-paste configs, and interactive tools
A prompt-aware LLM router that predicts which models can complete each request, then selects the cheapest capable one: 53.2% lower cost and +1.9 pts completion…
