TLA+: design, model, document, and verify concurrent systems
2019-05-03
Thoughts Concerning Numerical Logging Formats
2019-05-03
Tesla seeks to raise $2.3bn after concerns it is running out of money
2019-05-02
Porn block highlights concerns about 'proud nerd' Matt Hancock
2019-05-02
A Practical Analysis of Rust's Concurrency Story
2019-05-02
Cybersecurity is a significant concern as cars become more automated
2019-05-02
Dan Abramov Explains Concurrent React
2019-05-01
Notre Dame fire: Concr3De proposes 3D-printing gargoyles from ash
2019-05-01
Concr3de wants to 3D print Notre-Dame's new gargoyles from rubble
2019-04-30
Multiversion Concurrency Control-Theory and Algorithms (1983) [pdf]
2019-04-30