Solvingn the Santa Claus concurrency puzzle with a model checker (wyounas.github.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of wyounas.github.io: Solvingn the Santa Claus concurrency puzzle with a model checker

First screen, captured 8 months ago.

Looks similar

Screenshot of wyounas.github.io: When the Simplest Concurrent Program Goes Against All Intuition

When the Simplest Concurrent Program Goes Against All Intuition (wyounas.github.io)

15 points by simplegeek 1 year ago | 6 comments

Screenshot of wyounas.github.io: How concurrecy works: A visual guide

How concurrecy works: A visual guide (wyounas.github.io)

143 points by simplegeek 1 year ago | 45 comments

Screenshot of siboehm.com: How to optimize a CUDA matmul kernel for cuBLAS-like performance (2022)

How to optimize a CUDA matmul kernel for cuBLAS-like performance (2022)(siboehm.com)

86 points by mpweiher 2 years ago | 21 comments

Screenshot of dthompson.us: WASM GC isn't ready for realtime graphics

WASM GC isn't ready for realtime graphics (dthompson.us)

128 points by todsacerdoti 1 year ago | 71 comments

Screenshot of danielchasehooper.com: Why Swift's type checker is so slow

Why Swift's type checker is so slow (danielchasehooper.com)

64 points by misonic 2 years ago | 36 comments

Screenshot of emschwartz.me: Short-Circuiting Correlated Subqueries in SQLite

Short-Circuiting Correlated Subqueries in SQLite (emschwartz.me)

6 points by emschwartz 10 months ago | 0 comments