Defining Safe Hardware Design [pdf] (people.csail.mit.edu)

Screenshot of people.csail.mit.edu: Defining Safe Hardware Design [pdf]

First screen, captured 8 months ago.

Looks similar

Screenshot of vldb.org: How to Write to SSDs [pdf]

How to Write to SSDs [pdf](vldb.org)

157 points by matt_d 5 months ago | 19 comments

Screenshot of philip.greenspun.com: Software Design Review (2009)

Software Design Review (2009)(philip.greenspun.com)

27 points by OJFord 3 years ago | 13 comments

Screenshot of ssi.inc: Safe Superintelligence Inc.

Safe Superintelligence Inc.(ssi.inc)

1096 points by nick_pou 2 years ago | 954 comments

Announcement page for Safe Superintelligence Inc., a new AI lab focused solely on building a safe superintelligence, insulated from commercial pressures.

safe-superintelligence ai-safety superintelligence ilya-sutskever

Screenshot of research.ralfj.de: Miri: Practical Undefined Behavior Detection for Rust [pdf]

Miri: Practical Undefined Behavior Detection for Rust [pdf](research.ralfj.de)

67 points by ingve 10 months ago | 9 comments

Screenshot of xn--plankalkl-x9a.de: Konrad Zuse (1994)

Konrad Zuse (1994)(xn--plankalkl-x9a.de)

72 points by tmalsburg2 2 years ago | 41 comments

Screenshot of nongnu.org: Xz format inadequate for long-term archiving (2022-02-02)

Xz format inadequate for long-term archiving (2022-02-02)(nongnu.org)

89 points by oriettaxx 2 years ago | 18 comments