Kagi Translate now supports LinkedIn Speak as an output language

US SEC preparing to scrap quarterly reporting requirement

Lean 4 paper (2021): <a href="https:&#x2F;&#x2F;dl.acm.org&#x2F;doi&#x2F;10.1007&#x2F;978-3-030-79876-5_37" rel="nofollow">https:&#x2F;&#x2F;dl.acm.org&#x2F;doi&#x2F;10.1007&#x2F;978-3-030-79876-5_37</a>

Leanstral: Open-source agent for trustworthy coding and formal proof engineering

<a href="https:&#x2F;&#x2F;github.com&#x2F;jemalloc&#x2F;jemalloc" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;jemalloc&#x2F;jemalloc</a>

Meta’s renewed commitment to jemalloc

The “small web” is bigger than you might think

Why I love FreeBSD

The American Healthcare Conundrum

My Journey to a reliable and enjoyable locally hosted voice assistant (2025)

Every layer of review makes you 10x slower

AirPods Max 2

Starlink Mini as a failover

Reddit User Uncovers Who Is Behind Meta's $2B Lobbying for Age Verification Tech

Kagi Small Web

Beyond has dropped “meat” from its name and expanded its high-protein drink line

Sci-Fi Short Film “There Is No Antimemetics Division” [video]

The unlikely story of Teardown Multiplayer

Claude Tips for 3D Work

Hi HN! I built Oxyde because I was tired of duplicating my models.If you use FastAPI, you know the drill. You define Pydantic models for your API, then define separate ORM models for your database, then write converters between them. SQLModel tries to fix this but it&#x27;s still SQLAlchemy underneath. Tortoise gives you a nice Django-style API but its own model system. Django ORM is great but welded to the framework.I wanted something simple: your Pydantic model IS your database model. One class, full validation on input and output, native type hints, zero duplication. The query API is Django-style (.objects.filter(), .exclude(), Q&#x2F;F expressions) because I think it&#x27;s one of the best designs out there.Explicit over implicit. I tried to remove all the magic. Queries don&#x27;t touch the database until you call a terminal method like .all(), .get(), or .first(). If you don&#x27;t explicitly call .join() or .prefetch(), related data won&#x27;t be loaded. No lazy loading, no surprise N+1 queries behind your back. You see exactly what hits the database by reading the code.Type safety was a big motivation. Python&#x27;s weak spot is runtime surprises, so Oxyde tackles this on three levels: (1) when you run makemigrations, it also generates .pyi stub files with fully typed queries, so your IDE knows that filter(age__gte=...) takes an int, that create() accepts exactly the fields your model has, and that .all() returns list[User] not list[Any]; (2) Pydantic validates data going into the database; (3) Pydantic validates data coming back out via model_validate(). You get autocompletion, red squiggles on typos, and runtime guarantees, all from the same model definition.Why Rust? Not for speed as a goal. I don&#x27;t do &quot;language X is better&quot; debates. Each one is good at what it was made for. Python is hard to beat for expressing business logic. But infrastructure stuff like SQL generation, connection pooling, and row serialization is where a systems language makes sense. So I split it: Python handles your models and business logic, Rust handles the database plumbing. Queries are built as an IR in Python, serialized via MessagePack, sent to Rust which generates dialect-specific SQL, executes it, and streams results back. Speed is a side effect of this split, not the goal. But since you&#x27;re not paying a performance tax for the convenience, here are the benchmarks if curious: <a href="https:&#x2F;&#x2F;oxyde.fatalyst.dev&#x2F;latest&#x2F;advanced&#x2F;benchmarks&#x2F;" rel="nofollow">https:&#x2F;&#x2F;oxyde.fatalyst.dev&#x2F;latest&#x2F;advanced&#x2F;benchmarks&#x2F;</a>What&#x27;s there today: Django-style migrations (makemigrations &#x2F; migrate), transactions with savepoints, joins and prefetch, PostgreSQL + SQLite + MySQL, FastAPI integration, and an auto-generated admin panel that works with FastAPI, Litestar, Sanic, Quart, and Falcon (<a href="https:&#x2F;&#x2F;github.com&#x2F;mr-fatalyst&#x2F;oxyde-admin" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;mr-fatalyst&#x2F;oxyde-admin</a>).It&#x27;s v0.5, beta, active development, API might still change. This is my attempt to build the ORM I personally wanted to use. Would love feedback, criticism, ideas.Docs: <a href="https:&#x2F;&#x2F;oxyde.fatalyst.dev&#x2F;" rel="nofollow">https:&#x2F;&#x2F;oxyde.fatalyst.dev&#x2F;</a>Step-by-step FastAPI tutorial (blog API from scratch): <a href="https:&#x2F;&#x2F;github.com&#x2F;mr-fatalyst&#x2F;fastapi-oxyde-example" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;mr-fatalyst&#x2F;fastapi-oxyde-example</a>

Show HN: Oxyde – Pydantic-native async ORM with a Rust core

Pyodide: a Python distribution based on WebAssembly

In space, no one can hear you kernel panic (2020)