Trending

Show HN: Formal Verification for Machine Learning Models Using Lean 4

Trapping misbehaving bots in an AI Labyrinth

Optimizing ML Training with Metagradient Descent

Simonw/Ollama-models-atom-feed

BeeFormer: CF and CBF hybrid approach for recommendation systems

Understanding R1-Zero-Like Training: A Critical Perspective

Pen and Paper Exercises in Machine Learning

Concise Machine Learning [pdf]

Fine-tune Google's Gemma 3

The Official Voice of the US Government Is Cruel, Gross, and Weird. What Is That Doing to Us?

The rare, highly valued Taiwanese forest fungus fights inflammation and stifles cancer cells | N50 F2 was good at stopping cell proliferation in lung cancer cells and shield tissues from damage as a result of chronic disease inflammation.

[D] - Neurips Position paper reviews

[D] Cool new ways to mix linear optimization with GNNs? (LP layers, simplex-like updates, etc.)

GitHub - jetroni/tasklin: A single CLI to connect with OpenAI, Ollama, and more AI platforms.

“Mind the Gap” shows the first practical backdoor attack on GGUF quantization

[D] People in ML/DS/AI field since 5-10 years or more, are you tired of updating yourself with changing tech stack?

[D] NeurIPS '25 Position Paper Reviews

Doctors became worse at spotting cancer after relying on AI for help, study finds | Experts call for urgent further study

Microsoft

Save item

NextCoder-32B

Task: text-generation

MIT HAN Lab

Save item

nunchaku-flux.1-kontext-dev

Black Forest Labs

Save item

FLUX.1-Kontext-dev-onnx

Google

Save item

videoprism

Task: video-classification

SUFE-AIFLM-Lab

Save item

Fin-R1

n8n-io

Save item

n8n

Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.

huggingface

Save item

transformers

🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.

deepspeedai

Save item

DeepSpeed

DeepSpeed is a deep learning optimization library that makes distributed training and inference easy, efficient, and effective.

jax-ml

Save item

jax

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

microsoft

Save item

qlib

Qlib is an AI-oriented Quant investment platform that aims to use AI tech to empower Quant Research, from exploring ideas to implementing productions. Qlib supports diverse ML modeling paradigms, including supervised learning, market dynamics modeling, and RL, and is now equipped with https://github.com/microsoft/RD-Agent to automate R&D process.

ray-project

Save item

kuberay

A toolkit to run Ray applications on Kubernetes

open-edge-platform

Save item

anomalib

An anomaly detection library comprising state-of-the-art algorithms and features such as experiment management, hyper-parameter optimization, and edge inference.

activepieces

Save item

activepieces

AI Agents & MCPs & AI Workflow Automation • (280+ MCP servers for AI agents) • AI Automation / AI Agent with MCPs • AI Workflows & AI Agents • MCPs for AI Agents

microsoft

Save item

onnxruntime

ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator