Trending

Show HN: Tiny Hoare logic verifier using SMT

Juneteenth in Photos

Geochronology supports LGM age for human tracks at White Sands, New Mexico

June 2025 C2PA News

Estrogen: A Trip Report

My iPhone 8 Refuses to Die: Now It's a Solar-Powered Vision OCR Server

In Praise of "Normal" Engineers

Show HN: TrendFi – I built AI trading signals that self-optimize

Finding Dead Websites

Pope Leo XIV warns of AI's threats to human dignity and labor

California Cops Investigate ‘Immigration Protest’ With AI-Camera System | California cops are illegally sharing Flock automatic license plate reader (ALPR) data with other agencies out of state, who in turn are performing searches for ICE.

[R] Reasoning by Superposition: A Theoretical Perspective on Chain of Continuous Thought

Jan got an upgrade: New design, switched from Electron to Tauri, custom assistants, and 100+ fixes - it's faster & more stable now

What’s the worst legacy codebase you ever inherited (or created yourself)?

The Story of a Prisoner Who Became a Software Engineer

[D] Future of RecSys in age of LLM

Space manufacturing company Varda gets clearance to launch more unmanned rockets

Meta tried to buy Ilya Sutskever's $32 billion AI startup, but is now planning to hire its CEO

Nanonets

Save item

Nanonets-OCR-s

Task: image-text-to-text

MiniMax

Save item

MiniMax-M1-80k

Task: text-generation

Tencent

Save item

Hunyuan3D-2.1

Task: image-to-3d

Menlo Research

Save item

Jan-nano

Task: text-generation

lz

Save item

MonkeyOCR

Task: visual-document-retrieval

Moonshot AI

Save item

Kimi-Dev-72B

DeeJayT

Save item

Wan14BT2VFusioniX

Task: text-to-video

Mistral AI_

Save item

Magistral-Small-2506

MiniMax

Save item

MiniMax-M1-40k

Task: text-generation

windmill-labs

Save item

windmill

Open-source developer platform to power your entire infra and turn scripts into webhooks, workflows and UIs. Fastest workflow engine (13x vs Airflow). Open-source alternative to Retool and Temporal.

Mbed-TLS

Save item

mbedtls

An open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptography API. Releases are on a varying cadence, typically around 3 - 6 months between releases.

modelscope

Save item

FunASR

A Fundamental End-to-End Speech Recognition Toolkit and Open Source SOTA Pretrained Models, Supporting Speech Recognition, Voice Activity Detection, Text Post-processing etc.

lancedb

Save item

lance

Modern columnar data format for ML and LLMs implemented in Rust. Convert from parquet in 2 lines of code for 100x faster random access, vector index, and data versioning. Compatible with Pandas, DuckDB, Polars, Pyarrow, and PyTorch with more integrations coming..

prometheus

Save item

node_exporter

Exporter for machine metrics