Trending tags: ai  github.com  rust  health  psychology  trump  arstechnica.com  psypost.org  show  go  vibecoding  neuroscience  environment  apple  game  security  javascript  java  nature.com  llm 

Futexes in TLA+

8 months ago surfingcomplexity.blog

Related Stories

AI is a gamechanger for TLA+ users

45 hours ago buttondown.com ai formalmethods vibecoding

Conformance checking at MongoDB: Testing that our code matches our TLA+ specs

4 days ago mongodb.com formalmethods mongodb

BA in CS v.s BS in CS

3 days ago reddit.com

COVID vaccine averted almost 13,000 deaths in seniors in Belgium in 3 years

4 days ago cidrap.umn.edu covid health vaccine

This Week in Rust 602 · This Week in Rust

2 days ago this-week-in-rust.org rust

Gemini in Chrome

3 days ago gemini.google chrome

Scientists in Japan Develop Plastic That Dissolves in Seawater Within Hours

2 days ago reuters.com japan

First SMR in North America to Be Operational in 5 Years

45 hours ago oilprice.com

Managing Directories in Rust

4 days ago reddit.com rust

Memory Barrier in Golang

15 hours ago reddit.com go

Small research on different implementation of Fan-In concurrency pattern in Go

6 days ago reddit.com concurrency go

Small research on different implementation of Fan-In concurrency pattern in Go

6 days ago reddit.com concurrency go

Ukraine destroys more than 40 military aircraft in drone attack deep in Russia

5 days ago npr.org drone russia ukraine

Lion population in India goes up from 674 to 891 in 5 years

5 days ago tribuneindia.com environment

Structured Errors in Go (2022)

6 days ago southcla.ws go

Nested repetition in macro_rules?

6 days ago reddit.com rust

Runtime-initialized variables in Rust

5 days ago blog.frankel.ch rust

Communicating In Types • Kris Jenkins

5 days ago youtu.be

Sudoku in your terminal emulator

5 days ago github.com

Precious Plastic is in trouble

3 days ago preciousplastic.com

The Echo in the Machine

2 days ago radiolab.org

Project in sveltekit and golang

28 hours ago reddit.com go

IAM Cloud Native in Rust

15 hours ago reddit.com rust

Enable Dark Theme in LibreWolf

4 hours ago bitwilli.com browsers privacy

Why it seems there are more distributed systems written in golang rather in rust?

5 days ago reddit.com go rust

New Tesla sales in Spain, Portugal fall in May, while other EV sales soar

4 days ago reuters.com tesla

Court denies Apple appeal in Epic Games case, keeping App Store changes in place

2 days ago cnbc.com apple game

Just 15 buyers are in charge of £14B in UK central government tech spending

25 hours ago theregister.com

doubly linked list impl in rust

5 days ago reddit.com rust

Learn Calculus by Coding in Python

5 days ago freecodecamp.org python