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

The American Healthcare Conundrum

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

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>

Blog List