type-system

Tag

Cards List
#type-system

The `Sync` bound nobody asked for

Lobsters Hottest · 2d ago Cached

Explains how `&self` on an async trait method with a `Send` future implicitly requires `Sync` on the implementing type, and offers fixes like switching to `&mut self` or using `Sync` interior mutability.

0 favorites 0 likes
#type-system

What are you doing this week?

Lobsters Hottest · 2026-04-20 Cached

A developer shares progress on Ekto, an embeddable typed language influenced by Lua, Koka, and Erlang, discussing implementation challenges around reference counting, memory management, and delimited continuations for the Casper VM.

0 favorites 0 likes
← Back to home

Submit Feedback