A data race that doesn't compile (in Rust)

1 hour ago 2
Add to circle

Article URL: https://corentin-core.github.io/posts/ruxe-type-level-disjointness/

Comments URL: https://news.ycombinator.com/item?id=48681361

Points: 3

# Comments: 0

Read Entire Article
  1. Homepage
  2. Technology
  3. A data race that doesn't compile (in Rust)

Related

Warp, a startup using AI to automate payroll compliance and employee management, raised a $60M Series B led by Battery, bringing its total funding to $85M (Lucinda Shen/Axios)

Warp, a startup using AI to automate payroll compliance and ...

5 minutes ago 0
Utah-based ecommerce tech company Redo raised an $81M Series B at a $1.25B valuation led by Smash Capital, with participation from Pelion and Cervin (David Politis/Utah Money Watch)

Utah-based ecommerce tech company Redo raised an $81M Series...

20 minutes ago 1
SoftBank shares fell 12% after reports that OpenAI may delay its IPO until 2027; expectations of a windfall from OpenAI's debut helped support Softbank's stock (Aya Wagatsuma/Bloomberg)

SoftBank shares fell 12% after reports that OpenAI may delay...

45 minutes ago 1