[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:


View post   

>> No.12139145 [View]
File: 482 KB, 1012x505, 1600483108000.png [View same] [iqdb] [saucenao] [google]
12139145

>>12139122
What I would like to do is model complicated biological systems using TLA+ or run something like property verification so that you'll be certain you're not doing catastrophic damage to an organism by tweaking its genome. Or that you'll be certain about properties of an organism from interaction between different components. Is this something that could be legit?

Navigation
View posts[+24][+48][+96]