Explore >> Select a destination
|
You are here 
|
deepmind.google | ||
| | | | |
bdtechtalks.com
|
|
| | | | | In his NeurIPS 2019 speech, deep learning pioneer Yoshua Bengio made important remarks about the current state of artificial intelligence and pathways toward general AI. | |
| | | | |
jack-vanlightly.com
|
|
| | | | | Invariants get most of the attention because they are easy to write, easy to check and find those histories which lead to really bad outcomes, such as lost data. But liveness properties are really important too and after a years of writing TLA+ specifications, I couldn't imagine having confidence in a specification without one. This post and the next is a random walk through the world of model checking liveness properties in TLA+. The outline is like this: * Part 1: I (hopefully) convince you that livene... | |
| | | | |
blog.jessriedel.com
|
|
| | | | | Here's a collection of reviews of the arguments that artificial general intelligence represents an existential risk to humanity. They vary greatly in length and style. I may update this from time to time. (This is well-paired with Katja Grace's summary of counterarguments.) Continue reading | |
| | | | |
www.securitymagazine.com
|
|
| | | |||
