Xavier Leroy on programming, languages and formal verification

Lobsters · xvw · 1h ago · 1 min · 0 views

Signal strength 77/100

Filed from Lobsters. Open the source for the full story.

PRISM indexes and ranks — it never republishes. The full piece lives with its author on youtube.com.

↳

Same wavelength

Stories the engine considers adjacent to this one.

Engineering Lobsters 54m ago

Filed from Lobsters. Open the source for the full story.

1 min 0 views

Engineering Lobsters 1h ago

Filed from Lobsters. Open the source for the full story.

1 min 0 views

Engineering Lobsters 11h ago

Filed from Lobsters. Open the source for the full story.

1 min 0 views

Engineering Lobsters 1d ago

Filed from Lobsters. Open the source for the full story.

1 min 0 views